]>
2015-10-05 | Dedicated VerifierResult | commit | commitdiff | |
2015-08-17 | Merge branch 'verification' | commit | commitdiff | |
2015-08-17 | Modify exports & haddock | commit | commitdiff | |
2015-08-17 | ghc<7.10.1 compat | commit | commitdiff | |
2015-08-17 | Import Control.Applicative | commit | commitdiff | |
2015-08-17 | Merge travis config from master | commit | commitdiff | |
2015-08-17 | Change verifier api and split Verifier module | commit | commitdiff | |
2015-08-17 | Typos and stylish-haskell | commit | commitdiff | |
2015-08-16 | Basic validation functions | commit | commitdiff | |