projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7329c1f) | patch
Added theory output channel interfaces and "Interrupted" exception.
authorMorgan Deters <mdeters@gmail.com>
Thu, 4 Feb 2010 02:46:17 +0000 (02:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 4 Feb 2010 02:46:17 +0000 (02:46 +0000)
commit92a04e03876154a946b729855a72e1e871304fe5
treeab454cccf4cff38c4c0c9a9c0786b75340f07e09tree
parent7329c1f1e3603c86c7ad88cbdefe2393d9740d98commit | diff
Added theory output channel interfaces and "Interrupted" exception.

Updated contrib/update-copyright to handle Antlr (.g) parser/lexer inputs.
Updated copyright year.

Added a new "bool" theory (right now just to hold a kind.h contribution).

Added "kinds" files to UF and the new "bool" theory.
14 files changed:
contrib/update-copyright.pl diff | blob | history
src/theory/Makefile.am diff | blob | history
src/theory/arith/Makefile.am [new file with mode: 0644] blob
src/theory/arith/kinds [new file with mode: 0644] blob
src/theory/bool/Makefile.am [new file with mode: 0644] blob
src/theory/bool/kinds [new file with mode: 0644] blob
src/theory/interrupted.h [new file with mode: 0644] blob
src/theory/output_channel.h [new file with mode: 0644] blob
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/uf/Makefile.am diff | blob | history
src/theory/uf/kinds [new file with mode: 0644] blob