]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e850c56) | patch
added functionality for converting CVC to C code
authorpgbovine <pgbovine@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 4 Feb 2009 17:58:43 +0000 (17:58 +0000)
committerpgbovine <pgbovine@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 4 Feb 2009 17:58:43 +0000 (17:58 +0000)
commit0f00902ed2feba8795855e9f99c9051b1dec905f
tree238490037f8251d5a08dba409802d6032e89db85tree | snapshot
parente850c563a036042b91644c71a70a80aeabc96e02commit | diff
added functionality for converting CVC to C code

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@57 e59a4935-1847-0410-ae03-e826735625c1
AST/AST.cpp diff | blob | history
AST/AST.h diff | blob | history
README diff | blob | history
c-api-tests/cvc-to-c.cpp [new file with mode: 0644] blob
c_interface/c_interface.cpp diff | blob | history
c_interface/c_interface.h diff | blob | history
STP Constraint Solver.