aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)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
| | | | Statements inside a if construct need a semicolon at the end
* Fix travis.yaml. AgainJulien Tanguy2015-11-171-1/+1
|
* Fix travis.ymlJulien Tanguy2015-11-171-52/+49
| | | | I have no idea why it broke. Maybe the inline comment?
* Edit travis.ymlJulien Tanguy2015-11-171-5/+3
| | | | Hopefully fixes travis build on ghc-7.8
* Fix yml syntax/typoJulien Tanguy2015-11-171-5/+5
| | | Oopsie, a then/else block should be aligned.
* Change enable-coverage flag for cabal 1.18Julien Tanguy2015-11-171-1/+6
|
* Add coveralls.io badge to READMEJulien Tanguy2015-11-171-0/+1
| | | [ci skip]
* Add ~/.cabal/bin to PATHJulien Tanguy2015-11-171-1/+1
|
* Add constraint on retry Julien Tanguy2015-11-171-1/+1
| | | hpc-coveralls won't build with retry0.7
* Re-add hpc-coverallsJulien Tanguy2015-11-161-3/+7
| | | | - Add coveralls integration in the after_script - Move the push_docs to after_script
* Cosmetic changes to READMEJulien Tanguy2015-10-051-1/+0
| | | [ci skip]
* Dedicated VerifierResultJulien Tanguy2015-10-055-53/+30
| | | | | | | The Maybe (Either ValidationError ()) return type was too cryptic, now there is a real datatype for it. The validation part is unchanged and still uses the Maybe Either type
* Dedup docs pushJulien Tanguy2015-09-251-3/+3
| | | | | | Add a $PUSH_DOCS check to prevent all instances of travis from pushing docs [ci skip]
* Enable gitter notifications for travisJulien Tanguy2015-09-241-1/+7
|
* Move travis badgeJulien Tanguy2015-09-241-1/+3
| | | | [ci skip]
* Merge pull request #5 from gitter-badger/gitter-badgeJulien Tanguy2015-09-231-0/+2
|\ | | | | Add a Gitter chat badge to README.md
| * 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
| | | | | | | | | | | | - Added haddocks
| * | Typos and stylish-haskellJulien Tanguy2015-08-175-22/+19
| | |
| * | Basic validation functionsJulien Tanguy2015-08-166-40/+165
| | | | | | | | | | | | | | | | | | Still needs testing [ci skip]
| * | 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
| | | | | | | | Cabal 1.18 does not handle --show-details=streaming
* | 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
| | | | [ci skip]
* Add basic macaroon verificationJulien Tanguy2015-06-175-28/+141
|\
| * Add Sig/cav verifierJulien Tanguy2015-05-162-4/+24
| | | | | | | | [ci skip]
| * Fix caveat verificationJulien Tanguy2015-05-163-46/+53
| | | | | | | | QuickCheck properties > HUnit tests
| * Add generalized function verifierJulien Tanguy2015-05-152-19/+26
| |
| * Add basic exact caveat verifiersJulien Tanguy2015-05-152-10/+69
| | | | | | | | | | | | Need more tests Touching #2 Verify first party caveats
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-24 18:07:20 +0000