]> git.immae.eu Git - github/fretlink/hmacaroons.git/log
github/fretlink/hmacaroons.git
9 years agoAdd ~/.cabal/bin to PATH
Julien Tanguy [Mon, 16 Nov 2015 23:26:37 +0000 (00:26 +0100)] 
Add ~/.cabal/bin to PATH

9 years agoAdd constraint on retry
Julien Tanguy [Mon, 16 Nov 2015 23:19:42 +0000 (00:19 +0100)] 
Add constraint on retry

hpc-coveralls won't build with retry0.7

9 years agoRe-add hpc-coveralls
Julien Tanguy [Mon, 16 Nov 2015 22:48:49 +0000 (23:48 +0100)] 
Re-add hpc-coveralls

- Add coveralls integration in the after_script
- Move the push_docs to after_script

9 years agoCosmetic changes to README
Julien Tanguy [Mon, 5 Oct 2015 16:40:10 +0000 (18:40 +0200)] 
Cosmetic changes to README

[ci skip]

9 years agoDedicated VerifierResult
Julien Tanguy [Mon, 5 Oct 2015 16:35:03 +0000 (18:35 +0200)] 
Dedicated VerifierResult

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

9 years agoDedup docs push
Julien Tanguy [Fri, 25 Sep 2015 12:37:02 +0000 (14:37 +0200)] 
Dedup docs push

Add a $PUSH_DOCS check to prevent all instances of travis from pushing docs

[ci skip]

9 years agoEnable gitter notifications for travis
Julien Tanguy [Thu, 24 Sep 2015 12:06:51 +0000 (14:06 +0200)] 
Enable gitter notifications for travis

9 years agoMove travis badge
Julien Tanguy [Thu, 24 Sep 2015 12:06:08 +0000 (14:06 +0200)] 
Move travis badge

[ci skip]

9 years agoMerge pull request #5 from gitter-badger/gitter-badge
Julien Tanguy [Wed, 23 Sep 2015 15:49:08 +0000 (17:49 +0200)] 
Merge pull request #5 from gitter-badger/gitter-badge

Add a Gitter chat badge to README.md

9 years agoAdd Gitter badge
The Gitter Badger [Wed, 23 Sep 2015 15:31:22 +0000 (15:31 +0000)] 
Add Gitter badge

9 years agoSilence git messages in pushdoc.sh
Julien Tanguy [Sat, 5 Sep 2015 00:48:19 +0000 (02:48 +0200)] 
Silence git messages in pushdoc.sh

9 years agoFix typo in secure var
Julien Tanguy [Sat, 5 Sep 2015 00:40:37 +0000 (02:40 +0200)] 
Fix typo in secure var

9 years agoMake travis push haddock to gh-pages
Julien Tanguy [Sat, 5 Sep 2015 00:14:47 +0000 (02:14 +0200)] 
Make travis push haddock to gh-pages

9 years agoImport generic, updated shell.nix
Julien Tanguy [Fri, 4 Sep 2015 23:53:08 +0000 (01:53 +0200)] 
Import generic, updated shell.nix

9 years agoAdd transformers to bench deps verification
Julien Tanguy [Mon, 17 Aug 2015 17:41:47 +0000 (19:41 +0200)] 
Add transformers to bench deps

9 years agoMerge branch 'verification'
Julien Tanguy [Mon, 17 Aug 2015 17:40:19 +0000 (19:40 +0200)] 
Merge branch 'verification'

9 years agoModify exports & haddock
Julien Tanguy [Mon, 17 Aug 2015 17:39:05 +0000 (19:39 +0200)] 
Modify exports & haddock

9 years agoUse hvr's generated .travis.yml
Julien Tanguy [Mon, 17 Aug 2015 17:11:24 +0000 (19:11 +0200)] 
Use hvr's generated .travis.yml

9 years agoghc<7.10.1 compat
Julien Tanguy [Mon, 17 Aug 2015 16:56:12 +0000 (18:56 +0200)] 
ghc<7.10.1 compat

9 years agoAdd some internal tests
Julien Tanguy [Mon, 17 Aug 2015 16:23:23 +0000 (18:23 +0200)] 
Add some internal tests

9 years agoImport Control.Applicative
Julien Tanguy [Mon, 17 Aug 2015 16:21:14 +0000 (18:21 +0200)] 
Import Control.Applicative

9 years agoAdd missing Data.Monoid import
Julien Tanguy [Mon, 17 Aug 2015 15:52:34 +0000 (17:52 +0200)] 
Add missing Data.Monoid import

9 years agoMerge travis config from master
Julien Tanguy [Mon, 17 Aug 2015 15:50:47 +0000 (17:50 +0200)] 
Merge travis config from master

9 years agoChange verifier api and split Verifier module
Julien Tanguy [Mon, 17 Aug 2015 15:38:24 +0000 (17:38 +0200)] 
Change verifier api and split Verifier module

- Added haddocks

9 years agoTypos and stylish-haskell
Julien Tanguy [Mon, 17 Aug 2015 15:36:35 +0000 (17:36 +0200)] 
Typos and stylish-haskell

9 years agoHandle different flags for 'cabal test'
Julien Tanguy [Mon, 17 Aug 2015 14:53:33 +0000 (16:53 +0200)] 
Handle different flags for 'cabal test'

Cabal 1.18 does not handle --show-details=streaming

9 years agoForgot to enable tests and benchs in dep install
Julien Tanguy [Mon, 17 Aug 2015 14:28:07 +0000 (16:28 +0200)] 
Forgot to enable tests and benchs in dep install

9 years agoRemove hpc-coveralls for now
Julien Tanguy [Mon, 17 Aug 2015 14:19:59 +0000 (16:19 +0200)] 
Remove hpc-coveralls for now

9 years agoFix travix.yml
Julien Tanguy [Mon, 17 Aug 2015 13:43:40 +0000 (15:43 +0200)] 
Fix travix.yml

9 years agoUpdate travis.yml to use the new infrastructure
Julien Tanguy [Mon, 17 Aug 2015 13:00:18 +0000 (15:00 +0200)] 
Update travis.yml to use the new infrastructure

9 years agoBasic validation functions
Julien Tanguy [Sun, 16 Aug 2015 21:22:10 +0000 (23:22 +0200)] 
Basic validation functions

Still needs testing

[ci skip]

9 years agoFix travis.yml
Julien Tanguy [Wed, 8 Jul 2015 17:39:38 +0000 (19:39 +0200)] 
Fix travis.yml

9 years agoRewrite Verifier with Validation
Julien Tanguy [Wed, 8 Jul 2015 16:13:14 +0000 (18:13 +0200)] 
Rewrite Verifier with Validation

9 years agoEnable library coverage via coveralls.io
Julien Tanguy [Wed, 8 Jul 2015 17:12:59 +0000 (19:12 +0200)] 
Enable library coverage via coveralls.io

9 years agoUpdate QuickCheck
Julien Tanguy [Wed, 17 Jun 2015 15:51:29 +0000 (17:51 +0200)] 
Update QuickCheck

[ci skip]

9 years agoAdd basic macaroon verification
Julien Tanguy [Wed, 17 Jun 2015 15:17:36 +0000 (17:17 +0200)] 
Add basic macaroon verification

9 years agoAdd Sig/cav verifier
Julien Tanguy [Sat, 16 May 2015 10:51:22 +0000 (12:51 +0200)] 
Add Sig/cav verifier

[ci skip]

9 years agoFix caveat verification
Julien Tanguy [Sat, 16 May 2015 00:12:14 +0000 (02:12 +0200)] 
Fix caveat verification

QuickCheck properties > HUnit tests

9 years agoAdd generalized function verifier
Julien Tanguy [Fri, 15 May 2015 21:02:22 +0000 (23:02 +0200)] 
Add generalized function verifier

9 years agoAdd basic exact caveat verifiers
Julien Tanguy [Fri, 15 May 2015 20:31:05 +0000 (22:31 +0200)] 
Add basic exact caveat verifiers

Need more tests

Touching #2 Verify first party caveats

9 years ago1st party caveats to Macaroon Arbitrary instance
Julien Tanguy [Fri, 15 May 2015 16:29:11 +0000 (18:29 +0200)] 
1st party caveats to Macaroon Arbitrary instance

9 years agoAdd newlines between Caveats in Macaroon's show
Julien Tanguy [Fri, 15 May 2015 16:17:13 +0000 (18:17 +0200)] 
Add newlines between Caveats in Macaroon's show

[ci skip]

9 years agoAdd quickcheck properties
Julien Tanguy [Fri, 15 May 2015 14:03:30 +0000 (16:03 +0200)] 
Add quickcheck properties

9 years agoTransfer TODO to github issues
Julien Tanguy [Fri, 15 May 2015 16:28:13 +0000 (18:28 +0200)] 
Transfer TODO to github issues

[ci skip]

9 years agoUpdate changelog and fix cabal
Julien Tanguy [Thu, 14 May 2015 17:16:26 +0000 (19:16 +0200)] 
Update changelog and fix cabal

9 years agoBasic verification of macaroons
Julien Tanguy [Thu, 14 May 2015 17:00:50 +0000 (19:00 +0200)] 
Basic verification of macaroons

- Only signatures are checked

9 years agoAdd some notes on macaroons
Julien Tanguy [Wed, 13 May 2015 17:45:26 +0000 (19:45 +0200)] 
Add some notes on macaroons

[ci skip]

9 years agoRearrange tests
Julien Tanguy [Wed, 13 May 2015 09:08:08 +0000 (11:08 +0200)] 
Rearrange tests

[ci skip]

9 years agoRemove third party caveats
Julien Tanguy [Wed, 13 May 2015 09:07:46 +0000 (11:07 +0200)] 
Remove third party caveats

[ci skip]

9 years agoFix haddock and add changelog
Julien Tanguy [Wed, 6 May 2015 12:07:26 +0000 (14:07 +0200)] 
Fix haddock and add changelog

[ci skip]

9 years agoHaddock markup
Julien Tanguy [Wed, 6 May 2015 11:53:36 +0000 (13:53 +0200)] 
Haddock markup

[ci skip]

9 years agoFix build and add travis badge
Julien Tanguy [Wed, 6 May 2015 09:52:59 +0000 (11:52 +0200)] 
Fix build and add travis badge

9 years agoEdit travis config and package deps to match nixos'
Julien Tanguy [Wed, 6 May 2015 09:38:27 +0000 (11:38 +0200)] 
Edit travis config and package deps to match nixos'

9 years agoNixify package & documentation
Julien Tanguy [Wed, 6 May 2015 09:15:04 +0000 (11:15 +0200)] 
Nixify package & documentation

Added quickcheck helper

9 years agoAdd quickchecked serialization properties
Julien Tanguy [Wed, 15 Apr 2015 13:30:28 +0000 (15:30 +0200)] 
Add quickchecked serialization properties

9 years agoExtract sanity check
Julien Tanguy [Wed, 15 Apr 2015 09:27:54 +0000 (11:27 +0200)] 
Extract sanity check

9 years agoRefactor tests
Julien Tanguy [Tue, 14 Apr 2015 16:18:26 +0000 (18:18 +0200)] 
Refactor tests

9 years agoDisable third party caveats
Julien Tanguy [Tue, 14 Apr 2015 15:47:05 +0000 (17:47 +0200)] 
Disable third party caveats

9 years agoChange Eq instances
Julien Tanguy [Tue, 14 Apr 2015 15:43:52 +0000 (17:43 +0200)] 
Change Eq instances

9 years agoDeserialize Macaroons
Julien Tanguy [Tue, 14 Apr 2015 15:40:08 +0000 (17:40 +0200)] 
Deserialize Macaroons

- Refactor serialization/deserialization into its own module
- Refactor tests

9 years agoUpdate Readme: rust impl & todos
Julien Tanguy [Tue, 14 Apr 2015 15:38:26 +0000 (17:38 +0200)] 
Update Readme: rust impl & todos

9 years agoDocumentation
Julien Tanguy [Thu, 9 Apr 2015 16:04:05 +0000 (18:04 +0200)] 
Documentation

9 years agoRewording and lint
Julien Tanguy [Thu, 9 Apr 2015 15:29:37 +0000 (17:29 +0200)] 
Rewording and lint

9 years agoInitial commit
Julien Tanguy [Wed, 8 Apr 2015 23:12:36 +0000 (01:12 +0200)] 
Initial commit