| 3cda7da7b79e099e4941bb49ed7388341c40814d |
|
03-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Pass divided, goal-local timeout to Hets. |
| 649777b52106e52535b18ab234a53974fad0268a |
|
02-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add timeout specs for ProveOptions. |
| 295ab659a4fe68c2ec69a604945f1dccfeb75ee6 |
|
26-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add prover to ProveOptions. |
| 2220152f8ed97959c62abfb6625873a725a71013 |
|
25-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add ProveOptions spec. |