projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6edae99) | patch
IDL example theory (to be used with --use-theory=idl).
authorDejan Jovanović <dejan@cs.nyu.edu>
Wed, 5 Jun 2013 20:35:37 +0000 (16:35 -0400)
committerDejan Jovanović <dejan@cs.nyu.edu>
Thu, 6 Jun 2013 18:51:32 +0000 (14:51 -0400)
commit482167cc10c5df25e107e0b44a24c125f7b18bd2
treeb3a132657bbe28c4af493c0152e634ffedf28c3ftree
parent6edae99ca2d1af88ebe82256132d0d058913a13ccommit | diff
IDL example theory (to be used with --use-theory=idl).
15 files changed:
.project diff | blob | history
src/options/Makefile.am diff | blob | history
src/theory/Makefile.am diff | blob | history
src/theory/idl/Makefile [new file with mode: 0644] blob
src/theory/idl/Makefile.am [new file with mode: 0644] blob
src/theory/idl/idl_assertion.cpp [new file with mode: 0644] blob
src/theory/idl/idl_assertion.h [new file with mode: 0644] blob
src/theory/idl/idl_assertion_db.cpp [new file with mode: 0644] blob
src/theory/idl/idl_assertion_db.h [new file with mode: 0644] blob
src/theory/idl/idl_model.cpp [new file with mode: 0644] blob
src/theory/idl/idl_model.h [new file with mode: 0644] blob
src/theory/idl/kinds [new file with mode: 0644] blob
src/theory/idl/options [new file with mode: 0644] blob
src/theory/idl/theory_idl.cpp [new file with mode: 0644] blob
src/theory/idl/theory_idl.h [new file with mode: 0644] blob