projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 011cd46) | patch
Representative programs must be minimal size, minor fixes, improvements to ITE handli...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 2 Feb 2015 07:48:51 +0000 (08:48 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 2 Feb 2015 07:48:51 +0000 (08:48 +0100)
commit6d37c136a251b957197269aeb389a9f1ae07e620
treee60b9133e36503de9dfd9099536c9827488ead37tree
parent011cd46ecf51502344b568c2613f420691724c83commit | diff
Representative programs must be minimal size, minor fixes, improvements to ITE handling in sygus.
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/datatypes/datatypes_sygus.h diff | blob | history