begriffs open source - acsl-example/commit

]> begriffs open source - acsl-example/commit

begriffs.com / projects / acsl-example / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e95e2c1) | patch

author	Joe Nelson <joe@begriffs.com>
	Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)
committer	Joe Nelson <joe@begriffs.com>
	Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)
commit	7412783b0334316d73b6eebdf3b38cc1328cc7fe
tree	96976b79415957fac38c89ef88720035b8fa5628	tree \| snapshot
parent	e95e2c190ea98eca3fa2655b5d11f5dbd542892c	commit \| diff

Better organization for fast proofs

14 files changed:

inc/algos.h	[new file with mode: 0644]	blob
inc/existence.h	[moved from inc/find2.h with 55% similarity]	diff \| blob \| history
inc/find.h	[deleted file]	blob \| history
inc/find1.h	[deleted file]	blob \| history
inc/find1_axioms.h	[new file with mode: 0644]	blob
inc/find2_axioms.h	[new file with mode: 0644]	blob
inc/find3_axioms.h	[new file with mode: 0644]	blob
inc/search.h	[moved from inc/find3.h with 80% similarity]	diff \| blob \| history
inc/types.h	[new file with mode: 0644]	blob
src/find.c	[deleted file]	blob \| history
src/find1.c		diff \| blob \| history
src/find2.c		diff \| blob \| history
src/find3.c		diff \| blob \| history
test/test_frama_c_single.sh		diff \| blob \| history

provably correct C with weakest preconditions