]>
git.immae.eu Git - github/fretlink/hmacaroons.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Julien Tanguy [Mon, 16 Nov 2015 23:26:37 +0000 (00:26 +0100)]
Add ~/.cabal/bin to PATH
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
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
Julien Tanguy [Mon, 5 Oct 2015 16:40:10 +0000 (18:40 +0200)]
Cosmetic changes to README
[ci skip]
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
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]
Julien Tanguy [Thu, 24 Sep 2015 12:06:51 +0000 (14:06 +0200)]
Enable gitter notifications for travis
Julien Tanguy [Thu, 24 Sep 2015 12:06:08 +0000 (14:06 +0200)]
Move travis badge
[ci skip]
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
The Gitter Badger [Wed, 23 Sep 2015 15:31:22 +0000 (15:31 +0000)]
Add Gitter badge
Julien Tanguy [Sat, 5 Sep 2015 00:48:19 +0000 (02:48 +0200)]
Silence git messages in pushdoc.sh
Julien Tanguy [Sat, 5 Sep 2015 00:40:37 +0000 (02:40 +0200)]
Fix typo in secure var
Julien Tanguy [Sat, 5 Sep 2015 00:14:47 +0000 (02:14 +0200)]
Make travis push haddock to gh-pages
Julien Tanguy [Fri, 4 Sep 2015 23:53:08 +0000 (01:53 +0200)]
Import generic, updated shell.nix
Julien Tanguy [Mon, 17 Aug 2015 17:41:47 +0000 (19:41 +0200)]
Add transformers to bench deps
Julien Tanguy [Mon, 17 Aug 2015 17:40:19 +0000 (19:40 +0200)]
Merge branch 'verification'
Julien Tanguy [Mon, 17 Aug 2015 17:39:05 +0000 (19:39 +0200)]
Modify exports & haddock
Julien Tanguy [Mon, 17 Aug 2015 17:11:24 +0000 (19:11 +0200)]
Use hvr's generated .travis.yml
Julien Tanguy [Mon, 17 Aug 2015 16:56:12 +0000 (18:56 +0200)]
ghc<7.10.1 compat
Julien Tanguy [Mon, 17 Aug 2015 16:23:23 +0000 (18:23 +0200)]
Add some internal tests
Julien Tanguy [Mon, 17 Aug 2015 16:21:14 +0000 (18:21 +0200)]
Import Control.Applicative
Julien Tanguy [Mon, 17 Aug 2015 15:52:34 +0000 (17:52 +0200)]
Add missing Data.Monoid import
Julien Tanguy [Mon, 17 Aug 2015 15:50:47 +0000 (17:50 +0200)]
Merge travis config from master
Julien Tanguy [Mon, 17 Aug 2015 15:38:24 +0000 (17:38 +0200)]
Change verifier api and split Verifier module
- Added haddocks
Julien Tanguy [Mon, 17 Aug 2015 15:36:35 +0000 (17:36 +0200)]
Typos and stylish-haskell
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
Julien Tanguy [Mon, 17 Aug 2015 14:28:07 +0000 (16:28 +0200)]
Forgot to enable tests and benchs in dep install
Julien Tanguy [Mon, 17 Aug 2015 14:19:59 +0000 (16:19 +0200)]
Remove hpc-coveralls for now
Julien Tanguy [Mon, 17 Aug 2015 13:43:40 +0000 (15:43 +0200)]
Fix travix.yml
Julien Tanguy [Mon, 17 Aug 2015 13:00:18 +0000 (15:00 +0200)]
Update travis.yml to use the new infrastructure
Julien Tanguy [Sun, 16 Aug 2015 21:22:10 +0000 (23:22 +0200)]
Basic validation functions
Still needs testing
[ci skip]
Julien Tanguy [Wed, 8 Jul 2015 17:39:38 +0000 (19:39 +0200)]
Fix travis.yml
Julien Tanguy [Wed, 8 Jul 2015 16:13:14 +0000 (18:13 +0200)]
Rewrite Verifier with Validation
Julien Tanguy [Wed, 8 Jul 2015 17:12:59 +0000 (19:12 +0200)]
Enable library coverage via coveralls.io
Julien Tanguy [Wed, 17 Jun 2015 15:51:29 +0000 (17:51 +0200)]
Update QuickCheck
[ci skip]
Julien Tanguy [Wed, 17 Jun 2015 15:17:36 +0000 (17:17 +0200)]
Add basic macaroon verification
Julien Tanguy [Sat, 16 May 2015 10:51:22 +0000 (12:51 +0200)]
Add Sig/cav verifier
[ci skip]
Julien Tanguy [Sat, 16 May 2015 00:12:14 +0000 (02:12 +0200)]
Fix caveat verification
QuickCheck properties > HUnit tests
Julien Tanguy [Fri, 15 May 2015 21:02:22 +0000 (23:02 +0200)]
Add generalized function verifier
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
Julien Tanguy [Fri, 15 May 2015 16:29:11 +0000 (18:29 +0200)]
1st party caveats to Macaroon Arbitrary instance
Julien Tanguy [Fri, 15 May 2015 16:17:13 +0000 (18:17 +0200)]
Add newlines between Caveats in Macaroon's show
[ci skip]
Julien Tanguy [Fri, 15 May 2015 14:03:30 +0000 (16:03 +0200)]
Add quickcheck properties
Julien Tanguy [Fri, 15 May 2015 16:28:13 +0000 (18:28 +0200)]
Transfer TODO to github issues
[ci skip]
Julien Tanguy [Thu, 14 May 2015 17:16:26 +0000 (19:16 +0200)]
Update changelog and fix cabal
Julien Tanguy [Thu, 14 May 2015 17:00:50 +0000 (19:00 +0200)]
Basic verification of macaroons
- Only signatures are checked
Julien Tanguy [Wed, 13 May 2015 17:45:26 +0000 (19:45 +0200)]
Add some notes on macaroons
[ci skip]
Julien Tanguy [Wed, 13 May 2015 09:08:08 +0000 (11:08 +0200)]
Rearrange tests
[ci skip]
Julien Tanguy [Wed, 13 May 2015 09:07:46 +0000 (11:07 +0200)]
Remove third party caveats
[ci skip]
Julien Tanguy [Wed, 6 May 2015 12:07:26 +0000 (14:07 +0200)]
Fix haddock and add changelog
[ci skip]
Julien Tanguy [Wed, 6 May 2015 11:53:36 +0000 (13:53 +0200)]
Haddock markup
[ci skip]
Julien Tanguy [Wed, 6 May 2015 09:52:59 +0000 (11:52 +0200)]
Fix build and add travis badge
Julien Tanguy [Wed, 6 May 2015 09:38:27 +0000 (11:38 +0200)]
Edit travis config and package deps to match nixos'
Julien Tanguy [Wed, 6 May 2015 09:15:04 +0000 (11:15 +0200)]
Nixify package & documentation
Added quickcheck helper
Julien Tanguy [Wed, 15 Apr 2015 13:30:28 +0000 (15:30 +0200)]
Add quickchecked serialization properties
Julien Tanguy [Wed, 15 Apr 2015 09:27:54 +0000 (11:27 +0200)]
Extract sanity check
Julien Tanguy [Tue, 14 Apr 2015 16:18:26 +0000 (18:18 +0200)]
Refactor tests
Julien Tanguy [Tue, 14 Apr 2015 15:47:05 +0000 (17:47 +0200)]
Disable third party caveats
Julien Tanguy [Tue, 14 Apr 2015 15:43:52 +0000 (17:43 +0200)]
Change Eq instances
Julien Tanguy [Tue, 14 Apr 2015 15:40:08 +0000 (17:40 +0200)]
Deserialize Macaroons
- Refactor serialization/deserialization into its own module
- Refactor tests
Julien Tanguy [Tue, 14 Apr 2015 15:38:26 +0000 (17:38 +0200)]
Update Readme: rust impl & todos
Julien Tanguy [Thu, 9 Apr 2015 16:04:05 +0000 (18:04 +0200)]
Documentation
Julien Tanguy [Thu, 9 Apr 2015 15:29:37 +0000 (17:29 +0200)]
Rewording and lint
Julien Tanguy [Wed, 8 Apr 2015 23:12:36 +0000 (01:12 +0200)]
Initial commit