]> 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-04-07 trevor_hansenImprovement. Fix an oddity which required a method... commit | commitdiff | tree | snapshot
2012-04-07 trevor_hansenAdds a utility to parse smt-lib2, constant bit propagat... commit | commitdiff | tree | snapshot
2012-04-07 trevor_hansenImprovement. Change how the bitblast equivalence checki... commit | commitdiff | tree | snapshot
2012-04-05 trevor_hansenImprovement. Add a configuration option to remove a... commit | commitdiff | tree | snapshot
2012-04-05 trevor_hansenImprovement. Output configuration flags in the same... commit | commitdiff | tree | snapshot
2012-04-05 trevor_hansenFix to the SMTLIB2 printer. Symbols with spaces in... commit | commitdiff | tree | snapshot
2012-04-04 trevor_hansenimprovement. Add the ability to the cpp interface to... commit | commitdiff | tree | snapshot
2012-04-03 trevor_hansenImprovement to cbipt. Run unsigned division propagagtor... commit | commitdiff | tree | snapshot
2012-04-03 trevor_hansenFix the build. With assertions enabled it would not... commit | commitdiff | tree | snapshot
2012-04-03 trevor_hansenFix some more test cases by returning from main. commit | commitdiff | tree | snapshot
2012-04-03 trevor_hansenFix. Put in a return value from main commit | commitdiff | tree | snapshot
2012-04-03 trevor_hansenImprovements. Move the hard timeout function to a utili... commit | commitdiff | tree | snapshot
2012-03-29 trevor_hansenImprovements to measurement code. commit | commitdiff | tree | snapshot
2012-03-27 trevor_hansenImprovements to utility code. commit | commitdiff | tree | snapshot
2012-03-27 trevor_hansenImprovement. Better propagate bits when there is a... commit | commitdiff | tree | snapshot
2012-03-26 trevor_hansenBig speedup to utility code for producing the effect... commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenImprovements to utility code. Less outputting to cerr... commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenImportant Bugfix. The recently introduced bvmod simplif... commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenImprovement. Better propagation for division when divis... commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenImprovement. Two extra simplifications for the bvmod commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenImprovements to the utility code for generating rewrites. commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenUtility code. When deleting duplicate rewrite rules... commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenFix to the last checkin, remove a debugging output. commit | commitdiff | tree | snapshot
2012-03-25 trevor_hansenImprovement. If the numerator of a division contains... commit | commitdiff | tree | snapshot
2012-03-20 trevor_hansenImprovement. Use the default node factory rather than... commit | commitdiff | tree | snapshot
2012-03-19 trevor_hansenImprovements to utility code for generating rewrite... commit | commitdiff | tree | snapshot
2012-03-18 trevor_hansenImprovement to the utility code for building rewrites. commit | commitdiff | tree | snapshot
2012-03-17 trevor_hansenFix. Some of the test cases are now build with the... commit | commitdiff | tree | snapshot
2012-03-17 trevor_hansenChanges to the C-interface. I forgot that C doesn't... commit | commitdiff | tree | snapshot
2012-03-15 trevor_hansenBeautification. Pointer to the base class instead of... commit | commitdiff | tree | snapshot
2012-03-15 trevor_hansenFix. Don't use the global nodefactory when we have... commit | commitdiff | tree | snapshot
2012-03-15 trevor_hansenFixes to code for manipulating rewrite rules. commit | commitdiff | tree | snapshot
2012-03-14 trevor_hansenRefactor utility code. Automatically layout, no other... commit | commitdiff | tree | snapshot
2012-03-14 trevor_hansenMiscellaneous fixes to rewrite generation. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenImprovements to rewrite utility code. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenCheck not and minus better when type checking. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenRemove an unimplemented function from a header. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenAdd the ability to tell the SMTLIB2 printer whether... commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenImprovements. Better preventing infinite loops when... commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenRemove unused code. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenImprovements to the code for generating rewrite rules. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenMove the time function to global scope. commit | commitdiff | tree | snapshot
2012-03-12 trevor_hansenAdds the simplify and nclauses methods to some SAT... commit | commitdiff | tree | snapshot
2012-03-06 trevor_hansenImprovements to rewrite utility code. commit | commitdiff | tree | snapshot
2012-03-05 trevor_hansenImprovements to utility code. commit | commitdiff | tree | snapshot
2012-03-04 trevor_hansenThis removes some rewrite rules that I haven't yet... commit | commitdiff | tree | snapshot
2012-03-03 trevor_hansenImprovement. Extra rewrite rules. commit | commitdiff | tree | snapshot
2012-03-03 trevor_hansenImprovements to the utility for generating rewrite... commit | commitdiff | tree | snapshot
2012-03-03 trevor_hansenNew cpp interface function to pop away asserts. commit | commitdiff | tree | snapshot
2012-03-03 trevor_hansenImprovement to utility code. Replace directly accessing... commit | commitdiff | tree | snapshot
2012-03-03 trevor_hansenRemove an unnecessary file. commit | commitdiff | tree | snapshot
2012-03-03 trevor_hansenExtra utility code for manipulating rewrite rules. commit | commitdiff | tree | snapshot
2012-02-29 trevor_hansenFix. I used the wrong comparison operation. commit | commitdiff | tree | snapshot
2012-02-27 trevor_hansenImprovement. Sometimes the interface throws division... commit | commitdiff | tree | snapshot
2012-02-22 trevor_hansenCleanup the utility code for off-line generation of... commit | commitdiff | tree | snapshot
2012-02-20 trevor_hansenImprovement. The bitblaster now handled signed div... commit | commitdiff | tree | snapshot
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
next
STP Constraint Solver.