| Date | Author | File/Message |
|---|---|---|
| 5/23/05 10:24 PM | joewhaley | Fixed Javadoc.
(1 Files changed,
384 Lines changed) net/sf/bddbddb/order/EpisodeCollection.java 1.4
(+384
-386)
|
| 5/23/05 10:23 PM | joewhaley | Organized imports.
(3 Files changed,
13 Lines changed) net/sf/bddbddb/FindBestDomainOrder.java 1.53
(+11
-15)
net/sf/bddbddb/order/TrialDataRepository.java 1.6
(+1
-3)
net/sf/bddbddb/ir/IR.java 1.9
(+1
-2)
|
| 5/23/05 5:48 PM | joewhaley | Updated versions of library.
(2 Files changed,
0 Lines changed) jwutil-1.0.jar 1.7
(+0
-0)
javabdd-1.0b2.jar 1.4
(+0
-0)
|
| 5/23/05 2:10 PM | joewhaley | All new stratifier.
Stratification should be much faster now.
(6 Files changed,
565 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.31
(+4
-2)
net/sf/bddbddb/BDDSolver.java 1.30
(+2
-2)
net/sf/bddbddb/Stratify.java 1.7
(+493
-412)
net/sf/bddbddb/IterationFlowGraph.java 1.4
(+39
-31)
net/sf/bddbddb/ir/IR.java 1.8
(+4
-4)
net/sf/bddbddb/IterationList.java 1.4
(+23
-1)
|
| 5/21/05 11:07 AM | joewhaley | Updated JavaBDD library
(1 Files changed,
0 Lines changed) javabdd-1.0b2.jar 1.3
(+0
-0)
|
| 5/21/05 3:15 AM | joewhaley | Use BDDIterator.nextTuple() or nextValue() instead of next().
(1 Files changed,
9 Lines changed) net/sf/bddbddb/BDDRelation.java 1.17
(+9
-13)
|
| 5/21/05 2:54 AM | joewhaley | Get tuples directly from the iterator - don't mess around with constructing BDDs.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/BDDRelation.java 1.16
(+2
-4)
|
| 5/21/05 1:42 AM | joewhaley | Added some Javadoc.
(1 Files changed,
27 Lines changed) net/sf/bddbddb/BDDRelation.java 1.15
(+27
-1)
|
| 5/20/05 9:50 PM | joewhaley | Add free() when using iterator()
(1 Files changed,
4 Lines changed) net/sf/bddbddb/BDDRelation.java 1.14
(+4
-1)
|
| 5/19/05 1:20 AM | cs343 | check in of old order changes
(1 Files changed,
43 Lines changed) net/sf/bddbddb/FindBestDomainOrder.java 1.52
(+43
-35)
|
| 5/18/05 6:53 PM | cs343 | check in of old order changes
(4 Files changed,
561 Lines changed) net/sf/bddbddb/order/EpisodeCollection.java 1.3
(+386
-382)
net/sf/bddbddb/order/TrialDataRepository.java 1.5
(+24
-1)
net/sf/bddbddb/order/PriorityQueue.java 1.4 removed net/sf/bddbddb/order/TrialInfo.java 1.5
(+151
-145)
|
| 5/18/05 1:49 AM | joewhaley | Updated to JavaBDD 1.0b2
(1 Files changed,
1 Lines changed) classworlds.conf 1.2
(+1
-2)
|
| 5/17/05 3:17 AM | joewhaley | Added inference of relation declarations.
Also, flag an error when a variable is used only once in a rule.
(8 Files changed,
1122 Lines changed) net/sf/bddbddb/InferenceRule.java 1.11
(+16
-1)
net/sf/bddbddb/BuildEquivalenceRelation.java 1.2
(+3
-2)
net/sf/bddbddb/DatalogParser.java 1.1 added 1064 net/sf/bddbddb/CodeFragment.java 1.9
(+6
-5)
net/sf/bddbddb/BDDRelation.java 1.13
(+17
-9)
net/sf/bddbddb/RuleTerm.java 1.4
(+3
-3)
net/sf/bddbddb/Solver.java 1.22
(+4
-878)
net/sf/bddbddb/Interactive.java 1.6
(+9
-3)
|
| 5/17/05 1:14 AM | joewhaley | Oops, handle error stream too.
(1 Files changed,
4 Lines changed) net/sf/bddbddb/CodeFragment.java 1.8
(+4
-1)
|
| 5/17/05 1:11 AM | joewhaley | Fix stupid typo with deadlock.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/CodeFragment.java 1.7
(+2
-2)
|
| 5/10/05 6:46 PM | joewhaley | Updated JavaBDD.
(1 Files changed,
0 Lines changed) javabdd-1.0b2.jar 1.2
(+0
-0)
|
| 5/10/05 6:43 PM | joewhaley | More updates for dynamic variable reordering.
(1 Files changed,
6 Lines changed) net/sf/bddbddb/BDDSolver.java 1.29
(+6
-3)
|
| 5/10/05 2:15 PM | joewhaley | More support for dynamic variable reordering.
(1 Files changed,
10 Lines changed) net/sf/bddbddb/BDDSolver.java 1.28
(+10
-4)
|
| 5/9/05 7:52 PM | joewhaley | Temporary checkin.
(1 Files changed,
12 Lines changed) net/sf/bddbddb/BDDSolver.java 1.27
(+12
-3)
|
| 5/9/05 7:52 PM | joewhaley | Fix stupid bug when directory doesn't exist.
(1 Files changed,
2 Lines changed) net/sf/bddbddb/CodeFragment.java 1.6
(+2
-2)
|