Small edit
[satune.git] / src / Test /
2017-08-31 bdemskyRename startEncoding function
2017-08-31 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-31 HamedMerging with branch Master
2017-08-30 bdemskyMore name changes
2017-08-30 Brian Demskyrenaming
2017-08-29 HamedMerging with branch master and fixing bugs
2017-08-28 Brian DemskyBug fixes
2017-08-27 HamedFixing the ordergraphtest
2017-08-27 bdemskyRun tabbing pass
2017-08-26 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-26 bdemskyFix bogus test case
2017-08-26 bdemskyUpdate test files
2017-08-26 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 bdemskyedits
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 bdemskyfix bug
2017-08-25 bdemskyedits
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 bdemskyMore fixes
2017-08-24 bdemskyRename everything
2017-08-22 HamedAfter merging with master branch ...
2017-08-23 bdemskyFix memory bugs
2017-08-22 HamedTestcase for ordergraph
2017-08-17 bdemskyMerge branch 'hamed'
2017-08-17 bdemskyBig Tabbing Change
2017-08-09 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-08-05 HamedFixing some bugs ...
2017-07-31 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-07-25 HamedAdding a new testcase for circuit-based equals + bug...
2017-07-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-24 HamedTesting one-hot encoding + fixing bugs ...
2017-07-21 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-07-21 bdemskyresolve conflict
2017-07-21 HamedTest case for table-based predicate + fixing bugs
2017-07-20 HamedAdding a new test case for testing FLAGIFFUNDEFINED...
2017-07-20 HamedFixing bugs + adding descriptions to test cases
2017-07-19 HamedAdding a logicOp test case + fixing bugs
2017-07-18 HamedAdding a boolean for undefinedStatus
2017-07-18 HamedAdding UndefinedBehavior + TablePredicate to client...
2017-07-18 HamedAdding a elemconst testcase + its bug fixe
2017-07-18 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-18 Hamedbug fix for the order test case ...
2017-07-18 HamedModify order test case ...
2017-07-18 HamedModify API to work for partial order as well + adding...
2017-07-18 Hamedtest file name convention ...
2017-07-17 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-17 HamedAdd some printings for debugging ...
2017-07-14 HamedFixing the test case's bug
2017-07-14 HamedAdding a new test case
2017-07-14 Hamed2 testcases are added + their bugs are fixed ...
2017-07-13 Hamedresolving conflict ...
2017-07-13 bdemskyEncoding Bug Fix
2017-07-13 bdemskyCheck in bug fix
2017-07-11 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-11 bdemskyRenaming
2017-07-11 bdemskyFix conflict
2017-07-11 bdemskyRename some functions and cleanup
2017-07-11 HamedFixing bugs + resolving conflicts
2017-07-11 bdemskyMerge branch 'master' into brian
2017-07-11 bdemskyBug fix
2017-07-11 bdemskyedits
2017-07-11 bdemskyIt compiles
2017-07-11 bdemskyMerge branch 'hamed' into brian
2017-07-10 HamedSAT solver is now connected to csolver
2017-07-10 bdemskybug fix
2017-07-10 Hamedfixing more bugs ...
2017-07-10 HamedMerge branch 'brian' of ssh://demsky.eecs.uci.edu/home...
2017-07-10 bdemskyAnother bug fix
2017-07-10 HamedMerge branch 'brian' of ssh://demsky.eecs.uci.edu/home...
2017-07-10 HamedIntegrating with sat_solver ...
2017-07-10 bdemskybug fixes
2017-07-10 bdemskyExtend test case to call solver
2017-07-10 bdemskyStart CNF Test Case
2017-07-09 bdemskymerge
2017-07-08 HamedFixing more bugs
2017-07-07 HamedFixing some bugs + improving the testcase ...
2017-06-23 HamedResolving Conflicts ... Still there're errors that...
2017-06-22 Brian DemskyFix memory bug
2017-06-22 Brian Demskyedits
2017-06-22 bdemskyRemove extra files
2017-06-22 bdemskyAdd test case plus make changes so test case runs