]> begriffs open source - acsl-example/shortlog
begriffs.com / projects / acsl-example / shortlog
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
acsl-example
2025-09-08 Joe NelsonThe claude.md hurt performance main commit | commitdiff | tree | snapshot
2025-09-08 Joe NelsonUse WP RTE commit | commitdiff | tree | snapshot
2025-09-07 Joe NelsonGet actual errors from coq commit | commitdiff | tree | snapshot
2025-09-07 Joe NelsonStart to get claude involved for proving tricky coq... commit | commitdiff | tree | snapshot
2025-09-07 Joe NelsonUse automated provers first if possible commit | commitdiff | tree | snapshot
2025-09-08 Joe NelsonIncomplete coq proofs from why3 commit | commitdiff | tree | snapshot
2025-09-08 Joe NelsonDouble down on coq prover, save session commit | commitdiff | tree | snapshot
2025-09-07 Joe NelsonRemove ineffective way to work with coq commit | commitdiff | tree | snapshot
2025-09-07 Joe NelsonMore arguments to prove script commit | commitdiff | tree | snapshot
2025-09-06 Joe NelsonSwitch to simple script rather than Meson commit | commitdiff | tree | snapshot
2025-09-06 Joe NelsonUse coq prover commit | commitdiff | tree | snapshot
2025-09-06 Joe NelsonDetect goal timeout/failure and switch to alt-ergo... commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonFaster frama-c execution w/ caching commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonRemove leftover headers commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonClaude guidance for keeping proofs fast commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonDon't clutter with timing logs commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonSeparate proof headers from library headers commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonBetter organization for fast proofs commit | commitdiff | tree | snapshot
2025-09-05 Joe NelsonInitial examples from book commit | commitdiff | tree | snapshot
provably correct C with weakest preconditions