]> begriffs open source - acsl-example/blob - .gitignore
begriffs.com / projects / acsl-example / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Double down on coq prover, save session
[acsl-example] / .gitignore
1 .frama-c
2 build
3 **/cache
provably correct C with weakest preconditions