]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27a821a) | patch
Major code refactoring. Moved main.cpp to main. Globals to Globals.cpp. Also made...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Sep 2009 23:47:29 +0000 (23:47 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 4 Sep 2009 23:47:29 +0000 (23:47 +0000)
commitbdbd94fb1bd6a16a6cacc1246c8dd6d18aead213
treeb9185da3558b72db1fc2bc037c28c8420aea48f6tree | snapshot
parent27a821a2aba8c61024ff579fa664829dec9d2a29commit | diff
Major code refactoring. Moved main.cpp to main. Globals to Globals.cpp. Also made the parser return an actual object for the AST

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@187 e59a4935-1847-0410-ae03-e826735625c1
22 files changed:
Makefile diff | blob | history
scripts/Makefile.in diff | blob | history
src/AST/AST.cpp diff | blob | history
src/AST/AST.h diff | blob | history
src/AST/ASTUtil.cpp diff | blob | history
src/AST/ASTUtil.h diff | blob | history
src/AST/AbstractionRefinement.cpp diff | blob | history
src/AST/ToCNF.cpp diff | blob | history
src/AST/ToSAT.cpp diff | blob | history
src/AST/Transform.cpp diff | blob | history
src/AST/printer/AssortedPrinters.cpp diff | blob | history
src/c_interface/c_interface.cpp diff | blob | history
src/main/Globals.cpp [new file with mode: 0644] blob
src/main/Globals.h [new file with mode: 0644] blob
src/main/Makefile [new file with mode: 0644] blob
src/main/main.cpp [new file with mode: 0644] blob
src/parser/CVC.lex diff | blob | history
src/parser/CVC.y diff | blob | history
src/parser/Makefile diff | blob | history
src/parser/main.cpp [deleted file] blob | history
src/parser/smtlib.lex diff | blob | history
src/parser/smtlib.y diff | blob | history
STP Constraint Solver.