begriffs.com / projects / acsl-example / shortlog
| 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 |