]> 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-09-16 vijay_ganeshminor edits. Lot more work remains in optimizing FOR... commit | commitdiff | tree | snapshot
2009-09-15 trevor_hansenFixes an off-by-one defect introduced in #230 commit | commitdiff | tree | snapshot
2009-09-15 trevor_hansen* Add signed & unsigned shifts to a test generator commit | commitdiff | tree | snapshot
2009-09-15 trevor_hansenThe constant evaluator can now evaluate shifts by amoun... commit | commitdiff | tree | snapshot
2009-09-14 trevor_hansen* Build by defualt a 32-bit executable. commit | commitdiff | tree | snapshot
2009-09-14 trevor_hansenThe result of the -t option (quick statistics), also... commit | commitdiff | tree | snapshot
2009-09-14 trevor_hansenAdd a new class for tracking the runtimes. e.g. Simplif... commit | commitdiff | tree | snapshot
2009-09-13 vijay_ganeshadded FOR-construct tests commit | commitdiff | tree | snapshot
2009-09-13 vijay_ganeshadded parameterized boolean variables commit | commitdiff | tree | snapshot
2009-09-12 vijay_ganeshsome changes to abs-refinement commit | commitdiff | tree | snapshot
2009-09-11 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-11 vijay_ganeshfixed some issues with FOR-construct commit | commitdiff | tree | snapshot
2009-09-10 vijay_ganeshAdded EXCEPT construct for the FOR-construct commit | commitdiff | tree | snapshot
2009-09-10 trevor_hansenRough version of smtlib print back. The output version... commit | commitdiff | tree | snapshot
2009-09-10 trevor_hansenImprove dependency generation: commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshmoved bitvec directory to const-evaluator. moved consta... commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshFor-construct seems to be working commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshThere was link error due to versionString.cpp. It has... commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-09 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Use svnversion at build time to insert the current... commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Flatten AND, OR & BVPLUS completely via SimplifyTerm commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Automatically build dependencies during make. This... commit | commitdiff | tree | snapshot
2009-09-09 trevor_hansen* Delete the bvsolver object as soon as we're finished... commit | commitdiff | tree | snapshot
2009-09-08 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshadded new directories abstraction-refinement and to... commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshemacs indentation done commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshcoded up abstraction-refinement commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-09-07 vijay_ganeshchanged regression names commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshchanged regressall to regresscvc commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshAdded capability to print back CVC-language input to STP commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshadded vc_ExtractBit_One commit | commitdiff | tree | snapshot
2009-09-06 vijay_ganeshminor changes to c_interface commit | commitdiff | tree | snapshot
2009-09-06 trevor_hansenAdding SVN property to replace $Id$ with the version... commit | commitdiff | tree | snapshot
2009-09-06 trevor_hansen* Update the AST/Makefile to automatically build a... commit | commitdiff | tree | snapshot
2009-09-05 vijay_ganeshadding printback code. commit | commitdiff | tree | snapshot
2009-09-05 vijay_ganeshchanged the smt parser as well to return objects commit | commitdiff | tree | snapshot
2009-09-04 vijay_ganeshMajor code refactoring. Moved main.cpp to main. Globals... commit | commitdiff | tree | snapshot
2009-09-04 vijay_ganeshcleaned up FOR-construct parsing, and printing commit | commitdiff | tree | snapshot
2009-09-04 vijay_ganeshBasic finite-FOR loop coded up. Testing/Debugging under way commit | commitdiff | tree | snapshot
2009-09-04 trevor_hansenHeader file I meant to checkin with #180 commit | commitdiff | tree | snapshot
2009-09-04 trevor_hansen* The prior version would not compile without -NDEBUG... commit | commitdiff | tree | snapshot
2009-09-04 trevor_hansenReverted to version 164. I didn't realise Vijay runs... commit | commitdiff | tree | snapshot
2009-09-04 trevor_hansen* Whitespace changes to reduce compiler warnings. commit | commitdiff | tree | snapshot
2009-09-04 trevor_hansen* Remove NEQ. NEQ is converted by the CVC parser into... commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshadded enum for Solver returntype commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshmore cleanup commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshmore cleanup commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshmoved many BeevMgr and related classes print functions... commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshmoved many BeevMgr and related classes print functions... commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshadded scripts to do emacs formatting commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshMoved abstraction refinement function to a separate... commit | commitdiff | tree | snapshot
2009-09-03 vijay_ganeshlots of small useful edits. Has some untested FOR-const... commit | commitdiff | tree | snapshot
2009-09-03 trevor_hansenAdding version number to help output of the binary. commit | commitdiff | tree | snapshot
2009-09-03 trevor_hansenTrying to get version number in the executable commit | commitdiff | tree | snapshot
2009-09-03 trevor_hansenSetting svn:keywords property on main.cpp. Trying to... commit | commitdiff | tree | snapshot
2009-09-02 vijay_ganeshRemoved lots of useless code. The FOR loop code is... commit | commitdiff | tree | snapshot
2009-09-02 trevor_hansenDeleting SimplifyTermAux(), which seems redundant. commit | commitdiff | tree | snapshot
2009-09-01 trevor_hansen* lhsminusrhs(..) does not perform its simplification... commit | commitdiff | tree | snapshot
2009-08-31 vijay_ganeshminor edits commit | commitdiff | tree | snapshot
2009-08-31 vijay_ganeshremoved SMTLIB C-flag commit | commitdiff | tree | snapshot
2009-08-30 trevor_hansenWhen 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_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshmade some minor edits to info files commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshcomments added to vc_cvcParseExpr in c_interface commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshminor Makefile edits commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshChanged Makefile so that cvc/smt/c-api regressions... commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshIntroduced a C API regression option 'make regress_c_ap... commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshGot rid of the annoying warning in AST.cpp compilation... commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshMore minor changes to Makefiles. Added Unsound commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshMore minor changes to Makefiles. Added Unsound commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshadded FOR loop construct to parser. commit | commitdiff | tree | snapshot
2009-08-28 vijay_ganeshMinor changes to make scripts. Since files got moved... commit | commitdiff | tree | snapshot
2009-08-28 trevor_hansenFix a small (24 byte) memory leak per call to CNF gener... commit | commitdiff | tree | snapshot
2009-08-27 trevor_hansenMoving 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 katelmanFixed -x bug in the CNF converter, and added a test... commit | commitdiff | tree | snapshot
2009-08-21 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-21 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-21 vijay_ganeshadded rna2.cvc to tests/bio-tests dir commit | commitdiff | tree | snapshot
2009-08-21 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-18 vijay_ganeshadded an option for pure binary printing commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-14 vijay_ganeshadded directory for QF_BV examples commit | commitdiff | tree | snapshot
2009-08-13 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-12 vijay_ganeshminor changes commit | commitdiff | tree | snapshot
2009-08-12 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
next
STP Constraint Solver.