]> git.unchartedbackwaters.co.uk Git - francis/stp.git/shortlog
projects / francis / stp.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
francis/stp.git
2011-02-22 trevor_hansenImprovement. Match the difficulty score better to the... commit | commitdiff | tree | snapshot
2011-02-22 trevor_hansenImprovement. The start of an unsigned interval simplifi... commit | commitdiff | tree | snapshot
2011-02-22 trevor_hansenImprovement. Handle extracts especially when doing... commit | commitdiff | tree | snapshot
2011-02-21 trevor_hansenBugfix. r1152 was broken. It got the widths wrong. commit | commitdiff | tree | snapshot
2011-02-21 trevor_hansenA new test case for the special unconstrained extract... commit | commitdiff | tree | snapshot
2011-02-21 trevor_hansenImprovement. Simplifying EQ a little better. commit | commitdiff | tree | snapshot
2011-02-14 trevor_hansenAdd find pure literals code.oooops. commit | commitdiff | tree | snapshot
2011-02-14 trevor_hansenEnable pure literal elimination, and unconstrained... commit | commitdiff | tree | snapshot
2011-02-14 trevor_hansenRemove unused configuration option. Update qualifiers. commit | commitdiff | tree | snapshot
2011-02-14 trevor_hansenAdd --config options to enable CNF conversion via Tseit... commit | commitdiff | tree | snapshot
2011-02-14 trevor_hansenAdd the code for unconstrained variable elimination... commit | commitdiff | tree | snapshot
2011-02-14 trevor_hansenImprovements. commit | commitdiff | tree | snapshot
2011-02-11 trevor_hansenAdd categories to the RunTime class for new simplifications commit | commitdiff | tree | snapshot
2011-02-10 trevor_hansenFix a leak in _asserts. I know of no other leaks. commit | commitdiff | tree | snapshot
2011-02-10 trevor_hansenImprovement. The SMTLIB1 & SMTLIB2 parsers were holding... commit | commitdiff | tree | snapshot
2011-02-10 khooypAdd conditional workaround for flex < 2.5.20, such... commit | commitdiff | tree | snapshot
2011-02-10 khooypClean up the build system for src/parser. commit | commitdiff | tree | snapshot
2011-02-10 khooypTemporarily rename CVC.* to cvclib.*; to be renamed... commit | commitdiff | tree | snapshot
2011-02-10 khooypFix inconsistent line endings, and execute bit on a... commit | commitdiff | tree | snapshot
2011-02-10 khooypFix a typo in the help string. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenFix. For r1131 I deleted the wrong file. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. commit | commitdiff | tree | snapshot
2011-02-08 trevor_hansenPatch from Khoo Yit Phang. Fix typos that caused main... commit | commitdiff | tree | snapshot
2011-02-07 trevor_hansenSpeedup the test harness. For the CVC tests STP is... commit | commitdiff | tree | snapshot
2011-02-05 trevor_hansenImprovement. Simplifiy from (X bvdiv 1) to X. commit | commitdiff | tree | snapshot
2011-02-05 trevor_hansenSpeedup. When performing constant bit propagation,... commit | commitdiff | tree | snapshot
2011-02-03 trevor_hansenImprovement. Reduce the scope of the bvsolver. commit | commitdiff | tree | snapshot
2011-02-03 trevor_hansenConvert these tests from cvc to smtlib2 format. The... commit | commitdiff | tree | snapshot
2011-02-03 trevor_hansenBugfix. The c-api calls ~STP and ~STPMgr. The changes... commit | commitdiff | tree | snapshot
2011-02-02 trevor_hansenImprovement. Cleanup memory better at the end. commit | commitdiff | tree | snapshot
2011-02-02 trevor_hansenImprovement. Use ABC's CNF converter by default when... commit | commitdiff | tree | snapshot
2011-02-02 trevor_hansenRemove no longer used code. commit | commitdiff | tree | snapshot
2011-02-02 trevor_hansenFix. Apply substitutions in another place to avoid... commit | commitdiff | tree | snapshot
2011-02-01 trevor_hansenLess Memory. Cache less frequently. commit | commitdiff | tree | snapshot
2011-02-01 trevor_hansenSpeedup. Track which sets have already being added... commit | commitdiff | tree | snapshot
2011-01-31 trevor_hansenFix. Without a CallSAT_Result check call sometimes... commit | commitdiff | tree | snapshot
2011-01-31 trevor_hansenFix. If not simplifying during parsing an assertion... commit | commitdiff | tree | snapshot
2011-01-30 trevor_hansenBugfix. Substitutions need to be written through arrays... commit | commitdiff | tree | snapshot
2011-01-30 trevor_hansenBugfix. Substitutions need to be written through arrays... commit | commitdiff | tree | snapshot
2011-01-30 trevor_hansen* The -t option now tracks time spent applying the... commit | commitdiff | tree | snapshot
2011-01-30 trevor_hansenFix. The last revision has some debugging messages... commit | commitdiff | tree | snapshot
2011-01-30 trevor_hansenImprovement. Add substitution for variables by arbitary... commit | commitdiff | tree | snapshot
2011-01-30 trevor_hansen Remove the full bvsolve option. I'm soon to commit... commit | commitdiff | tree | snapshot
2011-01-27 trevor_hansenCleanup. Remove Doug Lea's Malloc which is no longer... commit | commitdiff | tree | snapshot
2011-01-27 trevor_hansenImprovement. Output peak memory usage, and CPU time... commit | commitdiff | tree | snapshot
2011-01-27 trevor_hansenRefactor. Split out the code to determine which variabl... commit | commitdiff | tree | snapshot
2011-01-26 trevor_hansen* Improvement. Add array read refinement to the quick... commit | commitdiff | tree | snapshot
2011-01-26 trevor_hansenFix. Thanks to Dan Kaminsky for the report. It didn... commit | commitdiff | tree | snapshot
2011-01-26 trevor_hansenSpeedup. Problems with lots of pluses sometimes ran... commit | commitdiff | tree | snapshot
2011-01-26 trevor_hansenFix. The c-api wasn't working because refactored object... commit | commitdiff | tree | snapshot
2011-01-24 trevor_hansenFix. Ooops. I'd commented out the fix of r1082 / r1083. commit | commitdiff | tree | snapshot
2011-01-23 trevor_hansenRefactor. Move the code that goes to CNF via ASTNodes... commit | commitdiff | tree | snapshot
2011-01-23 trevor_hansenRefactor. Move the clause bucket size so it can be... commit | commitdiff | tree | snapshot
2011-01-23 trevor_hansenBugfix. An assertion error would be produced because... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenFix. remove the -j option. Which did nothing. It used... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenFix. sat, unsat, unknown aren't reserved words so they... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenThe gulwani smtlib tests require arity > 2 bvplus and... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenSpeedup. When parsing don't create symbols for the... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenCleanup / Refactor. Will call the sat solver fewer... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenBugfix. Maybe. Empty smtlib and smtlib2 format files... commit | commitdiff | tree | snapshot
2011-01-19 trevor_hansenAdd the --config_full_bvsolve=1 option. With this optio... commit | commitdiff | tree | snapshot
2011-01-18 trevor_hansenFix. ClearAllTables() deleted all the dynamically alloc... commit | commitdiff | tree | snapshot
2011-01-18 trevor_hansenBugfix. The same index could be stored twice in the... commit | commitdiff | tree | snapshot
2011-01-18 trevor_hansenCleanup. Scope a variable so that it's killed of early. commit | commitdiff | tree | snapshot
2011-01-18 trevor_hansenBugfix. Experimental. Complicated input caused an asser... commit | commitdiff | tree | snapshot
2011-01-17 trevor_hansenSpeedup. Use the better caching for the bit-vector... commit | commitdiff | tree | snapshot
2011-01-14 trevor_hansenBugfix. Running with -t would fail if the shortcut... commit | commitdiff | tree | snapshot
2011-01-13 trevor_hansenRemove experimental code (that wasn't enabled). That... commit | commitdiff | tree | snapshot
2011-01-13 trevor_hansenBugfix. I forgot the return on a function. This only... commit | commitdiff | tree | snapshot
2011-01-09 trevor_hansenBugfix. Another leak introduced in r1055. commit | commitdiff | tree | snapshot
2011-01-09 trevor_hansenBugfix. A large memory leak was introduced in r1055. commit | commitdiff | tree | snapshot
2011-01-09 trevor_hansenFix a small memory leak. commit | commitdiff | tree | snapshot
2011-01-09 trevor_hansenFix small memory leak. commit | commitdiff | tree | snapshot
2011-01-08 trevor_hansenBugfix to the incremental cnf code (which isn't yet... commit | commitdiff | tree | snapshot
2011-01-08 trevor_hansenAllow incremental building of the CNF from AIGs using... commit | commitdiff | tree | snapshot
2011-01-08 trevor_hansen* Speed up the bvsolver. Reduce the number of copies... commit | commitdiff | tree | snapshot
2011-01-07 trevor_hansenCleanup/Speedup. Minor changes to simplify formula. commit | commitdiff | tree | snapshot
2011-01-06 trevor_hansenBugfix. Would segfault if a vector was empty. commit | commitdiff | tree | snapshot
2011-01-03 trevor_hansen* Remove the arraywrite_refinement_flag boolean flag... commit | commitdiff | tree | snapshot
2011-01-03 trevor_hansenSpeedup, Cleanup of the SATBased_ArrayReadRefinement... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenBugfix. Prevent *TrueDummy* being output in the counter... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenSpeedup. Experimental. Caching was disabled when conver... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenRefactor. Remove some commented out code. No idea what... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenCleanup / Speedup. Unnecessary work was done when build... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenBugfix. I didn't realise that the Flatten function... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenRefactor. This shouldn't change anything commit | commitdiff | tree | snapshot
2011-01-01 trevor_hansenSpeedup. The old Flatten was too slow. On an instance... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenExtra assertion. Assert that internally created variabl... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenSmall leak fix. Didn't delete the variable introduced... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenFix the build. The speedup in the prior checkin needs... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenSpeedup. This makes it much faster to create some bvconsts. commit | commitdiff | tree | snapshot
next
STP Constraint Solver.