projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f94986) | patch
Change TPTP parser to not use the STRING type; this necessary to repurpose strings...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 9 Apr 2013 20:29:59 +0000 (16:29 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 9 Apr 2013 20:29:59 +0000 (16:29 -0400)
commita48d458af665175509418f434674a3865f74ed69
tree9b3ec5f74e75bd7711a5f9250ccc084f8d5e556btree
parent4f94986c1eb2a8d5c1ba98528fdcbba1b909d9c8commit | diff
Change TPTP parser to not use the STRING type; this necessary to repurpose strings for the upcoming string theory
src/parser/tptp/Tptp.g diff | blob | history
src/parser/tptp/tptp.h diff | blob | history