]> begriffs open source - acsl-example/log
begriffs.com / projects / acsl-example / log
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
acsl-example
3 months agoInitial examples from book
commit | commitdiff | tree
Joe Nelson [Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)]
Initial examples from book

provably correct C with weakest preconditions