| 2010-01-18 |
trevor_hansen | Fix some leaks |
commit | commitdiff | tree | snapshot |
| 2010-01-11 |
trevor_hansen | Bugfix. Simplifying minisat not setting a return code... |
commit | commitdiff | tree | snapshot |
| 2010-01-10 |
vijay_ganesh | BitBlast.cpp: Was generating XOR-clauses by default... |
commit | commitdiff | tree | snapshot |
| 2010-01-09 |
vijay_ganesh | minor modification to Makefile.common to isolate some... |
commit | commitdiff | tree | snapshot |
| 2010-01-07 |
xiw | avoid UINT32_MAX redefinition warning |
commit | commitdiff | tree | snapshot |
| 2009-12-25 |
msoos | Updating CMS2 to r686 |
commit | commitdiff | tree | snapshot |
| 2009-12-24 |
msoos | Updating to CMS2 r 685, fixing some bugs and doing... |
commit | commitdiff | tree | snapshot |
| 2009-12-22 |
msoos | Updating CMS2 to r681, fixing multiple bugs, and adding... |
commit | commitdiff | tree | snapshot |
| 2009-12-16 |
msoos | Updating CryptoMiniSat2 to r656 |
commit | commitdiff | tree | snapshot |
| 2009-12-16 |
trevor_hansen | Fix simplifying minisat. Previously when the SIMP flag... |
commit | commitdiff | tree | snapshot |
| 2009-12-11 |
vijay_ganesh | accidental Makefile.common commit |
commit | commitdiff | tree | snapshot |
| 2009-12-11 |
vijay_ganesh | branched STP into a programmable branch. Add programmab... |
commit | commitdiff | tree | snapshot |
| 2009-12-11 |
vijay_ganesh | fixed erroneous checkin. reverted NOT functionality... |
commit | commitdiff | tree | snapshot |
| 2009-12-11 |
vijay_ganesh | converting NOT(a) into XOR(a, true). Helps with bio... |
commit | commitdiff | tree | snapshot |
| 2009-12-10 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-10 |
vijay_ganesh | added some relatively hard bio examples |
commit | commitdiff | tree | snapshot |
| 2009-12-10 |
vijay_ganesh | Set RenameAllSibs Flag to false. It was slowing down bio |
commit | commitdiff | tree | snapshot |
| 2009-12-10 |
vijay_ganesh | made -fPIC and -march=native optional |
commit | commitdiff | tree | snapshot |
| 2009-12-10 |
msoos | Updating CryptoMiniSat2 to r614. dynamicRestart is... |
commit | commitdiff | tree | snapshot |
| 2009-12-09 |
vijay_ganesh | added SAT verbosity to statistics option |
commit | commitdiff | tree | snapshot |
| 2009-12-09 |
vijay_ganesh | added -fPIC flag for Java programs that want to use... |
commit | commitdiff | tree | snapshot |
| 2009-12-09 |
vijay_ganesh | fixed the bug in CNF translation that caused test000013... |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | good options of CMS2 set |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | fixed compile error on MacOS X |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | clausal bucketing back in business |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | completely got rid of abs-refine at boolean clausal... |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | fixed a small bug in cryptominisat2 |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
msoos | Updating CryptoMiniSat to r594. dynamicRestarts is... |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | minor edits |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | completed the cnf dumping feature. it works |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | added cnf dumping facility |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-08 |
msoos | Updating CryptoMiniSat to r586. Need to call 'void... |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
msoos | Updating CryptoMiniSat to r579, fixing a small bug... |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | XOR output for ITE |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
msoos | Updating CryptoMiniSat2 to r577 |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | added a regression script for synthesis tests |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
msoos | Updating CryptoMiniSat to r565. Should solve the proble... |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-07 |
vijay_ganesh | cryptominisat2 is now the official SAT solver of STP |
commit | commitdiff | tree | snapshot |
| 2009-12-06 |
vijay_ganesh | added option to that allows STP to give randomized... |
commit | commitdiff | tree | snapshot |
| 2009-12-06 |
msoos | Updating CryptoMiniSat to SVN r561, fixing a log of... |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | changed the way BVDIV is bitblasted |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | added one more test in stp-tests |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | compressed some of the larger bio tests |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | added some small bio examples |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | added lots of synthesis tests, and crypto tests |
commit | commitdiff | tree | snapshot |
| 2009-12-05 |
vijay_ganesh | lots of changes aimed at CryptoMiniSAT2 |
commit | commitdiff | tree | snapshot |
| 2009-12-04 |
msoos | Updating to cryptominisat2 git revision 63f0b6f7e492775... |
commit | commitdiff | tree | snapshot |
| 2009-12-04 |
msoos | Updating CryptoMiniSat to r519. Should fix problems... |
commit | commitdiff | tree | snapshot |
| 2009-12-04 |
vijay_ganesh | reverted back the changes |
commit | commitdiff | tree | snapshot |
| 2009-12-04 |
vijay_ganesh | played with cryptominisat parameters to improve performance |
commit | commitdiff | tree | snapshot |
| 2009-12-03 |
vijay_ganesh | more xor-clausing for equality and BVLE/BVLT etc |
commit | commitdiff | tree | snapshot |
| 2009-12-02 |
msoos | Disabling var-replacer feature of CryptoMiniSat to... |
commit | commitdiff | tree | snapshot |
| 2009-12-02 |
msoos | Updating CryptoMiniSat2 to r504, fixing all known bugs |
commit | commitdiff | tree | snapshot |
| 2009-12-02 |
vijay_ganesh | removed a broken test |
commit | commitdiff | tree | snapshot |
| 2009-12-02 |
vijay_ganesh | added -march=native as compile option |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | Revert "CryptoMiniSat2 is using the same MTL and MTRand... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | Revert "Sorry, Solver.h's #include directive wasn't... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | Updating CryptoMiniSat2 to r494. The only difference... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | Sorry, Solver.h's #include directive wasn't cleaned... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
vijay_ganesh | commented out clause dumping during debug-printing |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | CryptoMiniSat2 is using the same MTL and MTRand directo... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | Reverting commit no r435. Adding 'using namespace std... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
msoos | Fixing problem with CRYPTOMINSAT2 from an STP point... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
vijay_ganesh | added some more crypto examples |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
vijay_ganesh | fixed compile error on certain gcc versions. added... |
commit | commitdiff | tree | snapshot |
| 2009-12-01 |
vijay_ganesh | added crypto tests |
commit | commitdiff | tree | snapshot |
| 2009-11-30 |
vijay_ganesh | fixed compile/link issues with cryptominisat version 2.0 |
commit | commitdiff | tree | snapshot |
| 2009-11-30 |
msoos | Updating cryptominsat2 to revision r483. Multiple perfo... |
commit | commitdiff | tree | snapshot |
| 2009-11-27 |
msoos | MTRand directory was not included in the search path... |
commit | commitdiff | tree | snapshot |
| 2009-11-27 |
msoos | CryptoMiniSat2's Makefile had the same mistake as the... |
commit | commitdiff | tree | snapshot |
| 2009-11-27 |
msoos | Adding Cryptominisat Version 2 |
commit | commitdiff | tree | snapshot |
| 2009-11-26 |
vijay_ganesh | Significant good changes to SAT makefiles by Mate.... |
commit | commitdiff | tree | snapshot |
| 2009-11-26 |
msoos | Removing template.mk completely, and replacing it with... |
commit | commitdiff | tree | snapshot |
| 2009-11-26 |
msoos | cryptominisat's Makefile had its 'clean' missing |
commit | commitdiff | tree | snapshot |
| 2009-11-26 |
msoos | Renaming of cryptominisat-files, and creating a proper... |
commit | commitdiff | tree | snapshot |
| 2009-11-25 |
vijay_ganesh | added variable right shift to the CVC parser |
commit | commitdiff | tree | snapshot |
| 2009-11-24 |
vijay_ganesh | added symbolic link in include/stp/c_interface.h to... |
commit | commitdiff | tree | snapshot |
| 2009-11-20 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-11-20 |
vijay_ganesh | minor edit to the Clausal abstraction limit |
commit | commitdiff | tree | snapshot |
| 2009-11-19 |
vijay_ganesh | fixed some bugs in the user-guided refinement implement... |
commit | commitdiff | tree | snapshot |
| 2009-11-19 |
vijay_ganesh | minor edits to the user-guided absrefine example |
commit | commitdiff | tree | snapshot |
| 2009-11-18 |
vijay_ganesh | added a testcase for userguided refinement |
commit | commitdiff | tree | snapshot |
| 2009-11-18 |
vijay_ganesh | added ability to generate xor-clauses with negation... |
commit | commitdiff | tree | snapshot |
| 2009-11-18 |
vijay_ganesh | userguided abstraction-refinement is now at the toplevel |
commit | commitdiff | tree | snapshot |
| 2009-11-17 |
vijay_ganesh | added an experimental user-guided abstraction-refinemen... |
commit | commitdiff | tree | snapshot |
| 2009-11-17 |
vijay_ganesh | user-defined abstraction refinement basic functions... |
commit | commitdiff | tree | snapshot |
| 2009-11-16 |
vijay_ganesh | added code to facilitate user-guided abstraction-refinement |
commit | commitdiff | tree | snapshot |
| 2009-11-16 |
vijay_ganesh | minor edits to README |
commit | commitdiff | tree | snapshot |
| 2009-11-16 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| next |
projects / francis / stp.git / shortlog