summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Boogaloo.hs9488logplain
-rw-r--r--LICENSE1562logplain
d---------Language33logplain
-rw-r--r--Setup.hs48logplain
-rw-r--r--Tests.hs4207logplain
-rw-r--r--language-boogie.cabal2427logplain