projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f885c4) | patch
Add unsat cores support to CVC native language.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 9 Oct 2014 00:18:07 +0000 (20:18 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 9 Oct 2014 00:18:30 +0000 (20:18 -0400)
commit6a9f767abff6e6c81810cf134253399899a97424
tree0a6d991643e3b3a7596093458b929d44fc13d875tree
parent7f885c4e79501827e70fe14683152af85c5f8bfdcommit | diff
Add unsat cores support to CVC native language.
src/parser/cvc/Cvc.g diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history