]> 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
2012-02-18 trevor_hansenRefactor - automatically layout code, and move one... commit | commitdiff | tree | snapshot
2012-02-18 trevor_hansenImprovement. Write the equivalences that the bit-blaste... commit | commitdiff | tree | snapshot
2012-02-17 trevor_hansenImprovements speedups for better test code. commit | commitdiff | tree | snapshot
2012-02-09 trevor_hansenTurn on bit-blast equivalency detection again. commit | commitdiff | tree | snapshot
2012-02-09 trevor_hansenImportant bugfix. This rewrite rule implemented the... commit | commitdiff | tree | snapshot
2012-02-09 trevor_hansenDisable bit-blast equivalence checking, it returns... commit | commitdiff | tree | snapshot
2012-02-09 trevor_hansenFix the build. Typo in last checkin. commit | commitdiff | tree | snapshot
2012-02-09 trevor_hansenFix. The new bit-blast simplifications where only half... commit | commitdiff | tree | snapshot
2012-02-08 trevor_hansenTurn off more things when disabling simplify. commit | commitdiff | tree | snapshot
2012-02-07 trevor_hansen Disable signed bvmod propagator, I think it implements... commit | commitdiff | tree | snapshot
2012-02-06 trevor_hansenAdd code to do maximally precise transformer via Reps. commit | commitdiff | tree | snapshot
2012-02-06 trevor_hansenFix. Get it the utility compiling. commit | commitdiff | tree | snapshot
2012-02-06 trevor_hansenInclude a utliity to measure the cbitp time. commit | commitdiff | tree | snapshot
2012-02-04 trevor_hansenRemove debugging message. commit | commitdiff | tree | snapshot
2012-02-04 trevor_hansenEnable bit-blaster equivalency checking by default. commit | commitdiff | tree | snapshot
2012-02-03 trevor_hansenImprovement. Cleanup how the bb equivalent vector opera... commit | commitdiff | tree | snapshot
2012-02-03 trevor_hansenImprovement. Use AIGs to find semantically equivalent... commit | commitdiff | tree | snapshot
2012-02-03 trevor_hansendisable sbvmod propagator. commit | commitdiff | tree | snapshot
2012-02-03 trevor_hansenImprovement. Use the results of bit-blasting to detect... commit | commitdiff | tree | snapshot
2012-02-02 trevor_hansenSearch for a AND (NOT a), a OR (NOT a), when doing... commit | commitdiff | tree | snapshot
2012-02-02 trevor_hansenA fixed version r1547. I missed a bound. commit | commitdiff | tree | snapshot
2012-02-02 trevor_hansenRevert. The prior change to min/max has some problem... commit | commitdiff | tree | snapshot
2012-02-02 trevor_hansenImprovement. 10x better min and max value out of the... commit | commitdiff | tree | snapshot
2012-02-01 trevor_hansenSmall speedup. Remove redundant initialisation. commit | commitdiff | tree | snapshot
2012-01-31 trevor_hansenRefactor. Automatically layout. commit | commitdiff | tree | snapshot
2012-01-31 trevor_hansenImprovement. This makes the multiplication propagator... commit | commitdiff | tree | snapshot
2012-01-31 trevor_hansenImprovement. Better leading zero detection in the multi... commit | commitdiff | tree | snapshot
2012-01-31 trevor_hansenImprovement, if there are < 10 array reads, write them... commit | commitdiff | tree | snapshot
2012-01-31 trevor_hansenAdds extra code that is not enabled by default. commit | commitdiff | tree | snapshot
2012-01-30 trevor_hansenImprovement. For some bechmarks anyway. Completely... commit | commitdiff | tree | snapshot
2012-01-29 trevor_hansenRemove implication graph code. It's too slow to be... commit | commitdiff | tree | snapshot
2012-01-29 trevor_hansenImprovement. Generalise fixing of trailing zeroes in... commit | commitdiff | tree | snapshot
2012-01-29 trevor_hansenImprovement. Generalise the equality check when exausti... commit | commitdiff | tree | snapshot
2012-01-28 trevor_hansenFix an assertion error. commit | commitdiff | tree | snapshot
2012-01-28 trevor_hansenMake another class noncopyable. commit | commitdiff | tree | snapshot
2012-01-28 trevor_hansenImprovement. Enable the simplifying node factory by... commit | commitdiff | tree | snapshot
2012-01-28 trevor_hansenAdd the cloud9 test cases to regressall. commit | commitdiff | tree | snapshot
2012-01-28 trevor_hansenImprovement. We missed an unusual case when deciding... commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenImprovement. Patch ABC to replace the standard popcount... commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenFix to the prior checkin. It was completely wrong. commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenImprovement. Don't clean up the advanced CNF generator... commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenFix the SMTLIB2 application language parser. commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenImprovement. The SMT-LIB2 parser no longer stores a... commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenCleanup. This removes some of the code for the user... commit | commitdiff | tree | snapshot
2012-01-26 trevor_hansenFix the rewrite generator to compile. commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenImprovement. Do better trailing zero propagation on... commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenFix comment.: commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenImprovement. Add the ability to set a soft timeout... commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenClean up. I think this is just a refactor, but aren... commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenRefactor. Automatically layout code. commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenRefactor. Rename parserinterface to cpp_interface. commit | commitdiff | tree | snapshot
2012-01-24 trevor_hansenRefactor. First step in moving the parser interface... commit | commitdiff | tree | snapshot
2012-01-23 trevor_hansenFix the build again. commit | commitdiff | tree | snapshot
2012-01-23 trevor_hansenFix the build. Spotted by Vijay Ganesh, Spencer Whitman... commit | commitdiff | tree | snapshot
2012-01-23 trevor_hansenFix. Thanks to Stephan Falke. Last checkin put a depend... commit | commitdiff | tree | snapshot
2012-01-22 trevor_hansenMark most of the classes that shouldn't be copied as... commit | commitdiff | tree | snapshot
2012-01-21 trevor_hansenImprovement. Remove the do-not-solve-for set. I suspect... commit | commitdiff | tree | snapshot
2012-01-20 trevor_hansenRemove the xor solver from the bvsolver. XORs are now... commit | commitdiff | tree | snapshot
2012-01-17 trevor_hansenImprovement. Rewrite the Equality Propagation code... commit | commitdiff | tree | snapshot
2012-01-16 trevor_hansenRefactor. Add an extra configuration option to control... commit | commitdiff | tree | snapshot
2012-01-16 trevor_hansenRefactor. commit | commitdiff | tree | snapshot
2012-01-14 trevor_hansenExtra unit tests. commit | commitdiff | tree | snapshot
2012-01-14 trevor_hansenExtra unit test. commit | commitdiff | tree | snapshot
2012-01-12 trevor_hansenRemove a clang warning. No change. commit | commitdiff | tree | snapshot
2012-01-11 khooypFix BitBlaster to not use the non-standard std::vector... commit | commitdiff | tree | snapshot
2012-01-11 petercolFix Clang compilation. commit | commitdiff | tree | snapshot
2012-01-11 khooypAdd a C API test for the leak fixed in r1141 (when... commit | commitdiff | tree | snapshot
2012-01-11 khooypBase version on local SVN change rather than the overal... commit | commitdiff | tree | snapshot
2012-01-11 khooypFix creation of SimplifyingNodeFactory to use STPMgr... commit | commitdiff | tree | snapshot
2012-01-11 khooypFix BitBlaster to consistently use the hash_set macro... commit | commitdiff | tree | snapshot
2012-01-11 khooypConditionally enable -march=native, since it doesn... commit | commitdiff | tree | snapshot
2012-01-11 khooypSource local configuration from scripts/Makefile.local... commit | commitdiff | tree | snapshot
2012-01-11 trevor_hansenRevert the compiler flags. commit | commitdiff | tree | snapshot
2012-01-10 trevor_hansenImprovement. Replace implementation with a node iterator. commit | commitdiff | tree | snapshot
2012-01-10 trevor_hansen* Add some extra configuration options. * Change how... commit | commitdiff | tree | snapshot
2012-01-10 trevor_hansenImprovement. Ability to give a random number to the... commit | commitdiff | tree | snapshot
2012-01-10 trevor_hansenRevert the makefile, I didn't mean to checkin. commit | commitdiff | tree | snapshot
2012-01-10 trevor_hansenImportant bugfix. r1423 introduced a defect that gives... commit | commitdiff | tree | snapshot
2012-01-10 trevor_hansenAdds an extra multiplication variant that's not enabled... commit | commitdiff | tree | snapshot
2012-01-09 trevor_hansenFix. Another broken assertion. commit | commitdiff | tree | snapshot
2012-01-09 trevor_hansenFix. Bad assertion, thanks to Stephan Falke. commit | commitdiff | tree | snapshot
2012-01-08 trevor_hansenAdd another configuration option. commit | commitdiff | tree | snapshot
2012-01-08 trevor_hansenChanges to how multiplication can be encoded. No change... commit | commitdiff | tree | snapshot
2012-01-07 trevor_hansenFix to experimental code that's not turned on. commit | commitdiff | tree | snapshot
2012-01-07 trevor_hansenFix. Code that isn't enabled without a special config... commit | commitdiff | tree | snapshot
2012-01-07 trevor_hansenAdds improved code and extra multiplication variants... commit | commitdiff | tree | snapshot
2012-01-07 trevor_hansenRefactor. Remove some bad code. commit | commitdiff | tree | snapshot
2012-01-07 trevor_hansenRefactor. Automatically layout the code. commit | commitdiff | tree | snapshot
2012-01-07 trevor_hansenImprovement. Assert that multiplications that have... commit | commitdiff | tree | snapshot
2012-01-05 trevor_hansenProbably a refactor. This comments out the write-refine... commit | commitdiff | tree | snapshot
2012-01-05 trevor_hansenImportant Bugfix. Thanks to Khoo Yit Phang. commit | commitdiff | tree | snapshot
2012-01-04 trevor_hansenImprovement. Remove an unused configuration option. commit | commitdiff | tree | snapshot
2012-01-04 trevor_hansenImportant Bugfix. My last checkin only initialised... commit | commitdiff | tree | snapshot
2012-01-04 trevor_hansenFix. Remove unnecessary include that broke redhat compl... commit | commitdiff | tree | snapshot
2012-01-04 trevor_hansenImprovement. Replace difficulty and printing implementa... commit | commitdiff | tree | snapshot
2012-01-03 trevor_hansenRefactor. Replace stacks with lists. commit | commitdiff | tree | snapshot
2012-01-02 trevor_hansenBugfix. The previous checkin broke multiplication. commit | commitdiff | tree | snapshot
2012-01-02 trevor_hansenRefactor commit | commitdiff | tree | snapshot
2012-01-02 trevor_hansenAdd missing files from the last checkin. commit | commitdiff | tree | snapshot
2012-01-02 trevor_hansenImprovement. Better constant bit propagation of multipl... commit | commitdiff | tree | snapshot
next
STP Constraint Solver.