]> begriffs open source - acsl-example/commit
begriffs.com / projects / acsl-example / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 230968f) | patch
Use automated provers first if possible
authorJoe Nelson <joe@begriffs.com>
Sun, 7 Sep 2025 05:00:00 +0000 (00:00 -0500)
committerJoe Nelson <joe@begriffs.com>
Sun, 7 Sep 2025 05:00:00 +0000 (00:00 -0500)
commit7a4a0f37d3f9ae545b1311954930f992c9ab0a76
tree319cbbf82fc4f61b36396655d1661f7c0133a6ddtree | snapshot
parent230968fb36fc68f4a892a739ba5962bbd2952474commit | diff
Use automated provers first if possible
proof/find3/interactive/lemma_Find_MissHit.v [deleted file] blob | history
proof/find3/interactive/lemma_Find_ResultEqual.v [deleted file] blob | history
proof/find3/interactive/lemma_Find_SomeEqual.v [deleted file] blob | history
proof/find3/interactive/lemma_Find_WeaklyIncreasing.v [deleted file] blob | history
proof/find3/interactive/lemma_NotSomeEqual_NoneEqual.v [deleted file] blob | history
scripts/prove.pl diff | blob | history
provably correct C with weakest preconditions