begriffs.com / projects / acsl-example / shortlog
| 2025-09-06 | Joe Nelson | Use coq prover | commit | commitdiff | tree | snapshot |
| 2025-09-06 | Joe Nelson | Detect goal timeout/failure and switch to alt-ergo... | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Faster frama-c execution w/ caching | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Remove leftover headers | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Claude guidance for keeping proofs fast | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Don't clutter with timing logs | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Separate proof headers from library headers | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Better organization for fast proofs | commit | commitdiff | tree | snapshot |
| 2025-09-05 | Joe Nelson | Initial examples from book | commit | commitdiff | tree | snapshot |