| Author | Revisions | Lines of Code | Added Lines of Code | Lines of Code per Change |
|---|---|---|---|---|
| joewhaley | 273 (84.5%) | 14488 (107.4%) | 23993 (74.1%) | 53.07 |
| cs343 | 49 (15.2%) | -1007 (-7.5%) | 8393 (25.9%) | -20.55 |
| cunkel | 1 (0.3%) | 6 (0.0%) | 7 (0.0%) | 6.00 |
| Date | Author | File/Message |
|---|---|---|
| 1/21/06 8:03 PM | joewhaley | Support for specifying BDDs with _op?.bdd suffix.
(1 Files changed,
15 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.5
(+15
-7)
|
| 10/12/05 11:01 PM | joewhaley | Try initial variable ordering first.
(1 Files changed,
14 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.4
(+14
-1)
|
| 10/12/05 3:41 AM | joewhaley | Get rid of maxincrease.
(1 Files changed,
1 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.3
(+1
-1)
|
| 10/12/05 3:29 AM | joewhaley | Make it compile under older JDKs.
(1 Files changed,
1 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.2
(+1
-1)
|
| 10/12/05 3:25 AM | joewhaley | New simple test to try all domain orders for an operation.
(1 Files changed,
252 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.1 added 252 |
| 10/10/05 11:55 PM | joewhaley | Oops. Hope it works now.
(1 Files changed,
7 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.40
(+7
-7)
|
| 10/10/05 11:38 PM | joewhaley | Fix dumpslow.
(1 Files changed,
23 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.39
(+23
-11)
|
| 10/10/05 12:26 AM | joewhaley | Added 'dumpslow' option.
(2 Files changed,
122 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.38
(+77
-90)
net/sf/bddbddb/BDDRelation.java 1.21
(+45
-3)
|
| 9/27/05 4:10 PM | joewhaley | Incorporate Mayur's changes.
(1 Files changed,
22 Lines changed) net/sf/bddbddb/Solver.java 1.26
(+22
-7)
|
| 9/27/05 3:58 PM | joewhaley | Faster variable translation during load.
(1 Files changed,
17 Lines changed) net/sf/bddbddb/BDDRelation.java 1.20
(+17
-12)
|
| 8/21/05 8:02 PM | cs343 | *** empty log message ***
(1 Files changed,
2 Lines changed) net/sf/bddbddb/DatalogParser.java 1.14
(+2
-2)
|
| 7/22/05 12:48 PM | cs343 | Forgot to add a directive.
(1 Files changed,
11 Lines changed) net/sf/bddbddb/DatalogParser.java 1.13
(+11
-2)
|
| 7/22/05 12:36 PM | cs343 | Added an option to remove the error about singly-used variables:
-Dsingleignore=yes
(1 Files changed,
3 Lines changed) net/sf/bddbddb/DatalogParser.java 1.12
(+3
-2)
|
| 7/18/05 6:32 PM | cs343 | Added "[query term list] project [variable list] ;" syntax to support projecting
variables out of returned tuples
Also changed redefined relations from an error warning to an exception.
(1 Files changed,
33 Lines changed) net/sf/bddbddb/DatalogParser.java 1.11
(+33
-5)
|
| 7/14/05 5:04 PM | joewhaley | Changed size() to return long for more range.
(2 Files changed,
10 Lines changed) net/sf/bddbddb/LSRelation.java 1.4
(+7
-7)
net/sf/bddbddb/Relation.java 1.10
(+3
-3)
|
| 7/11/05 6:40 PM | cunkel | die if code fragment specified in datalog ends with exception.
(1 Files changed,
7 Lines changed) net/sf/bddbddb/CodeFragment.java 1.10
(+7
-1)
|
| 6/28/05 11:23 PM | joewhaley | Put back error message about out-of-domain-bounds
(1 Files changed,
9 Lines changed) net/sf/bddbddb/BDDSolver.java 1.34
(+9
-1)
|
| 6/10/05 2:21 PM | joewhaley | Less output.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/Stratify.java 1.23
(+2
-2)
|
| 6/10/05 2:14 PM | joewhaley | dunno if this will work.
(1 Files changed,
10 Lines changed) net/sf/bddbddb/Stratify.java 1.22
(+10
-11)
|
| 6/10/05 2:05 PM | joewhaley | dunno if this will work.
(1 Files changed,
7 Lines changed) net/sf/bddbddb/Stratify.java 1.20
(+5
-2)
net/sf/bddbddb/Stratify.java 1.21
(+2
-2)
|
