projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf13918) | patch
Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this).
authorMorgan Deters <mdeters@cs.nyu.edu>
Sun, 8 Jun 2014 21:54:50 +0000 (17:54 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 8 Jun 2014 21:54:50 +0000 (17:54 -0400)
commitaee4775c89adf56df6b9a177f3666d79899863dd
treee6a238e5915e3636111d63a7ca4dfc140daeaff7tree
parentcf13918f84ddeb228cb3ec7349deeea25f75b88bcommit | diff
Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this).
src/parser/smt2/Smt2.g diff | blob | history