]> 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-11-04 trevor_hansenBugfixes. commit | commitdiff | tree | snapshot
2009-11-04 trevor_hansenBugfix. memory leak. commit | commitdiff | tree | snapshot
2009-11-04 trevor_hansenBugfix. A leak in simplifier. commit | commitdiff | tree | snapshot
2009-11-03 vijay_ganeshadded fix so that STP can read back its SMTLIB printout commit | commitdiff | tree | snapshot
2009-11-03 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-11-03 vijay_ganeshadded ability to parse SMT files from the c_interface commit | commitdiff | tree | snapshot
2009-11-03 trevor_hansen* Add the leak.c test which is currently failing. commit | commitdiff | tree | snapshot
2009-11-03 vijay_ganeshbucketization of clauses added, and tested commit | commitdiff | tree | snapshot
2009-11-03 vijay_ganeshAdded funcion in CallSAT.cpp to bucketize the clauselist commit | commitdiff | tree | snapshot
2009-10-30 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-10-30 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-10-30 vijay_ganeshadded missing #ifdef CRYPTOMINISAT in STP.cpp to instan... commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshadded approrpiate comments in Makefile.common commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshadded compile flags to select between the various SAT... commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshminor edit to Makefile.in commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshadded cryptominisat. the second time commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshfixed the messup created in the src/sat directory commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshsome svn issues with adding cryptominisat. Hence have... commit | commitdiff | tree | snapshot
2009-10-29 vijay_ganeshadded cryptominisat code. compiles/links and runs corre... commit | commitdiff | tree | snapshot
2009-10-29 trevor_hansenExplicitly comment out test code. commit | commitdiff | tree | snapshot
2009-10-28 vijay_ganeshdid emacs indentation of all files. fixed Makefiles... commit | commitdiff | tree | snapshot
2009-10-28 vijay_ganeshmore cleanup of the deletion of various classes. For... commit | commitdiff | tree | snapshot
2009-10-28 vijay_ganeshimproved the clearalltables() functions in various... commit | commitdiff | tree | snapshot
2009-10-28 trevor_hansenUpdate make files so that the "-j" option will work. commit | commitdiff | tree | snapshot
2009-10-28 trevor_hansenSet make's default shell to bash. Previously on my... commit | commitdiff | tree | snapshot
2009-10-28 trevor_hansenMakefile bug fix. Check the CRYPTOMINISAT flag when... commit | commitdiff | tree | snapshot
2009-10-28 vijay_ganeshchanged the undefined return value from MINISAT to... commit | commitdiff | tree | snapshot
2009-10-27 vijay_ganeshadded compile flags and other necessary setup for cyrpt... commit | commitdiff | tree | snapshot
2009-10-22 katelman* Fixed Mac OS X compilation bug. (pull out sys/time... commit | commitdiff | tree | snapshot
2009-10-22 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-10-22 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-10-22 vijay_ganeshFixed a serious memory error in vc_Destroy(). Deleting... commit | commitdiff | tree | snapshot
2009-10-22 vijay_ganeshadded headers for CVC testcases that previously didn... commit | commitdiff | tree | snapshot
2009-10-22 trevor_hansenMerge in changes from my branch r316 that remove redund... commit | commitdiff | tree | snapshot
2009-10-21 vijay_ganeshChanged makefiles in src/sat and scripts/Makefile.commo... commit | commitdiff | tree | snapshot
2009-10-21 vijay_ganeshadded configclean target to makefile. Instead of make... commit | commitdiff | tree | snapshot
2009-10-21 vijay_ganeshconfig.info is now getting deleted during make clean commit | commitdiff | tree | snapshot
2009-10-21 trevor_hansen* Merge convertFormulaToCNFPosAND() from my branch... commit | commitdiff | tree | snapshot
2009-10-21 trevor_hansenBugfix. Off-by-one in the simplifier. This merges in... commit | commitdiff | tree | snapshot
2009-10-21 trevor_hansenMerged in extra operations: repeat, bvcomp, bvxnor... commit | commitdiff | tree | snapshot
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
next
STP Constraint Solver.