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

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

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