]> begriffs open source - acsl-example/blob - .gitignore
begriffs.com / projects / acsl-example / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Remove ineffective way to work with coq
[acsl-example] / .gitignore
1 .frama-c
2 build
provably correct C with weakest preconditions