aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAgeFilesLines
* 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
| * 1st party caveats to Macaroon Arbitrary instanceJulien Tanguy2015-05-151-1/+13
| |
| * Add newlines between Caveats in Macaroon's showJulien Tanguy2015-05-151-1/+1
| | | | | | | | [ci skip]
| * Add quickcheck propertiesJulien Tanguy2015-05-153-15/+23
|/
* Transfer TODO to github issuesJulien Tanguy2015-05-151-11/+0
| | | [ci skip]
* Update changelog and fix cabalJulien Tanguy2015-05-142-1/+2
|
* Basic verification of macaroonsJulien Tanguy2015-05-144-1/+97
| | | | - Only signatures are checked
* Add some notes on macaroonsJulien Tanguy2015-05-131-0/+24
| | | | [ci skip]
* Rearrange testsJulien Tanguy2015-05-131-1/+1
| | | | [ci skip]
* Remove third party caveatsJulien Tanguy2015-05-134-16/+15
| | | | [ci skip]
* Fix haddock and add changelogJulien Tanguy2015-05-062-21/+17
| | | | [ci skip]
* Haddock markupJulien Tanguy2015-05-062-0/+3
| | | | [ci skip]
* Fix build and add travis badgeJulien Tanguy2015-05-063-3/+3
|
* Edit travis config and package deps to match nixos'Julien Tanguy2015-05-063-4/+52
|
* Nixify package & documentationJulien Tanguy2015-05-066-6/+117
| | | | Added quickcheck helper
* Add quickchecked serialization propertiesJulien Tanguy2015-04-153-0/+61
|