]> 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-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
2009-08-12 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-12 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-12 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-12 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshmoved regression logs and TALKS directories commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshmoved sources into the src directory commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2009-08-11 vijay_ganeshmade some changes to the MiniSAT Makefiles commit | commitdiff | tree | snapshot
2009-08-11 trevor_hansenImprove type checking for BVZX & BVSX. commit | commitdiff | tree | snapshot
2009-08-07 vijay_ganeshadded some smt tests as sample for users commit | commitdiff | tree | snapshot
2009-08-01 trevor_hansenI broke the division family in #100. Fixing. commit | commitdiff | tree | snapshot
2009-08-01 trevor_hansenHack to avoid some of the division by zero errors that... commit | commitdiff | tree | snapshot
2009-08-01 trevor_hansenClear the simplify maps after each transformation of... commit | commitdiff | tree | snapshot
2009-07-29 trevor_hansenPull up ITEs when two ITEs with the same conditional... commit | commitdiff | tree | snapshot
2009-07-29 trevor_hansenFix some write over ite cases. commit | commitdiff | tree | snapshot
2009-07-28 trevor_hansenFixes defects in how arrays, especially writes over... commit | commitdiff | tree | snapshot
2009-07-27 trevor_hansenSigned right shift is implemented. Disable two very... commit | commitdiff | tree | snapshot
2009-07-27 trevor_hansenImplementation of rotate_left & rotate_right commit | commitdiff | tree | snapshot
2009-07-27 trevor_hansenPartial fix of bvsmod, bvsrem. Both operations still... commit | commitdiff | tree | snapshot
2009-07-25 trevor_hansenNo semantic change. Automatically layout the code using... commit | commitdiff | tree | snapshot
2009-07-23 trevor_hansenFix 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_hansenMove printers to a new namespace. Create a DOT graph... commit | commitdiff | tree | snapshot
2009-05-23 trevor_hansenPropositional ITEs as per SMTLIB. commit | commitdiff | tree | snapshot
2009-05-23 trevor_hansenUpdating install message to describe how to get the... commit | commitdiff | tree | snapshot
2009-05-23 trevor_hansenRemoving the "broken" directory. The contents of this... commit | commitdiff | tree | snapshot
2009-05-10 ar2rdFixed path to testcases in bin_tests.smt to use curren... commit | commitdiff | tree | snapshot
2009-05-08 trevor_hansenbug-fix. Disable rewritting multiplication by constants commit | commitdiff | tree | snapshot
2009-04-28 trevor_hansenbug fix. Falling through BVMULT as it should. Removing... commit | commitdiff | tree | snapshot
2009-04-28 katelmanmake regress now points to ../../stp-tests/test commit | commitdiff | tree | snapshot
next
STP Constraint Solver.