projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f43bd3) | patch
Front-end support for get-value of sort cardinality, minor fixes for sygus solution...
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 26 Nov 2015 13:08:33 +0000 (14:08 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 26 Nov 2015 13:08:33 +0000 (14:08 +0100)
commit365d6022b5742fc6910363e04e873b26e221bb05
tree0c4111ffbaa325646610bb598886216938ff10e4tree
parent7f43bd304b3d6bede36a777ee85ab68fab35d742commit | diff
Front-end support for get-value of sort cardinality, minor fixes for sygus solution reconstruction.
src/parser/smt2/Smt2.g diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/ce_guided_single_inv.h diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/uf/kinds diff | blob | history
src/theory/uf/theory_uf_type_rules.h diff | blob | history