]> 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
2013-02-24 trevor_hansenFix the build for propagator utilities. svn-trunk svn/trunk commit | commitdiff | tree | snapshot
2013-02-24 trevor_hansenFix the utilities for measuring the precision of propag... commit | commitdiff | tree | snapshot
2013-02-11 trevor_hansenPrint out SBVMOD Nodes. Thanks to Jingyue Wu. commit | commitdiff | tree | snapshot
2013-02-11 trevor_hansenPatch from Trevor Woerner to compile on OpenSuSE 12... commit | commitdiff | tree | snapshot
2013-02-11 trevor_hansenFix c-api parsing of CVC strings. Thanks to Ryan Govost... commit | commitdiff | tree | snapshot
2012-10-03 trevor_hansenSpeedup for AND/OR with lots of sharing to fix the... commit | commitdiff | tree | snapshot
2012-06-15 trevor_hansenFix the build. Remove code I didn't mean to checkin. commit | commitdiff | tree | snapshot
2012-06-15 trevor_hansenPartial implementation of the SMT-LIB2 define function... commit | commitdiff | tree | snapshot
2012-05-26 trevor_hansensmall improvement. Pull up bvnot from bvarshift. commit | commitdiff | tree | snapshot
2012-05-25 trevor_hansenRemove unnecessary code when cancelling. Thanks to... commit | commitdiff | tree | snapshot
2012-05-12 trevor_hansenChange -r so that it produces simpler expressions.... commit | commitdiff | tree | snapshot
2012-04-30 trevor_hansenImprovement. Nicer handling of bit-vector not in bvxors. commit | commitdiff | tree | snapshot
2012-04-29 trevor_hansenPotentiall rewriting improvement. Not sure yet. commit | commitdiff | tree | snapshot
2012-04-25 trevor_hansenFix. didn't work properly for 1 bit division. commit | commitdiff | tree | snapshot
2012-04-25 trevor_hansenImprovement. Add another form of Ackermannisation.... commit | commitdiff | tree | snapshot
2012-04-23 trevor_hansenImprovments to code used for experiments. commit | commitdiff | tree | snapshot
2012-04-23 trevor_hansenChanges to code for experiments. commit | commitdiff | tree | snapshot
2012-04-23 trevor_hansenImprovements to code for running experiments. commit | commitdiff | tree | snapshot
2012-04-23 trevor_hansenChange to code for experiments. commit | commitdiff | tree | snapshot
2012-04-22 trevor_hansenChange to code for running experiments. commit | commitdiff | tree | snapshot
2012-04-22 trevor_hansenChange to code used for experiments. commit | commitdiff | tree | snapshot
2012-04-22 trevor_hansenImprovement. Add a fast exit case to the inequalities. commit | commitdiff | tree | snapshot
2012-04-20 trevor_hansenfix the build. commit | commitdiff | tree | snapshot
2012-04-20 trevor_hansenExtra cpp interface constructor commit | commitdiff | tree | snapshot
2012-04-20 trevor_hansenExta utility code. commit | commitdiff | tree | snapshot
2012-04-20 trevor_hansenImprovement. Change the unit propagation method to... commit | commitdiff | tree | snapshot
2012-04-18 trevor_hansenAdd some operations to the c-interfalce that were previ... commit | commitdiff | tree | snapshot
2012-04-17 trevor_hansenImprovement. Adds an extra method to minisat that does... commit | commitdiff | tree | snapshot
2012-04-15 trevor_hansenImprovmeent. Speed up the division propagator a little. commit | commitdiff | tree | snapshot
2012-04-13 trevor_hansenImprovement. A cleaner bitvector addition propagator... commit | commitdiff | tree | snapshot
2012-04-11 trevor_hansenImprovement to utility code, update to new AST AIG... commit | commitdiff | tree | snapshot
2012-04-10 trevor_hansenFix build. Remove some casts that I don't need on my... commit | commitdiff | tree | snapshot
2012-04-10 trevor_hansenTestcase to check it realises neg and not are both... commit | commitdiff | tree | snapshot
2012-04-10 trevor_hansenImprovement. A simplified trailing zeroes propagator. commit | commitdiff | tree | snapshot
2012-04-10 trevor_hansenSlightly speed up the equals propagator. commit | commitdiff | tree | snapshot
2012-04-10 trevor_hansenImprovements the the code for measuring the effect... commit | commitdiff | tree | snapshot
2012-04-09 trevor_hansenImprovement. In general it seems that these optsions... commit | commitdiff | tree | snapshot
2012-04-08 trevor_hansenImprovements to utility code for timing cbitp propagators. commit | commitdiff | tree | snapshot
2012-04-07 trevor_hansenRefactor. Automatically format the code, no other change. commit | commitdiff | tree | snapshot
2012-04-07 trevor_hansenSmall improvements to the multiplication propagator. commit | commitdiff | tree | snapshot
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
next
STP Constraint Solver.