]> begriffs open source - acsl-example/commit
begriffs.com / projects / acsl-example / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bbc5dc) | patch
Switch to simple script rather than Meson
authorJoe Nelson <joe@begriffs.com>
Sat, 6 Sep 2025 05:00:00 +0000 (00:00 -0500)
committerJoe Nelson <joe@begriffs.com>
Sat, 6 Sep 2025 05:00:00 +0000 (00:00 -0500)
commit42ca810957ed7c9d4aac7bb5ab78965d3edbd9d5
tree7e08f291d032fb2f41db09a4cedcea44dee7f9e9tree | snapshot
parent2bbc5dca5bbabe4677ef16edd4d39b77cb9f000acommit | diff
Switch to simple script rather than Meson
.gitignore [new file with mode: 0644] blob
CLAUDE.md [deleted file] blob | history
meson.build [deleted file] blob | history
scripts/prove.pl [new file with mode: 0755] blob
scripts/prove.sh [new file with mode: 0755] blob
src/meson.build [deleted file] blob | history
test/test_frama_c_single.sh [deleted file] blob | history
provably correct C with weakest preconditions