projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a93b9c5) | patch
Changing TPTP parser to accomodate new API (#3837)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 27 Feb 2020 22:34:42 +0000 (19:34 -0300)
committerGitHub <noreply@github.com>
Thu, 27 Feb 2020 22:34:42 +0000 (16:34 -0600)
commitcc9a1b02cb8b1920c2a16825b3ff58acdef4dce8
tree38cf20075c7aeb24de77d205fefe752c9c9ce613tree
parenta93b9c5a18bce93e2d66d1e98f13f69f0c193359commit | diff
Changing TPTP parser to accomodate new API (#3837)

Removing dependency of kinds corresponding to expressions.
src/parser/tptp/Tptp.g diff | blob | history
src/parser/tptp/tptp.cpp diff | blob | history
src/parser/tptp/tptp.h diff | blob | history