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