]> 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-12-30 trevor_hansenTiny Improvement. Remove an unnecessary check. commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenRefactor. Now finised. doing what I broke in r1445... commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenRefactor. automatically layout code. commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenImprovement. Disable propagating equalities separately commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenRefactor commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenRefactor. Retry splitting out propagating equalities. commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenRefactor. Redoing the same changes in smaller pieces. commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenBugfix. Reverting to r1445. r1446 sometimes broke. commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenRefactor. Remove propagate equalities to its own class. commit | commitdiff | tree | snapshot
2011-12-29 trevor_hansenFix. If >2 arity multiplication nodes are requested... commit | commitdiff | tree | snapshot
2011-12-22 trevor_hansenRefactor. rename a configuration property. commit | commitdiff | tree | snapshot
2011-12-22 trevor_hansenCleanup some of the command line parsing. commit | commitdiff | tree | snapshot
2011-12-22 trevor_hansenCleanup how the command line arguments are printed. commit | commitdiff | tree | snapshot
2011-12-20 trevor_hansenImprovement. If refinement is disabled, and the number... commit | commitdiff | tree | snapshot
2011-12-20 trevor_hansenRefactor. Remove no longer used variables. commit | commitdiff | tree | snapshot
2011-12-20 trevor_hansenImprovement. Remove unused parameter. Better hiding. commit | commitdiff | tree | snapshot
2011-12-20 trevor_hansenImprovement. Better manage the data stored to revert... commit | commitdiff | tree | snapshot
2011-12-20 trevor_hansenImprovement. A better type for the polarities of the... commit | commitdiff | tree | snapshot
2011-12-19 trevor_hansenImprovment. When using the XOR solver, don't apply... commit | commitdiff | tree | snapshot
2011-11-30 trevor_hansenImprovement. Generate expressions from a cleaner grammar. commit | commitdiff | tree | snapshot
2011-11-30 trevor_hansenImprovement. Some missed single level size preserving... commit | commitdiff | tree | snapshot
2011-11-30 trevor_hansenImprovements. Reduce the bit-width to speed up generati... commit | commitdiff | tree | snapshot
2011-11-29 trevor_hansenUtility to automatically generate rewrite rules. commit | commitdiff | tree | snapshot
2011-11-28 trevor_hansenImprovement. If simplifications make the problem contai... commit | commitdiff | tree | snapshot
2011-11-28 trevor_hansenRevert to r1423. I checked in the wrong file. commit | commitdiff | tree | snapshot
2011-11-28 trevor_hansenImprovement. If simplifications make the problem contai... commit | commitdiff | tree | snapshot
2011-11-28 trevor_hansenImprovement. Allow 128-bit indices with a compile time... commit | commitdiff | tree | snapshot
2011-11-25 trevor_hansenImprovement. Adds half a dozen extra size preserving... commit | commitdiff | tree | snapshot
2011-11-18 trevor_hansenRefactor. Automatically layout the code. commit | commitdiff | tree | snapshot
2011-11-15 trevor_hansenImprovement. On the smtcomp2007, disabling the freaky... commit | commitdiff | tree | snapshot
2011-11-13 trevor_hansenRewrite rule changes. Left shift by a constant now... commit | commitdiff | tree | snapshot
2011-11-13 trevor_hansenRefactor. commit | commitdiff | tree | snapshot
2011-11-13 trevor_hansenTest case for r1410. Thanks to Stephan Falke. commit | commitdiff | tree | snapshot
2011-11-10 raphael-michelAdded my name to authors list commit | commitdiff | tree | snapshot
2011-11-10 trevor_hansenImprovement. Extra c-api options from Stephan Falke. commit | commitdiff | tree | snapshot
2011-11-10 trevor_hansenRemove old command line flags. commit | commitdiff | tree | snapshot
2011-11-10 trevor_hansenImprovement. Add the ability to set SAT solvers via... commit | commitdiff | tree | snapshot
2011-10-22 trevor_hansenImprovement. The default array solver is now built... commit | commitdiff | tree | snapshot
2011-10-17 trevor_hansenCleanup a bit. Include suggestion from Oliver Crameri. commit | commitdiff | tree | snapshot
2011-10-17 trevor_hansenFix. Print back CVC wasn't prininting back all of the... commit | commitdiff | tree | snapshot
2011-10-15 trevor_hansenFix the prior checkin. I left a debug message turned on. commit | commitdiff | tree | snapshot
2011-10-15 trevor_hansenExperimental change. Do an expensive check if the index... commit | commitdiff | tree | snapshot
2011-10-12 trevor_hansenFix mismatched malloc/delete as reported by Edward... commit | commitdiff | tree | snapshot
2011-09-29 trevor_hansenAdd a disable all simplifications option. commit | commitdiff | tree | snapshot
2011-09-27 trevor_hansenOoops. Add the fix. commit | commitdiff | tree | snapshot
2011-09-27 trevor_hansenBugfix. Couldn't create booleans via the interface... commit | commitdiff | tree | snapshot
2011-09-13 trevor_hansenImprovment. Don't run destructors by default, just... commit | commitdiff | tree | snapshot
2011-09-12 trevor_hansenImprovement. speed up checking for array terms. commit | commitdiff | tree | snapshot
2011-09-11 trevor_hansenImprovement. run unconstrained elimination after propag... commit | commitdiff | tree | snapshot
2011-09-11 trevor_hansenImprovement. Speedup checking for changes by just compa... commit | commitdiff | tree | snapshot
2011-09-11 trevor_hansenThis fuzzer now outputs lots of files to the current... commit | commitdiff | tree | snapshot
2011-09-01 trevor_hansenBugfix. Thanks for Jianjun Huang for the report. If... commit | commitdiff | tree | snapshot
2011-08-31 trevor_hansenextra debug message. commit | commitdiff | tree | snapshot
2011-08-22 trevor_hansenImprovement. Wrap most of the calls to bvtypecheck... commit | commitdiff | tree | snapshot
2011-08-13 trevor_hansenBugfix. Some array reads were not removed as is require... commit | commitdiff | tree | snapshot
2011-08-11 trevor_hansenAdd ability to use CMS2 via the c-interface. commit | commitdiff | tree | snapshot
2011-08-09 trevor_hansenTrialing adding a symbolic link. Cristian Cadar wants... commit | commitdiff | tree | snapshot
2011-08-09 trevor_hansenImprovement. Only set the install prefix if the envirom... commit | commitdiff | tree | snapshot
2011-08-09 trevor_hansenExtra capi checks. commit | commitdiff | tree | snapshot
2011-08-09 trevor_hansenFix. If the c-interface was used to create nodes, then... commit | commitdiff | tree | snapshot
2011-08-09 trevor_hansenInterface Change. The c-interface now uses the simplify... commit | commitdiff | tree | snapshot
2011-08-09 trevor_hansenBugfix. #x notation for hex literals did not work. commit | commitdiff | tree | snapshot
2011-08-06 trevor_hansenAdd unconstrained shift for left/right. commit | commitdiff | tree | snapshot
2011-07-29 trevor_hansenextra unit test commit | commitdiff | tree | snapshot
2011-07-26 trevor_hansenBugfix. If nodes are created with just the hashing... commit | commitdiff | tree | snapshot
2011-07-18 trevor_hansenImprovement. Sort partial products in the multiplication. commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenImprovement. Maybe. Left recursion is supposed to be... commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenOutput the peak memory used when using -s. commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenFix to get it compiling with Cygwin. Thanks to Marzio... commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenFix. unit_test script was not working. Adds another... commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenBugfix. Thanks to Jingyue Wu for reporting sbvdiv was... commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenPatch from Peter Collingbourne to enable compiling... commit | commitdiff | tree | snapshot
2011-07-12 trevor_hansenRemove the include directory. It shouldn't be here. commit | commitdiff | tree | snapshot
2011-07-09 trevor_hansenFix. The SMTLIB2 parser now outputs "success" in reply... commit | commitdiff | tree | snapshot
2011-07-07 trevor_hansenMove functions around so that clang links. commit | commitdiff | tree | snapshot
2011-07-07 trevor_hansenRemove clang warnings. commit | commitdiff | tree | snapshot
2011-07-07 trevor_hansenFix clang warnings. commit | commitdiff | tree | snapshot
2011-07-07 trevor_hansenSilence a clang warning message. commit | commitdiff | tree | snapshot
2011-06-30 trevor_hansenImprovement. Needed for using STP interactively. commit | commitdiff | tree | snapshot
2011-06-27 trevor_hansenAdds the push(n) and pop(n) instructions to the SMTLIB2... commit | commitdiff | tree | snapshot
2011-06-26 trevor_hansenMove the filename counter out so it's saved between... commit | commitdiff | tree | snapshot
2011-06-26 trevor_hansenImprovement. Additional simplification rules. commit | commitdiff | tree | snapshot
2011-06-23 trevor_hansenFix. Look for fatal errors when running tests. commit | commitdiff | tree | snapshot
2011-06-23 trevor_hansenImprovement. Simplifying minisat now uses the advanced... commit | commitdiff | tree | snapshot
2011-06-22 trevor_hansenImprovement. Create fewer clauses when creating an... commit | commitdiff | tree | snapshot
2011-06-21 trevor_hansenAutomatically format this code. No semantic change. commit | commitdiff | tree | snapshot
2011-06-21 trevor_hansenCheck axioms for indexes in order of the number of... commit | commitdiff | tree | snapshot
2011-06-20 trevor_hansenImprovement. During abstraction refinement process... commit | commitdiff | tree | snapshot
2011-06-20 trevor_hansenFix. I forgot to remove the descriptions of -e -f from... commit | commitdiff | tree | snapshot
2011-06-20 trevor_hansenRemove the code for the not-working FOR construct. commit | commitdiff | tree | snapshot
2011-06-20 trevor_hansenVijay advised we aren't going to do fors. commit | commitdiff | tree | snapshot
2011-06-19 trevor_hansenUse the advanced CNF generator to encode array problems... commit | commitdiff | tree | snapshot
2011-06-16 trevor_hansenAdd boost to the licence, fix bitvector description. commit | commitdiff | tree | snapshot
2011-06-16 trevor_hansenBugfix. Fix the semantics of BVSMOD to always give... commit | commitdiff | tree | snapshot
2011-06-16 trevor_hansenSpeedup for easy instances. Don't call the SAT solver... commit | commitdiff | tree | snapshot
2011-06-14 trevor_hansenAdd cloud9 test cases. commit | commitdiff | tree | snapshot
2011-06-09 trevor_hansenA windows patch to r446 from Hume. commit | commitdiff | tree | snapshot
2011-05-12 trevor_hansenImprovement. Make error checking more normal. commit | commitdiff | tree | snapshot
2011-05-12 trevor_hansenExtra simplification rule. commit | commitdiff | tree | snapshot
2011-05-11 trevor_hansenExtra test cases that simplify down to nothing. commit | commitdiff | tree | snapshot
next
STP Constraint Solver.