]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7eac78) | patch
Improvement. The SMT-LIB2 parser no longer stores a copy of the asserts/query locally...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 26 Jan 2012 05:04:55 +0000 (05:04 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 26 Jan 2012 05:04:55 +0000 (05:04 +0000)
commit8f9621c02a0d8a701fd1bf2b3cf51042204f4027
treefffaac7659ada675829e757475f717bc464662f0tree | snapshot
parentf7eac78d33f49f5dd7c6155931a6d086769cc8a6commit | diff
Improvement. The SMT-LIB2 parser no longer stores a copy of the asserts/query locally. It uses the stored one.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1525 e59a4935-1847-0410-ae03-e826735625c1
src/STPManager/STPManager.cpp diff | blob | history
src/STPManager/STPManager.h diff | blob | history
src/cpp_interface/cpp_interface.cpp diff | blob | history
src/cpp_interface/cpp_interface.h diff | blob | history
src/main/main.cpp diff | blob | history
src/parser/smt2.y diff | blob | history
STP Constraint Solver.