projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e868c3d) | patch
Allow empty record literals (fixing an oversight in previous work on empty tuples...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 14 Nov 2013 14:33:34 +0000 (09:33 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 14 Nov 2013 14:33:34 +0000 (09:33 -0500)
commitca54910668960ea492e8dc12178648032c5df489
treec1164f2123ed9c8d47d150222edef7febace8ab8tree
parente868c3d05660fe5d8dc1da8a104da850f4d101d5commit | diff
Allow empty record literals (fixing an oversight in previous work on empty tuples/records)
src/parser/cvc/Cvc.g diff | blob | history
src/theory/datatypes/kinds diff | blob | history