| Age | Commit message (Expand) | Author |
|---|---|---|
| 9 hours | Restore implicit set construction routing | adelon |
| 15 hours | Bind Vampire completions to requests | adelon |
| 17 hours | Use two-worker Vampire portfolios by default | adelon |
| 22 hours | Add owned Vampire request handles | adelon |
| 31 hours | Remove unsupported concurrency metrics | adelon |
| 32 hours | Run ready typed modules concurrently | adelon |
| 34 hours | Remove the legacy prover request path | adelon |
| 8 days | Supervise Vampire process groups | adelon |
| 9 days | Confine HTML export writes | adelon |
| 9 days | Make structure registration transactional | adelon |
| 9 days | Drain Vampire output while feeding input | adelon |
| 9 days | Return nonzero exits for verification failures | adelon |
| 9 days | Require complete Vampire success classification | adelon |
| 2026-02-24 | Put failed TPTP to stderr in all cases again | adelon |
| 2026-02-24 | Skip intermediate datatype | adelon |
| 2026-02-24 | Parse Vampire answers | adelon |
| 2026-02-24 | Sketch parser for Vampire's status lines | adelon |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |