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

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

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