| 69b24984ae4c3d77471c91e9b691c328a98b715e |
|
30-Nov-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Transform darwin TMO to RSO for uniformity. |
| 28aa386140910b0428b627bc72ddbe1e360dd936 |
|
30-Nov-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add SPASS special SZS handling. |
| 3b1a86969b13a866b304a894947ee18784428a35 |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add darwin-non-fd specific parser. |
| 2c04309cf10e5f003e43805b79d4877c99e04c74 |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add darwin specific parser. |
| 60a6dd983c4e3c165d8641adccaf3ab8facb8008 |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add eprover specific parser. |
| c596e1826a9232b9593497d559d7b90316ab8b8f |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add SZS parser without prover specific methods. |