projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c9e8f5) | patch
Eliminate arithmetic subtyping for (dis)equalities from TPTP parser (#8724)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 6 May 2022 22:06:07 +0000 (17:06 -0500)
committerGitHub <noreply@github.com>
Fri, 6 May 2022 22:06:07 +0000 (22:06 +0000)
commit15812533fce5ae7f2c1d1961c19c8f440c818274
tree1c35858235b31b61e78a7c73458c3d7f25e0d8a0tree
parent0c9e8f57125695d0c16e1bff565113879a445baacommit | diff
Eliminate arithmetic subtyping for (dis)equalities from TPTP parser (#8724)

Towards making equality strictly typed / eliminating arithmetic subtyping.
src/parser/tptp/tptp.cpp diff | blob | history