]> 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-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
2009-04-27 katelmanIMPORTANT: commit | commitdiff | tree | snapshot
2009-04-19 trevor_hansensmall bug fixes for problems introduced the last checkin. commit | commitdiff | tree | snapshot
2009-04-18 trevor_hansenSimplifications to speed up convert-tiff2jpg-query... commit | commitdiff | tree | snapshot
2009-04-11 trevor_hansenReset simplify and expression hashmaps when clearing. commit | commitdiff | tree | snapshot
2009-03-23 vijay_ganeshchanged Makefile.in commit | commitdiff | tree | snapshot
2009-02-13 smccamFix a couple of memory leaks that existed even if you did commit | commitdiff | tree | snapshot
2009-02-13 smccamsvn:ignore some new automatically-generated source... commit | commitdiff | tree | snapshot
2009-02-04 pgbovineadded functionality for converting CVC to C code commit | commitdiff | tree | snapshot
2009-02-02 vijay_ganeshfixed Makefile.in commit | commitdiff | tree | snapshot
2009-01-16 trevor_hansenUSER VISIBLE CHANGE: smtlib parser now enabled with... commit | commitdiff | tree | snapshot
2009-01-13 trevor_hansenFix off-by-one in bitvector right shift. commit | commitdiff | tree | snapshot
2009-01-12 trevor_hansenRight shift by a variable amount. Add two broken SMT... commit | commitdiff | tree | snapshot
2009-01-11 trevor_hansenAllow >32-bit bit-vector constants on 32-bit machines. commit | commitdiff | tree | snapshot
2009-01-06 trevor_hansenLeft shift, >32 bit constants, fixed zero_extend, fixed... commit | commitdiff | tree | snapshot
2009-01-06 trevor_hansenAdded zero_extend function. Renamed bvdiv to bvudiv... commit | commitdiff | tree | snapshot
2009-01-06 trevor_hansenFix compiling of the SMT-LIB Parser, Fix regression... commit | commitdiff | tree | snapshot
2008-12-30 katelmanFixed correctness bug in TermToConstTermUsingModel... commit | commitdiff | tree | snapshot
2008-12-18 vijay_ganeshadded parsing capability in c_interface commit | commitdiff | tree | snapshot
2008-12-18 vijay_ganeshadded parsing capability in c_interface commit | commitdiff | tree | snapshot
2008-11-19 vijay_ganeshadded some slow tests commit | commitdiff | tree | snapshot
2008-11-18 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2008-11-18 vijay_ganeshgit-svn-id: https://stp-fast-prover.svn.sourceforge... commit | commitdiff | tree | snapshot
2008-11-18 katelmanactually pushing this copy out for realase... commit | commitdiff | tree | snapshot
2008-11-18 katelmanMore test directory cleanup. This version will be released. commit | commitdiff | tree | snapshot
2008-10-31 smccamAdd an OPTIMIZE Makefile flag to make it easier to... commit | commitdiff | tree | snapshot
2008-10-31 smccamAdd -DTR1_UNORDERED_MAP, analogous to -DEXT_HASH_MAP... commit | commitdiff | tree | snapshot
2008-10-31 smccamDie with an explicit error message if the user tries... commit | commitdiff | tree | snapshot
2008-10-31 smccamAdd svn:ignore properties for a number of files that... commit | commitdiff | tree | snapshot
2008-10-31 smccamRemove from SVN files that are automatically generated... commit | commitdiff | tree | snapshot
2008-10-31 smccamFix a couple of apparent precedence problems in AST... commit | commitdiff | tree | snapshot
2008-10-31 smccamInclude <cstring> in ASTUtil.h, for its use of strcmp... commit | commitdiff | tree | snapshot
2008-10-22 katelmanRound $n$ as I try to incorporate my work from the... commit | commitdiff | tree | snapshot
STP Constraint Solver.