]> 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-27 msoosMTRand directory was not included in the search path... commit | commitdiff | tree | snapshot
2009-11-27 msoosCryptoMiniSat2's Makefile had the same mistake as the... commit | commitdiff | tree | snapshot
2009-11-27 msoosAdding Cryptominisat Version 2 commit | commitdiff | tree | snapshot
2009-11-26 vijay_ganeshSignificant good changes to SAT makefiles by Mate.... commit | commitdiff | tree | snapshot
2009-11-26 msoosRemoving template.mk completely, and replacing it with... commit | commitdiff | tree | snapshot
2009-11-26 msooscryptominisat's Makefile had its 'clean' missing commit | commitdiff | tree | snapshot
2009-11-26 msoosRenaming of cryptominisat-files, and creating a proper... commit | commitdiff | tree | snapshot
2009-11-25 vijay_ganeshadded variable right shift to the CVC parser commit | commitdiff | tree | snapshot
2009-11-24 vijay_ganeshadded symbolic link in include/stp/c_interface.h to... commit | commitdiff | tree | snapshot
2009-11-20 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-11-20 vijay_ganeshminor edit to the Clausal abstraction limit commit | commitdiff | tree | snapshot
2009-11-19 vijay_ganeshfixed some bugs in the user-guided refinement implement... commit | commitdiff | tree | snapshot
2009-11-19 vijay_ganeshminor edits to the user-guided absrefine example commit | commitdiff | tree | snapshot
2009-11-18 vijay_ganeshadded a testcase for userguided refinement commit | commitdiff | tree | snapshot
2009-11-18 vijay_ganeshadded ability to generate xor-clauses with negation... commit | commitdiff | tree | snapshot
2009-11-18 vijay_ganeshuserguided abstraction-refinement is now at the toplevel commit | commitdiff | tree | snapshot
2009-11-17 vijay_ganeshadded an experimental user-guided abstraction-refinemen... commit | commitdiff | tree | snapshot
2009-11-17 vijay_ganeshuser-defined abstraction refinement basic functions... commit | commitdiff | tree | snapshot
2009-11-16 vijay_ganeshadded code to facilitate user-guided abstraction-refinement commit | commitdiff | tree | snapshot
2009-11-16 vijay_ganeshminor edits to README commit | commitdiff | tree | snapshot
2009-11-16 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-11-16 vijay_ganeshadded info about installation regression in README commit | commitdiff | tree | snapshot
2009-11-16 vijay_ganeshadded a very basic regression so that users can check... commit | commitdiff | tree | snapshot
2009-11-14 xiwfixed a crash in parser. commit | commitdiff | tree | snapshot
2009-11-13 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-11-13 vijay_ganeshfixed the flex-related bug commit | commitdiff | tree | snapshot
2009-11-13 vijay_ganeshmore deadcode eliminated commit | commitdiff | tree | snapshot
2009-11-13 vijay_ganeshremoved some deadcode relating to previous versions... commit | commitdiff | tree | snapshot
2009-11-12 vijay_ganeshfixed a bug in the CVC parser. It was allowing the... commit | commitdiff | tree | snapshot
2009-11-12 vijay_ganeshfirst round of cryptominisat integration is complete commit | commitdiff | tree | snapshot
2009-11-12 katelmanFixed a couple of bugs in the way that we do clause... commit | commitdiff | tree | snapshot
2009-11-09 vijay_ganeshcalling CRYPTOMINISAT Simplify() before calling Solve() commit | commitdiff | tree | snapshot
2009-11-09 vijay_ganeshfixed some slowdowns commit | commitdiff | tree | snapshot
2009-11-09 trevor_hansenRevert to version #390, didn't mean to checkin this... commit | commitdiff | tree | snapshot
2009-11-09 trevor_hansenOption currently disabled. To not use Tseitin variables... commit | commitdiff | tree | snapshot
2009-11-08 trevor_hansenAdd extra dependencies required for parallel build. commit | commitdiff | tree | snapshot
2009-11-06 vijay_ganeshminor changes commit | commitdiff | tree | snapshot
2009-11-06 vijay_ganeshfixed a memory-leak introduced during the process of... commit | commitdiff | tree | snapshot
2009-11-06 trevor_hansenFix memory leaks triggered by capi testcase 15 (x.c). commit | commitdiff | tree | snapshot
2009-11-06 trevor_hansen* Fix memory leaks in the c-api for testcases 11 &... commit | commitdiff | tree | snapshot
2009-11-06 trevor_hansenRead the global STPManager in cleanup(), rather than... commit | commitdiff | tree | snapshot
2009-11-06 trevor_hansenReduce the number of iterations that the leak checking... commit | commitdiff | tree | snapshot
2009-11-06 trevor_hansenBugfix. Add explicit delete of expressions to test... commit | commitdiff | tree | snapshot
2009-11-05 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-11-05 vijay_ganeshadded xor clause adding to cryptominisat. still being... commit | commitdiff | tree | snapshot
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
next
STP Constraint Solver.