git.unchartedbackwaters.co.uk Git - francis/stp.git/shortlog

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/shortlog

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
2008-10-31	smccam	Remove from SVN files that are automatically generated...	commit \| commitdiff \| tree \| snapshot
2008-10-31	smccam	Fix a couple of apparent precedence problems in AST...	commit \| commitdiff \| tree \| snapshot
2008-10-31	smccam	Include <cstring> in ASTUtil.h, for its use of strcmp...	commit \| commitdiff \| tree \| snapshot
2008-10-22	katelman	Round $n$ as I try to incorporate my work from the...	commit \| commitdiff \| tree \| snapshot

STP Constraint Solver.

RSS Atom