| 1f41235c9549cfe332cc93df708e2c7199a17c65 |
|
26-Sep-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add specs for the new theorem proof status handling. |
| e54f80b4780294f106f20b800b18f045fe099ca0 |
|
15-Jul-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Use ProofExecution instead of CollectiveProofAttempt
This allows us to run many proofs in parallel and simplifies the Proof
class. |
| 6a5a698f83a1e0e33d2bae92644cf4e73bb8b32b |
|
03-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add spec for ProofAttempt#retry_failed. |
| 54902f4ae3e2890f79caa066c860fc5e6fc67acc |
|
28-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add model: TacticScript. |
| 4a7c98053955ca61668ed12b235ddf2fc9976142 |
|
27-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add model: ProverOutput. |
| c4bdc37c9de27abfa1d5be18008953b32457e6c4 |
|
31-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add model: ProofAttemptConfiguration. |
| 5f84ce1305d72f4fd12b829df032068324d3f039 |
|
31-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add specs for default state. |
| ad3d2e33936e011b85cbcaada213ff2fd732766f |
|
11-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Adjust specs for proving to new factories. |
| f15a514d590a0ff1166c1d1792f6c048a2fc1e34 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Use save! |
| 72c95efaba482fc9802fbe0b2f0cd9ecaaf9111d |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add specs on associations. |
| e200ddd4b78a4915a072095be2a2e6cac65ed333 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add ProofStatus model, remove STATUSES Constant.
The ProofAttempt and Theorem models now rely on this new model. |
| b4a0129f99341fb8b1f0d724e656d339c97e9db0 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add first draft of Theorem and ProofStatus models. |