]> 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-16 trevor_hansenFix simplifying minisat. Previously when the SIMP flag... commit | commitdiff | tree | snapshot
2009-12-11 vijay_ganeshaccidental Makefile.common commit commit | commitdiff | tree | snapshot
2009-12-11 vijay_ganeshbranched STP into a programmable branch. Add programmab... commit | commitdiff | tree | snapshot
2009-12-11 vijay_ganeshfixed erroneous checkin. reverted NOT functionality... commit | commitdiff | tree | snapshot
2009-12-11 vijay_ganeshconverting NOT(a) into XOR(a, true). Helps with bio... commit | commitdiff | tree | snapshot
2009-12-10 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-10 vijay_ganeshadded some relatively hard bio examples commit | commitdiff | tree | snapshot
2009-12-10 vijay_ganeshSet RenameAllSibs Flag to false. It was slowing down bio commit | commitdiff | tree | snapshot
2009-12-10 vijay_ganeshmade -fPIC and -march=native optional commit | commitdiff | tree | snapshot
2009-12-10 msoosUpdating CryptoMiniSat2 to r614. dynamicRestart is... commit | commitdiff | tree | snapshot
2009-12-09 vijay_ganeshadded SAT verbosity to statistics option commit | commitdiff | tree | snapshot
2009-12-09 vijay_ganeshadded -fPIC flag for Java programs that want to use... commit | commitdiff | tree | snapshot
2009-12-09 vijay_ganeshfixed the bug in CNF translation that caused test000013... commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshgood options of CMS2 set commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshfixed compile error on MacOS X commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshclausal bucketing back in business commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshcompletely got rid of abs-refine at boolean clausal... commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshfixed a small bug in cryptominisat2 commit | commitdiff | tree | snapshot
2009-12-08 msoosUpdating CryptoMiniSat to r594. dynamicRestarts is... commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshcompleted the cnf dumping feature. it works commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshadded cnf dumping facility commit | commitdiff | tree | snapshot
2009-12-08 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-08 msoosUpdating CryptoMiniSat to r586. Need to call 'void... commit | commitdiff | tree | snapshot
2009-12-07 msoosUpdating CryptoMiniSat to r579, fixing a small bug... commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshXOR output for ITE commit | commitdiff | tree | snapshot
2009-12-07 msoosUpdating CryptoMiniSat2 to r577 commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshadded a regression script for synthesis tests commit | commitdiff | tree | snapshot
2009-12-07 msoosUpdating CryptoMiniSat to r565. Should solve the proble... commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshminor edit commit | commitdiff | tree | snapshot
2009-12-07 vijay_ganeshcryptominisat2 is now the official SAT solver of STP commit | commitdiff | tree | snapshot
2009-12-06 vijay_ganeshadded option to that allows STP to give randomized... commit | commitdiff | tree | snapshot
2009-12-06 msoosUpdating CryptoMiniSat to SVN r561, fixing a log of... commit | commitdiff | tree | snapshot
2009-12-05 vijay_ganeshchanged the way BVDIV is bitblasted 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 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
next
STP Constraint Solver.