]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c11d70) | patch
Refactor. First step in moving the parser interface to be the cpp interface.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 24 Jan 2012 00:38:46 +0000 (00:38 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 24 Jan 2012 00:38:46 +0000 (00:38 +0000)
commitc6ce9180c6a545f02329ce35f533cfd1784f120a
tree9ad848e8bb89fee860d944997d10d02428db9db7tree | snapshot
parent7c11d707b93191e50f5372f8506b70ba352830e3commit | diff
Refactor. First step in moving the parser interface to be the cpp interface.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1516 e59a4935-1847-0410-ae03-e826735625c1
12 files changed:
scripts/Makefile.in diff | blob | history
src/c_interface/c_interface.cpp diff | blob | history
src/cpp_interface/Makefile [new file with mode: 0644] blob
src/cpp_interface/cpp_interface.cpp [new file with mode: 0644] blob
src/cpp_interface/cpp_interface.h [moved from src/parser/ParserInterface.h with 67% similarity] diff | blob | history
src/main/main.cpp diff | blob | history
src/parser/cvc.lex diff | blob | history
src/parser/cvc.y diff | blob | history
src/parser/smt.lex diff | blob | history
src/parser/smt.y diff | blob | history
src/parser/smt2.lex diff | blob | history
src/parser/smt2.y diff | blob | history
STP Constraint Solver.