| Date | Author | File/Message |
|---|---|---|
| 6/10/05 11:20 AM | joewhaley | More debugging info for Stratify.
(2 Files changed,
8 Lines changed) net/sf/bddbddb/Solver.java 1.25
(+3
-3)
net/sf/bddbddb/Stratify.java 1.12
(+5
-1)
|
| 6/10/05 11:04 AM | joewhaley | Changed to support NumberingRule.
(3 Files changed,
12 Lines changed) net/sf/bddbddb/InferenceRule.java 1.13
(+2
-2)
net/sf/bddbddb/NumberingRule.java 1.4
(+5
-1)
net/sf/bddbddb/DatalogParser.java 1.8
(+5
-5)
|
| 6/10/05 11:00 AM | joewhaley | Fix a stupid bug with interactive solver.
Renames were getting reset because of the BDDPairing sharing going on.
(1 Files changed,
9 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.35
(+9
-5)
|
| 6/3/05 1:21 PM | joewhaley | Added support for "universe" ('*' in rules)
(5 Files changed,
125 Lines changed) net/sf/bddbddb/InferenceRule.java 1.12
(+2
-2)
net/sf/bddbddb/Universe.java 1.1 added 22 net/sf/bddbddb/BDDRelation.java 1.19
(+2
-2)
net/sf/bddbddb/DatalogParser.java 1.7
(+4
-2)
net/sf/bddbddb/BDDInferenceRule.java 1.34
(+95
-64)
|
| 6/3/05 1:21 PM | joewhaley | Fix to interactive solver when you dont specify a class name.
Also added printlog command.
(1 Files changed,
16 Lines changed) net/sf/bddbddb/Interactive.java 1.7
(+16
-2)
|
| 5/31/05 8:47 PM | joewhaley | Added "strict" option.
(1 Files changed,
21 Lines changed) net/sf/bddbddb/DatalogParser.java 1.6
(+21
-8)
|
| 5/31/05 3:14 AM | joewhaley | Remove some trace info.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.33
(+2
-2)
|
| 5/31/05 2:17 AM | joewhaley | Fix temporary relation naming on come-from queries.
(1 Files changed,
14 Lines changed) net/sf/bddbddb/Solver.java 1.24
(+14
-10)
|
| 5/31/05 2:09 AM | joewhaley | Better debugging info.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/Stratify.java 1.11
(+2
-2)
|
| 5/31/05 1:47 AM | joewhaley | Changed to new jar file name.
(1 Files changed,
3 Lines changed) bddbddb.pro 1.4
(+3
-3)
|
| 5/31/05 1:44 AM | joewhaley | Added support for "no" along with "false"
(1 Files changed,
5 Lines changed) net/sf/bddbddb/DatalogParser.java 1.5
(+5
-5)
|
| 5/31/05 1:41 AM | joewhaley | Only output when noisy flag is on.
(1 Files changed,
10 Lines changed) net/sf/bddbddb/Stratify.java 1.10
(+10
-6)
|
| 5/31/05 1:36 AM | joewhaley | Throw exception when an attribute has no domain!
(1 Files changed,
4 Lines changed) net/sf/bddbddb/BDDRelation.java 1.18
(+4
-1)
|
| 5/31/05 1:33 AM | joewhaley | Delete undeclared relations on error.
(1 Files changed,
28 Lines changed) net/sf/bddbddb/DatalogParser.java 1.4
(+28
-11)
|
| 5/31/05 1:27 AM | joewhaley | Added handleUndeclaredRelations() to queries.
(1 Files changed,
9 Lines changed) net/sf/bddbddb/DatalogParser.java 1.3
(+9
-3)
|
| 5/31/05 1:17 AM | joewhaley | Only print iteration order if noisy flag is set.
(1 Files changed,
3 Lines changed) net/sf/bddbddb/BDDSolver.java 1.33
(+3
-3)
|
| 5/30/05 3:43 PM | cs343 | Removed excessive printing.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/BDDSolver.java 1.32
(+2
-3)
|
| 5/26/05 8:36 PM | joewhaley | Commented out bogus assertion.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/Stratify.java 1.9
(+2
-2)
|
| 5/26/05 4:21 PM | joewhaley | Added support for extra defines ("modifies" keyword)
(1 Files changed,
8 Lines changed) net/sf/bddbddb/Stratify.java 1.8
(+8
-1)
|
| 5/26/05 2:04 PM | joewhaley | whatever
(7 Files changed,
39 Lines changed) net/sf/bddbddb/Solver.java 1.23
(+2
-4)
net/sf/bddbddb/Learner.java 1.5 removed net/sf/bddbddb/BDDInferenceRule.java 1.32
(+1
-3)
net/sf/bddbddb/OrderClassifier.java 1.4 removed net/sf/bddbddb/BDDSolver.java 1.31
(+2
-20)
net/sf/bddbddb/DatalogParser.java 1.2
(+1
-8)
net/sf/bddbddb/FindBestDomainOrder.java 1.54
(+33
-3)
|