| 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 |
| 2009-11-16 |
vijay_ganesh | added info about installation regression in README |
commit | commitdiff | tree | snapshot |
| 2009-11-16 |
vijay_ganesh | added a very basic regression so that users can check... |
commit | commitdiff | tree | snapshot |
| 2009-11-14 |
xiw | fixed a crash in parser. |
commit | commitdiff | tree | snapshot |
| 2009-11-13 |
vijay_ganesh | minor edits |
commit | commitdiff | tree | snapshot |
| 2009-11-13 |
vijay_ganesh | fixed the flex-related bug |
commit | commitdiff | tree | snapshot |
| 2009-11-13 |
vijay_ganesh | more deadcode eliminated |
commit | commitdiff | tree | snapshot |
| 2009-11-13 |
vijay_ganesh | removed some deadcode relating to previous versions... |
commit | commitdiff | tree | snapshot |
| 2009-11-12 |
vijay_ganesh | fixed a bug in the CVC parser. It was allowing the... |
commit | commitdiff | tree | snapshot |
| 2009-11-12 |
vijay_ganesh | first round of cryptominisat integration is complete |
commit | commitdiff | tree | snapshot |
| 2009-11-12 |
katelman | Fixed a couple of bugs in the way that we do clause... |
commit | commitdiff | tree | snapshot |
| 2009-11-09 |
vijay_ganesh | calling CRYPTOMINISAT Simplify() before calling Solve() |
commit | commitdiff | tree | snapshot |
| 2009-11-09 |
vijay_ganesh | fixed some slowdowns |
commit | commitdiff | tree | snapshot |
| 2009-11-09 |
trevor_hansen | Revert to version #390, didn't mean to checkin this... |
commit | commitdiff | tree | snapshot |
| 2009-11-09 |
trevor_hansen | Option currently disabled. To not use Tseitin variables... |
commit | commitdiff | tree | snapshot |
| 2009-11-08 |
trevor_hansen | Add extra dependencies required for parallel build. |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
vijay_ganesh | minor changes |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
vijay_ganesh | fixed a memory-leak introduced during the process of... |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
trevor_hansen | Fix 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_hansen | Read the global STPManager in cleanup(), rather than... |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
trevor_hansen | Reduce the number of iterations that the leak checking... |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
trevor_hansen | Bugfix. Add explicit delete of expressions to test... |
commit | commitdiff | tree | snapshot |
| 2009-11-05 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| 2009-11-05 |
vijay_ganesh | added xor clause adding to cryptominisat. still being... |
commit | commitdiff | tree | snapshot |
| 2009-11-04 |
trevor_hansen | Bugfixes. |
commit | commitdiff | tree | snapshot |
| 2009-11-04 |
trevor_hansen | Bugfix. memory leak. |
commit | commitdiff | tree | snapshot |
| 2009-11-04 |
trevor_hansen | Bugfix. A leak in simplifier. |
commit | commitdiff | tree | snapshot |
| 2009-11-03 |
vijay_ganesh | added fix so that STP can read back its SMTLIB printout |
commit | commitdiff | tree | snapshot |
| 2009-11-03 |
vijay_ganesh | minor edit |
commit | commitdiff | tree | snapshot |
| next |
projects / francis / stp.git / shortlog