projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8d4a41) | patch
Compliance fixes for :named annotations: they must name closed subterms, the names...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 16:36:54 +0000 (12:36 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 20 May 2013 21:00:56 +0000 (17:00 -0400)
commitcb1871573012e12029b06674ccc13f143b09c8a4
tree8a2d6fca1a94b877db66c278338e32ec740e81fetree
parenta8d4a41201ea8be04a2464ca734848b8cdff30cccommit | diff
Compliance fixes for :named annotations: they must name closed subterms, the names must be user-permitted names, etc.

Thanks to David Cok for raising this issue.
src/parser/smt2/Smt2.g diff | blob | history