?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
never encode enums and records for Alt-Ergo
[why3.git] / .ocp-indent
blob9301cc3756162c719c7cbef12772aa878763bf49
1 match_clause = 4
A platform for deductive program verification