| Thu, 25 Aug 2011 22:05:18 +0200 | blanchet | make TFF output less explicit where possible | changeset | files |
| Thu, 25 Aug 2011 19:09:39 +0200 | blanchet | use more appropriate encoding for Z3 TPTP, as confirmed by evaluation | changeset | files |
| Thu, 25 Aug 2011 19:05:40 +0200 | blanchet | added one more known Z3 failure | changeset | files |
| Thu, 25 Aug 2011 19:02:47 +0200 | blanchet | added config options to control two aspects of the translation, for evaluation purposes | changeset | files |
| Thu, 25 Aug 2011 13:55:52 +0100 | nik | added choice operator output for | changeset | files |
| Thu, 25 Aug 2011 14:25:07 +0200 | blanchet | rationalized option names -- mono becomes raw_mono and mangled becomes mono | changeset | files |
| Thu, 25 Aug 2011 14:25:07 +0200 | blanchet | handle nonmangled monomorphich the same way as mangled monomorphic when it comes to helper -- otherwise we can end up generating too tight type guards | changeset | files |