summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE1162logplain
-rw-r--r--Setup.hs46logplain
-rw-r--r--boolector.cabal3546logplain
d---------src76logplain
d---------test404logplain