projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9438709) | patch
* enable previously-failing (now succeeding) datatype example that uses records
authorMorgan Deters <mdeters@gmail.com>
Sat, 17 Nov 2012 18:57:16 +0000 (18:57 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 17 Nov 2012 18:57:16 +0000 (18:57 +0000)
commit2cc71c7863a0c481cf6a4a9e18a59d17b62a905d
treee53df57a7c44171edd7494da7a840060fda37543tree
parent943870920431bf1d6f6f1eb163eb82fb26bdad58commit | diff
* enable previously-failing (now succeeding) datatype example that uses records
* some bindings cleanup

(this commit was certified error- and warning-free by the test-and-commit script.)
src/bindings/java_iterator_adapter.h diff | blob | history
src/bindings/java_output_stream_adapter.h diff | blob | history
src/cvc4.i diff | blob | history
src/util/statistics.i diff | blob | history
test/regress/regress0/datatypes/Makefile.am diff | blob | history