projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4983832) | patch
Removing a potentially invalid comparison in the TPTP parser. (#1091)
authorTim King <taking@cs.nyu.edu>
Tue, 19 Sep 2017 20:17:04 +0000 (13:17 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 19 Sep 2017 20:17:04 +0000 (13:17 -0700)
commitb62abe729cd029af9ab3e27f7f1a7cde28bb4b08
treed4e8a46a346f051e315685931641e7c6d17cc371tree
parent4983832f0e72d1e1a01654a1f5c2d270d3db8602commit | diff
Removing a potentially invalid comparison in the TPTP parser. (#1091)
src/parser/tptp/tptp.cpp diff | blob | history