projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00af00c) | patch
* fixing the simple_vc_cxx.cpp compile issue (no more Integer constants)
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 10 Jul 2012 15:24:22 +0000 (15:24 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 10 Jul 2012 15:24:22 +0000 (15:24 +0000)
commitff5ecc85124857dccb6fa6ed542bb90e678bdc77
tree1ae254a832b4f93666a81d8b3a07340066b24a7atree
parent00af00c419b965ed26fff540a565dee748c7e4edcommit | diff
* fixing the simple_vc_cxx.cpp compile issue (no more Integer constants)
* adding as examples the programs i used to translate nonlinear smt2 problems to other formats
examples/Makefile.am diff | blob | history
examples/nra-translate/Makefile [new file with mode: 0644] blob
examples/nra-translate/Makefile.am [new file with mode: 0644] blob
examples/nra-translate/normalize.cpp [new file with mode: 0644] blob
examples/nra-translate/smt2info.cpp [new file with mode: 0644] blob
examples/nra-translate/smt2todreal.cpp [new file with mode: 0644] blob
examples/nra-translate/smt2toisat.cpp [new file with mode: 0644] blob
examples/nra-translate/smt2tomathematica.cpp [new file with mode: 0644] blob
examples/nra-translate/smt2toqepcad.cpp [new file with mode: 0644] blob
examples/nra-translate/smt2toredlog.cpp [new file with mode: 0644] blob
examples/simple_vc_cxx.cpp diff | blob | history