projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5e67f7) | patch
Produce error for bad indexed function names in SMT-LIB, remove antlr warning.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 19 Aug 2014 20:39:06 +0000 (16:39 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 19 Aug 2014 20:39:06 +0000 (16:39 -0400)
commitd69a876f0701441f7115828a5044c628e53abdd5
tree6f0d46071f824efae199c75a2a0d164e4ca85139tree
parentd5e67f7263cd0d44e6f15a64940431f385ef873bcommit | diff
Produce error for bad indexed function names in SMT-LIB, remove antlr warning.
src/parser/smt2/Smt2.g diff | blob | history