]> begriffs open source - acsl-example/commit
begriffs.com / projects / acsl-example / commit
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Initial examples from book
authorJoe Nelson <joe@begriffs.com>
Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)
committerJoe Nelson <joe@begriffs.com>
Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)
commite95e2c190ea98eca3fa2655b5d11f5dbd542892c
tree3105071702aa6c00012d9c5223dc59fd012bba1ftree | snapshot
Initial examples from book
inc/find.h [new file with mode: 0644] blob
inc/find1.h [new file with mode: 0644] blob
inc/find2.h [new file with mode: 0644] blob
inc/find3.h [new file with mode: 0644] blob
meson.build [new file with mode: 0644] blob
src/find.c [new file with mode: 0644] blob
src/find1.c [new file with mode: 0644] blob
src/find2.c [new file with mode: 0644] blob
src/find3.c [new file with mode: 0644] blob
src/meson.build [new file with mode: 0644] blob
test/test_frama_c_single.sh [new file with mode: 0755] blob
provably correct C with weakest preconditions