]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb8bc35) | patch
massive changes. Added a LESSBYTES_PER_NODE option. Cuts down the bytesize of nodes...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 1 Oct 2009 18:08:32 +0000 (18:08 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 1 Oct 2009 18:08:32 +0000 (18:08 +0000)
commit73ef1a39122cad430bf6a6c65a439abbfe1bddbb
tree593e020b7276a97598c509d608b7f603b35d1851tree | snapshot
parenteb8bc35940c195791a7a8dd8725baa25823e6804commit | diff
massive changes. Added a LESSBYTES_PER_NODE option. Cuts down the bytesize of nodes by more than 20%

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@269 e59a4935-1847-0410-ae03-e826735625c1
14 files changed:
CODING_GUIDLINES [new file with mode: 0644] blob
scripts/Makefile.common diff | blob | history
src/AST/AST.cpp diff | blob | history
src/AST/AST.h diff | blob | history
src/AST/Transform.cpp diff | blob | history
src/AST/printer/AssortedPrinters.cpp diff | blob | history
src/AST/printer/CPrinter.cpp diff | blob | history
src/AST/printer/LispPrinter.cpp diff | blob | history
src/AST/printer/PLPrinter.cpp diff | blob | history
src/AST/printer/SMTLIBPrinter.cpp diff | blob | history
src/c_interface/c_interface.cpp diff | blob | history
src/simplifier/simplifier.cpp diff | blob | history
src/to-sat/BitBlast.cpp diff | blob | history
src/to-sat/ToCNF.cpp diff | blob | history
STP Constraint Solver.