| Date | Author | File/Message |
|---|---|---|
| 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/27/05 3:18 PM | joewhaley | Added proguard.jar
(1 Files changed,
1 Lines changed) .cvsignore 1.9
(+1
-0)
|
| 6/27/05 3:13 PM | joewhaley | Fix Eclipse classpath, project files.
(2 Files changed,
8 Lines changed) .classpath 1.14
(+8
-32)
.project 1.5
(+0
-2)
|
| 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)
|
| 6/10/05 1:57 PM | joewhaley | Fix it.
(1 Files changed,
10 Lines changed) net/sf/bddbddb/Stratify.java 1.19
(+10
-9)
|
| 6/10/05 1:54 PM | joewhaley | dunno if this will work.
(1 Files changed,
13 Lines changed) net/sf/bddbddb/Stratify.java 1.18
(+13
-6)
|
| 6/10/05 1:47 PM | joewhaley | dunno if this will work.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/Stratify.java 1.17
(+2
-1)
|
| 6/10/05 1:40 PM | joewhaley | More debugging.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/Stratify.java 1.16
(+2
-1)
|
| 6/10/05 1:05 PM | joewhaley | *** empty log message ***
(1 Files changed,
2 Lines changed) net/sf/bddbddb/Interactive.java 1.8
(+2
-2)
|
| 6/10/05 12:25 PM | joewhaley | Fixed stupid, stupid bug caused by adding universal quantification support.
(1 Files changed,
10 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.37
(+10
-5)
|
| 6/10/05 12:12 PM | joewhaley | wtf?
(1 Files changed,
3 Lines changed) net/sf/bddbddb/DatalogParser.java 1.10
(+3
-3)
|
| 6/10/05 12:06 PM | joewhaley | More fixes.
(2 Files changed,
8 Lines changed) net/sf/bddbddb/DatalogParser.java 1.9
(+5
-3)
net/sf/bddbddb/BDDInferenceRule.java 1.36
(+3
-2)
|
| 6/10/05 11:46 AM | joewhaley | Fixes bug with stratification and unsed rules (?)
(1 Files changed,
6 Lines changed) net/sf/bddbddb/Stratify.java 1.15
(+6
-6)
|
| 6/10/05 11:37 AM | joewhaley | More debugging.
(1 Files changed,
7 Lines changed) net/sf/bddbddb/Stratify.java 1.14
(+7
-1)
|
| 6/10/05 11:25 AM | joewhaley | More debugging.
(1 Files changed,
3 Lines changed) net/sf/bddbddb/Stratify.java 1.13
(+3
-1)
|