projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 438bec4) | patch
include example theory (former "UF-Tim") that's included in the dist but not built...
authorMorgan Deters <mdeters@gmail.com>
Fri, 16 Sep 2011 21:52:25 +0000 (21:52 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 16 Sep 2011 21:52:25 +0000 (21:52 +0000)
commit67bc89bd3fa304ea39934c14a7187c088e600011
tree605dd06960842c354c8ca712690dbf605ef80fbctree
parent438bec4894e3696d80152b420d7815ff88f07797commit | diff
include example theory (former "UF-Tim") that's included in the dist but not built for the library
src/theory/Makefile.am diff | blob | history
src/theory/example/Makefile [new file with mode: 0644] blob
src/theory/example/Makefile.am [new file with mode: 0644] blob
src/theory/example/ecdata.cpp [new file with mode: 0644] blob
src/theory/example/ecdata.h [new file with mode: 0644] blob
src/theory/example/theory_uf_tim.cpp [new file with mode: 0644] blob
src/theory/example/theory_uf_tim.h [new file with mode: 0644] blob