projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cbd118) | patch
Array constants finished and working. Unit tests for array constants.
authorClark Barrett <barrett@cs.nyu.edu>
Sun, 26 Aug 2012 17:56:55 +0000 (17:56 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Sun, 26 Aug 2012 17:56:55 +0000 (17:56 +0000)
commitdec12c33bf05638b3e5f69e4b83684524ce6f6aa
tree7becd931bb8b450c6d575ce63b041baf6d78b185tree
parent3cbd118238dbe1a68c53a970169488bee2b63ae7commit | diff
Array constants finished and working.  Unit tests for array constants.
src/theory/arrays/theory_arrays_rewriter.h diff | blob | history
src/theory/arrays/theory_arrays_type_rules.h diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/expr/expr_public.h diff | blob | history
test/unit/theory/theory_black.h [new file with mode: 0644] blob