]> git.immae.eu Git - github/fretlink/hmacaroons.git/log
github/fretlink/hmacaroons.git
8 years agoAdd maintenance status badge master
Julien Tanguy [Sat, 16 Jan 2016 10:03:52 +0000 (11:03 +0100)] 
Add maintenance status badge

8 years agoCopy benchmark *before* cd-ing into haddock dir
Julien Tanguy [Tue, 17 Nov 2015 12:15:11 +0000 (13:15 +0100)] 
Copy benchmark *before* cd-ing into haddock dir

8 years agoCopy benchmark report to haddock
Julien Tanguy [Tue, 17 Nov 2015 12:05:17 +0000 (13:05 +0100)] 
Copy benchmark report to haddock

8 years agoFix travis.yml
Julien Tanguy [Tue, 17 Nov 2015 10:58:47 +0000 (11:58 +0100)] 
Fix travis.yml

Statements inside a if construct need a semicolon at the end

8 years agoFix travis.yaml. Again
Julien Tanguy [Tue, 17 Nov 2015 10:53:42 +0000 (11:53 +0100)] 
Fix travis.yaml. Again

8 years agoFix travis.yml
Julien Tanguy [Tue, 17 Nov 2015 10:47:55 +0000 (11:47 +0100)] 
Fix travis.yml

I have no idea why it broke. Maybe the inline comment?

8 years agoEdit travis.yml
Julien Tanguy [Tue, 17 Nov 2015 09:58:53 +0000 (10:58 +0100)] 
Edit travis.yml

Hopefully fixes travis build on ghc-7.8

8 years agoFix yml syntax/typo
Julien Tanguy [Mon, 16 Nov 2015 23:59:27 +0000 (00:59 +0100)] 
Fix yml syntax/typo

Oopsie, a then/else block should be aligned.

8 years agoChange enable-coverage flag for cabal 1.18
Julien Tanguy [Mon, 16 Nov 2015 23:43:37 +0000 (00:43 +0100)] 
Change enable-coverage flag for cabal 1.18

8 years agoAdd coveralls.io badge to README
Julien Tanguy [Mon, 16 Nov 2015 23:33:27 +0000 (00:33 +0100)] 
Add coveralls.io badge to README

[ci skip]

8 years agoAdd ~/.cabal/bin to PATH
Julien Tanguy [Mon, 16 Nov 2015 23:26:37 +0000 (00:26 +0100)] 
Add ~/.cabal/bin to PATH

8 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

8 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

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

[ci skip]

8 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

8 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]

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

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

[ci skip]

8 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

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

8 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

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

8 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

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

8 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

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

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

8 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

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

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

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

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

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

8 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

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

8 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

8 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

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

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

8 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

8 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]

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

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

8 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

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

[ci skip]

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

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

[ci skip]

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

QuickCheck properties > HUnit tests

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

8 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

8 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

8 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]

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

8 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]

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

8 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

8 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]

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

[ci skip]

8 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