| 2009-08-31 |
vijay_ganesh | minor edits |
commit | commitdiff | tree | snapshot |
| 2009-08-31 |
vijay_ganesh | removed SMTLIB C-flag |
commit | commitdiff | tree | snapshot |
| 2009-08-30 |
trevor_hansen | When using the SMT parser (x % 0) and (x /0) both evalu... |
commit | commitdiff | tree | snapshot |
| 2009-08-29 |
trevor_hansen | * Test file generator for mul, div, rem. |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | made some minor edits to info files |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | comments added to vc_cvcParseExpr in c_interface |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | minor Makefile edits |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | Changed Makefile so that cvc/smt/c-api regressions... |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | Introduced a C API regression option 'make regress_c_ap... |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | Got rid of the annoying warning in AST.cpp compilation... |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | More minor changes to Makefiles. Added Unsound |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | More minor changes to Makefiles. Added Unsound |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | added FOR loop construct to parser. |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
vijay_ganesh | Minor changes to make scripts. Since files got moved... |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
trevor_hansen | Fix a small (24 byte) memory leak per call to CNF gener... |
commit | commitdiff | tree | snapshot |
| 2009-08-27 |
trevor_hansen | Moving the Lisp & Presentation Language (PL) printers... |
commit | commitdiff | tree | snapshot |
| 2009-08-24 |
trevor_hansen | * Stop compiler warnings from the smtlib parser. |
commit | commitdiff | tree | snapshot |
| 2009-08-22 |
katelman | Fixed -x bug in the CNF converter, and added a test... |
commit | commitdiff | tree | snapshot |
| 2009-08-21 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-21 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-21 |
vijay_ganesh | added rna2.cvc to tests/bio-tests dir |
commit | commitdiff | tree | snapshot |
| 2009-08-21 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-18 |
vijay_ganesh | added an option for pure binary printing |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-14 |
vijay_ganesh | added directory for QF_BV examples |
commit | commitdiff | tree | snapshot |
| 2009-08-13 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-12 |
vijay_ganesh | minor changes |
commit | commitdiff | tree | snapshot |
| 2009-08-12 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-12 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-12 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-12 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-12 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | moved regression logs and TALKS directories |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | moved sources into the src directory |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
vijay_ganesh | made some changes to the MiniSAT Makefiles |
commit | commitdiff | tree | snapshot |
| 2009-08-11 |
trevor_hansen | Improve type checking for BVZX & BVSX. |
commit | commitdiff | tree | snapshot |
| 2009-08-07 |
vijay_ganesh | added some smt tests as sample for users |
commit | commitdiff | tree | snapshot |
| 2009-08-01 |
trevor_hansen | I broke the division family in #100. Fixing. |
commit | commitdiff | tree | snapshot |
| 2009-08-01 |
trevor_hansen | Hack to avoid some of the division by zero errors that... |
commit | commitdiff | tree | snapshot |
| 2009-08-01 |
trevor_hansen | Clear the simplify maps after each transformation of... |
commit | commitdiff | tree | snapshot |
| 2009-07-29 |
trevor_hansen | Pull up ITEs when two ITEs with the same conditional... |
commit | commitdiff | tree | snapshot |
| 2009-07-29 |
trevor_hansen | Fix some write over ite cases. |
commit | commitdiff | tree | snapshot |
| 2009-07-28 |
trevor_hansen | Fixes defects in how arrays, especially writes over... |
commit | commitdiff | tree | snapshot |
| 2009-07-27 |
trevor_hansen | Signed right shift is implemented. Disable two very... |
commit | commitdiff | tree | snapshot |
| 2009-07-27 |
trevor_hansen | Implementation of rotate_left & rotate_right |
commit | commitdiff | tree | snapshot |
| 2009-07-27 |
trevor_hansen | Partial fix of bvsmod, bvsrem. Both operations still... |
commit | commitdiff | tree | snapshot |
| 2009-07-25 |
trevor_hansen | No semantic change. Automatically layout the code using... |
commit | commitdiff | tree | snapshot |
| 2009-07-23 |
trevor_hansen | Fix for: "array_simple_broken.smt" values were incorrec... |
commit | commitdiff | tree | snapshot |
| 2009-07-23 |
trevor_hansen | * When parsing SMTLIB format. Consider :formula and... |
commit | commitdiff | tree | snapshot |
| 2009-07-21 |
trevor_hansen | * In SMTLIB parsing mode, warn if the expected and... |
commit | commitdiff | tree | snapshot |
| 2009-07-16 |
trevor_hansen | Move printers to a new namespace. Create a DOT graph... |
commit | commitdiff | tree | snapshot |
| 2009-05-23 |
trevor_hansen | Propositional ITEs as per SMTLIB. |
commit | commitdiff | tree | snapshot |
| 2009-05-23 |
trevor_hansen | Updating install message to describe how to get the... |
commit | commitdiff | tree | snapshot |
| 2009-05-23 |
trevor_hansen | Removing the "broken" directory. The contents of this... |
commit | commitdiff | tree | snapshot |
| 2009-05-10 |
ar2rd | Fixed path to testcases in bin_tests.smt to use curren... |
commit | commitdiff | tree | snapshot |
| 2009-05-08 |
trevor_hansen | bug-fix. Disable rewritting multiplication by constants |
commit | commitdiff | tree | snapshot |
| 2009-04-28 |
trevor_hansen | bug fix. Falling through BVMULT as it should. Removing... |
commit | commitdiff | tree | snapshot |
| 2009-04-28 |
katelman | make regress now points to ../../stp-tests/test |
commit | commitdiff | tree | snapshot |
| 2009-04-27 |
katelman | IMPORTANT: |
commit | commitdiff | tree | snapshot |
| 2009-04-19 |
trevor_hansen | small bug fixes for problems introduced the last checkin. |
commit | commitdiff | tree | snapshot |
| 2009-04-18 |
trevor_hansen | Simplifications to speed up convert-tiff2jpg-query... |
commit | commitdiff | tree | snapshot |
| 2009-04-11 |
trevor_hansen | Reset simplify and expression hashmaps when clearing. |
commit | commitdiff | tree | snapshot |
| 2009-03-23 |
vijay_ganesh | changed Makefile.in |
commit | commitdiff | tree | snapshot |
| 2009-02-13 |
smccam | Fix a couple of memory leaks that existed even if you did |
commit | commitdiff | tree | snapshot |
| 2009-02-13 |
smccam | svn:ignore some new automatically-generated source... |
commit | commitdiff | tree | snapshot |
| 2009-02-04 |
pgbovine | added functionality for converting CVC to C code |
commit | commitdiff | tree | snapshot |
| 2009-02-02 |
vijay_ganesh | fixed Makefile.in |
commit | commitdiff | tree | snapshot |
| 2009-01-16 |
trevor_hansen | USER VISIBLE CHANGE: smtlib parser now enabled with... |
commit | commitdiff | tree | snapshot |
| 2009-01-13 |
trevor_hansen | Fix off-by-one in bitvector right shift. |
commit | commitdiff | tree | snapshot |
| 2009-01-12 |
trevor_hansen | Right shift by a variable amount. Add two broken SMT... |
commit | commitdiff | tree | snapshot |
| 2009-01-11 |
trevor_hansen | Allow >32-bit bit-vector constants on 32-bit machines. |
commit | commitdiff | tree | snapshot |
| 2009-01-06 |
trevor_hansen | Left shift, >32 bit constants, fixed zero_extend, fixed... |
commit | commitdiff | tree | snapshot |
| 2009-01-06 |
trevor_hansen | Added zero_extend function. Renamed bvdiv to bvudiv... |
commit | commitdiff | tree | snapshot |
| 2009-01-06 |
trevor_hansen | Fix compiling of the SMT-LIB Parser, Fix regression... |
commit | commitdiff | tree | snapshot |
| 2008-12-30 |
katelman | Fixed correctness bug in TermToConstTermUsingModel... |
commit | commitdiff | tree | snapshot |
| 2008-12-18 |
vijay_ganesh | added parsing capability in c_interface |
commit | commitdiff | tree | snapshot |
| 2008-12-18 |
vijay_ganesh | added parsing capability in c_interface |
commit | commitdiff | tree | snapshot |
| 2008-11-19 |
vijay_ganesh | added some slow tests |
commit | commitdiff | tree | snapshot |
| 2008-11-18 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2008-11-18 |
vijay_ganesh | git-svn-id: https://stp-fast-prover.svn.sourceforge... |
commit | commitdiff | tree | snapshot |
| 2008-11-18 |
katelman | actually pushing this copy out for realase... |
commit | commitdiff | tree | snapshot |
| 2008-11-18 |
katelman | More test directory cleanup. This version will be released. |
commit | commitdiff | tree | snapshot |
| 2008-10-31 |
smccam | Add an OPTIMIZE Makefile flag to make it easier to... |
commit | commitdiff | tree | snapshot |
| 2008-10-31 |
smccam | Add -DTR1_UNORDERED_MAP, analogous to -DEXT_HASH_MAP... |
commit | commitdiff | tree | snapshot |
| 2008-10-31 |
smccam | Die with an explicit error message if the user tries... |
commit | commitdiff | tree | snapshot |
| 2008-10-31 |
smccam | Add svn:ignore properties for a number of files that... |
commit | commitdiff | tree | snapshot |
| next |
projects / francis / stp.git / shortlog