2020-02-08 2:4:1 (GMT)
master branch now includes "must pass" tests, i.e. a set of problems that must be proved (within 5s) for the build to succeed. It's in the CI (see for example this travis build) so it's easy to see when a change breaks these problems.
2020-02-08 17:43:26 (GMT)
I also did a bit of refactoring and bugfixes on master, fyi.
2020-02-10 0:52:22 (GMT)
And opened some issues on simple errors we meet on TPTP. (gathered via benchpress :wink:)