aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAgeFilesLines
* Add maintenance status badgeHEADmasterJulien Tanguy2016-01-161-0/+1
* Copy benchmark *before* cd-ing into haddock dirJulien Tanguy2015-11-171-3/+3
* Copy benchmark report to haddockJulien Tanguy2015-11-172-1/+4
* Fix travis.ymlJulien Tanguy2015-11-171-2/+2
* Fix travis.yaml. AgainJulien Tanguy2015-11-171-1/+1
* Fix travis.ymlJulien Tanguy2015-11-171-52/+49
* Edit travis.ymlJulien Tanguy2015-11-171-5/+3
* Fix yml syntax/typoJulien Tanguy2015-11-171-5/+5
* Change enable-coverage flag for cabal 1.18Julien Tanguy2015-11-171-1/+6
* Add coveralls.io badge to READMEJulien Tanguy2015-11-171-0/+1
* Add ~/.cabal/bin to PATHJulien Tanguy2015-11-171-1/+1
* Add constraint on retry Julien Tanguy2015-11-171-1/+1
* Re-add hpc-coverallsJulien Tanguy2015-11-161-3/+7
* Cosmetic changes to READMEJulien Tanguy2015-10-051-1/+0
* Dedicated VerifierResultJulien Tanguy2015-10-055-53/+30
* Dedup docs pushJulien Tanguy2015-09-251-3/+3
* Enable gitter notifications for travisJulien Tanguy2015-09-241-1/+7
* Move travis badgeJulien Tanguy2015-09-241-1/+3
* Merge pull request #5 from gitter-badger/gitter-badgeJulien Tanguy2015-09-231-0/+2
|\
| * Add Gitter badgeThe Gitter Badger2015-09-231-0/+2
|/
* Silence git messages in pushdoc.shJulien Tanguy2015-09-051-4/+10
* Fix typo in secure varJulien Tanguy2015-09-052-1/+2
* Make travis push haddock to gh-pagesJulien Tanguy2015-09-052-3/+37
* Import generic, updated shell.nixJulien Tanguy2015-09-051-6/+9
* Add transformers to bench depsverificationJulien Tanguy2015-08-171-0/+1
* Merge branch 'verification'Julien Tanguy2015-08-1714-216/+374
|\
| * Modify exports & haddockJulien Tanguy2015-08-172-9/+11
| * Use hvr's generated .travis.ymlJulien Tanguy2015-08-172-30/+66
| * ghc<7.10.1 compatJulien Tanguy2015-08-175-8/+12
| * Add some internal testsJulien Tanguy2015-08-172-42/+62
| * Import Control.ApplicativeJulien Tanguy2015-08-171-0/+1
| * Merge travis config from masterJulien Tanguy2015-08-171-33/+27
| |\
| * | Change verifier api and split Verifier moduleJulien Tanguy2015-08-179-72/+104
| * | Typos and stylish-haskellJulien Tanguy2015-08-175-22/+19
| * | Basic validation functionsJulien Tanguy2015-08-166-40/+165
| * | Rewrite Verifier with ValidationJulien Tanguy2015-07-084-100/+42
* | | Add missing Data.Monoid importJulien Tanguy2015-08-171-0/+1
| |/ |/|
* | Handle different flags for 'cabal test'Julien Tanguy2015-08-171-4/+5
* | Forgot to enable tests and benchs in dep installJulien Tanguy2015-08-171-1/+1
* | Remove hpc-coveralls for nowJulien Tanguy2015-08-171-5/+2
* | Fix travix.ymlJulien Tanguy2015-08-171-32/+20
* | Update travis.yml to use the new infrastructureJulien Tanguy2015-08-171-11/+19
* | Fix travis.ymlJulien Tanguy2015-07-081-3/+3
|/
* Enable library coverage via coveralls.ioJulien Tanguy2015-07-081-2/+5
* Update QuickCheckJulien Tanguy2015-06-172-14/+2
* Add basic macaroon verificationJulien Tanguy2015-06-175-28/+141
|\
| * Add Sig/cav verifierJulien Tanguy2015-05-162-4/+24
| * Fix caveat verificationJulien Tanguy2015-05-163-46/+53
| * Add generalized function verifierJulien Tanguy2015-05-152-19/+26
| * Add basic exact caveat verifiersJulien Tanguy2015-05-152-10/+69
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-20 04:24:42 +0000