]> 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-12-05 vijay_ganeshadded one more test in stp-tests commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshcompressed some of the larger bio tests commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshadded some small bio examples commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshadded lots of synthesis tests, and crypto tests commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshlots of changes aimed at CryptoMiniSAT2 commit | commitdiff | tree | snapshot
2009-12-04 msoosUpdating to cryptominisat2 git revision 63f0b6f7e492775... commit | commitdiff | tree | snapshot
2009-12-04 msoosUpdating CryptoMiniSat to r519. Should fix problems... commit | commitdiff | tree | snapshot
2009-12-04 vijay_ganeshreverted back the changes commit | commitdiff | tree | snapshot
2009-12-04 vijay_ganeshplayed with cryptominisat parameters to improve performance commit | commitdiff | tree | snapshot
2009-12-03 vijay_ganeshmore xor-clausing for equality and BVLE/BVLT etc commit | commitdiff | tree | snapshot
2009-12-02 msoosDisabling var-replacer feature of CryptoMiniSat to... commit | commitdiff | tree | snapshot
2009-12-02 msoosUpdating CryptoMiniSat2 to r504, fixing all known bugs commit | commitdiff | tree | snapshot
2009-12-02 vijay_ganeshremoved a broken test commit | commitdiff | tree | snapshot
2009-12-02 vijay_ganeshadded -march=native as compile option commit | commitdiff | tree | snapshot
2009-12-01 msoosRevert "CryptoMiniSat2 is using the same MTL and MTRand... commit | commitdiff | tree | snapshot
2009-12-01 msoosRevert "Sorry, Solver.h's #include directive wasn't... commit | commitdiff | tree | snapshot
2009-12-01 msoosUpdating CryptoMiniSat2 to r494. The only difference... commit | commitdiff | tree | snapshot
2009-12-01 msoosSorry, Solver.h's #include directive wasn't cleaned... commit | commitdiff | tree | snapshot
2009-12-01 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-01 vijay_ganeshcommented out clause dumping during debug-printing commit | commitdiff | tree | snapshot
2009-12-01 msoosCryptoMiniSat2 is using the same MTL and MTRand directo... commit | commitdiff | tree | snapshot
2009-12-01 msoosReverting commit no r435. Adding 'using namespace std... commit | commitdiff | tree | snapshot
2009-12-01 msoosFixing problem with CRYPTOMINSAT2 from an STP point... commit | commitdiff | tree | snapshot
2009-12-01 vijay_ganeshadded some more crypto examples commit | commitdiff | tree | snapshot
2009-12-01 vijay_ganeshfixed compile error on certain gcc versions. added... commit | commitdiff | tree | snapshot
2009-12-01 vijay_ganeshadded crypto tests commit | commitdiff | tree | snapshot
2009-11-30 vijay_ganeshfixed compile/link issues with cryptominisat version 2.0 commit | commitdiff | tree | snapshot
2009-11-30 msoosUpdating cryptominsat2 to revision r483. Multiple perfo... commit | commitdiff | tree | snapshot
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
next
STP Constraint Solver.