]> 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
2009-10-21 trevor_hansenImportant BugFix. r230 introduced an off-by-one error... commit | commitdiff | tree | snapshot
2009-10-20 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-20 vijay_ganeshre-coded BVLE bit-blasting to start the bitblasting... commit | commitdiff | tree | snapshot
2009-10-20 vijay_ganeshchanged the majority function for bvplus-bitblasing... commit | commitdiff | tree | snapshot
2009-10-20 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-20 vijay_ganeshadded an abstraction/refinement loop for clause-additio... commit | commitdiff | tree | snapshot
2009-10-19 vijay_ganeshminor edits and indentation commit | commitdiff | tree | snapshot
2009-10-18 trevor_hansenSpeed up grep0084.stp.cvc & grep0117.stp.cvc, by reduci... commit | commitdiff | tree | snapshot
2009-10-16 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-16 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-16 vijay_ganeshchanged some files to fit into 80 characters terminal commit | commitdiff | tree | snapshot
2009-10-15 vijay_ganeshCleaned up the printing of bitblasted formula and claus... commit | commitdiff | tree | snapshot
2009-10-15 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-10-15 vijay_ganeshmarked completed tasks in the task-list commit | commitdiff | tree | snapshot
2009-10-14 vijay_ganeshformatted using gnu style commit | commitdiff | tree | snapshot
2009-10-14 vijay_ganeshAll userdefined flags are now local to STPManager.... commit | commitdiff | tree | snapshot
2009-10-14 vijay_ganeshcode indented using emacs commit | commitdiff | tree | snapshot
2009-10-13 vijay_ganeshpush/pop now working through the c_interface. Clearallt... commit | commitdiff | tree | snapshot
2009-10-13 vijay_ganeshadded cleartables for each of the big classes commit | commitdiff | tree | snapshot
2009-10-12 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-12 vijay_ganeshremoved ASTUtil.h and merged with UsefulDefs.h commit | commitdiff | tree | snapshot
2009-10-12 vijay_ganeshreplaced hash_map/hash_set with defines HASHMAP and... commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshrenamed BeevMgr to STPMgr commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-10-11 vijay_ganeshbig reorganization almost complete. I believe there... commit | commitdiff | tree | snapshot
2009-10-06 vijay_ganeshmoved all LET-variables related stuff into a separate... commit | commitdiff | tree | snapshot
2009-10-05 vijay_ganeshreorganized ToCNF commit | commitdiff | tree | snapshot
2009-10-05 vijay_ganeshmore reorganization. introduced STPManager directory... commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshremoved symbol table from AST commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshmore AST reorganization commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshmore AST reorganization commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshmoved function defintions for AST classes to appropriat... commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshmassiv code cleanup. Created separate files for ASTNode... commit | commitdiff | tree | snapshot
2009-10-02 vijay_ganeshadded logs commit | commitdiff | tree | snapshot
2009-10-01 vijay_ganeshmassive changes. Added a LESSBYTES_PER_NODE option... commit | commitdiff | tree | snapshot
2009-09-30 vijay_ganeshshaved off 4 bytes from each ASTInternal node commit | commitdiff | tree | snapshot
2009-09-29 vijay_ganeshfixed bug in c_interface bvconstExprFromInt commit | commitdiff | tree | snapshot
2009-09-28 vijay_ganeshchanged the var decay. It improved performace commit | commitdiff | tree | snapshot
2009-09-27 vijay_ganeshadded checks for bvconst construction. checks if the... commit | commitdiff | tree | snapshot
2009-09-27 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-26 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-26 vijay_ganeshminor commit | commitdiff | tree | snapshot
2009-09-25 vijay_ganeshadded more tests commit | commitdiff | tree | snapshot
2009-09-24 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-24 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-24 trevor_hansenDifferent flex options as provided by Peter Collingbourne. commit | commitdiff | tree | snapshot
2009-09-23 trevor_hansen* get biosat-rna.cpp compiling on my machine. commit | commitdiff | tree | snapshot
2009-09-22 vijay_ganeshfixed the regression scripts so that we can run them... commit | commitdiff | tree | snapshot
2009-09-22 vijay_ganeshadded new testing perl script. minor edits to Makefiles. commit | commitdiff | tree | snapshot
2009-09-21 vijay_ganeshAll fixed. RNA example is running again. I had introduc... commit | commitdiff | tree | snapshot
2009-09-21 vijay_ganeshadded biosat-rna.cpp file. It is crashing now. Previous... commit | commitdiff | tree | snapshot
2009-09-21 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-20 trevor_hansen* Don't allow creation of zero-width bitvector literals... commit | commitdiff | tree | snapshot
2009-09-20 trevor_hansen* Bug-fix. Prior checkin broke zero_extend by greater... commit | commitdiff | tree | snapshot
2009-09-19 trevor_hansenRemove BVZX. Bit vector zero extend is now replaced... commit | commitdiff | tree | snapshot
2009-09-17 trevor_hansen* -t times how long sending the clauses to the SAT... commit | commitdiff | tree | snapshot
2009-09-17 trevor_hansen* Add back -m32. All should now make at 32-bit commit | commitdiff | tree | snapshot
2009-09-17 trevor_hansen* Add -m32 flag to c-api-tests to get it compiling commit | commitdiff | tree | snapshot
2009-09-16 vijay_ganeshminor edits to scrips/Makefile.common commit | commitdiff | tree | snapshot
2009-09-16 vijay_ganeshminor edits to AST/Makefile commit | commitdiff | tree | snapshot
2009-09-16 vijay_ganeshminor edits. Lot more work remains in optimizing FOR... commit | commitdiff | tree | snapshot
2009-09-15 trevor_hansenFixes an off-by-one defect introduced in #230 commit | commitdiff | tree | snapshot
2009-09-15 trevor_hansen* Add signed & unsigned shifts to a test generator commit | commitdiff | tree | snapshot
2009-09-15 trevor_hansenThe constant evaluator can now evaluate shifts by amoun... commit | commitdiff | tree | snapshot
2009-09-14 trevor_hansen* Build by defualt a 32-bit executable. commit | commitdiff | tree | snapshot
2009-09-14 trevor_hansenThe result of the -t option (quick statistics), also... commit | commitdiff | tree | snapshot
2009-09-14 trevor_hansenAdd a new class for tracking the runtimes. e.g. Simplif... commit | commitdiff | tree | snapshot
2009-09-13 vijay_ganeshadded FOR-construct tests commit | commitdiff | tree | snapshot
2009-09-13 vijay_ganeshadded parameterized boolean variables commit | commitdiff | tree | snapshot
2009-09-12 vijay_ganeshsome changes to abs-refinement commit | commitdiff | tree | snapshot
2009-09-11 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-11 vijay_ganeshfixed some issues with FOR-construct commit | commitdiff | tree | snapshot
2009-09-10 vijay_ganeshAdded EXCEPT construct for the FOR-construct commit | commitdiff | tree | snapshot
2009-09-10 trevor_hansenRough version of smtlib print back. The output version... commit | commitdiff | tree | snapshot
2009-09-10 trevor_hansenImprove dependency generation: commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshmoved bitvec directory to const-evaluator. moved consta... commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshFor-construct seems to be working commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshThere was link error due to versionString.cpp. It has... commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Use svnversion at build time to insert the current... commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Flatten AND, OR & BVPLUS completely via SimplifyTerm commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Automatically build dependencies during make. This... commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Delete the bvsolver object as soon as we're finished... commit | commitdiff | tree | snapshot
2009-09-08 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshadded new directories abstraction-refinement and to... commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshemacs indentation done commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshcoded up abstraction-refinement commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshchanged regression names commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshchanged regressall to regresscvc commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
next
STP Constraint Solver.