Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge travis config from master | Julien Tanguy | 2015-08-17 | 1 | -33/+27 |
|\ | |||||
| * | Handle different flags for 'cabal test' | Julien Tanguy | 2015-08-17 | 1 | -4/+5 |
| * | Forgot to enable tests and benchs in dep install | Julien Tanguy | 2015-08-17 | 1 | -1/+1 |
| * | Remove hpc-coveralls for now | Julien Tanguy | 2015-08-17 | 1 | -5/+2 |
| * | Fix travix.yml | Julien Tanguy | 2015-08-17 | 1 | -32/+20 |
| * | Update travis.yml to use the new infrastructure | Julien Tanguy | 2015-08-17 | 1 | -11/+19 |
| * | Fix travis.yml | Julien Tanguy | 2015-07-08 | 1 | -3/+3 |
* | | Change verifier api and split Verifier module | Julien Tanguy | 2015-08-17 | 9 | -72/+104 |
* | | Typos and stylish-haskell | Julien Tanguy | 2015-08-17 | 5 | -22/+19 |
* | | Basic validation functions | Julien Tanguy | 2015-08-16 | 6 | -40/+165 |
* | | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 4 | -100/+42 |
|/ | |||||
* | Enable library coverage via coveralls.io | Julien Tanguy | 2015-07-08 | 1 | -2/+5 |
* | Update QuickCheck | Julien Tanguy | 2015-06-17 | 2 | -14/+2 |
* | Add basic macaroon verification | Julien Tanguy | 2015-06-17 | 5 | -28/+141 |
|\ | |||||
| * | Add Sig/cav verifier | Julien Tanguy | 2015-05-16 | 2 | -4/+24 |
| * | Fix caveat verification | Julien Tanguy | 2015-05-16 | 3 | -46/+53 |
| * | Add generalized function verifier | Julien Tanguy | 2015-05-15 | 2 | -19/+26 |
| * | Add basic exact caveat verifiers | Julien Tanguy | 2015-05-15 | 2 | -10/+69 |
| * | 1st party caveats to Macaroon Arbitrary instance | Julien Tanguy | 2015-05-15 | 1 | -1/+13 |
| * | Add newlines between Caveats in Macaroon's show | Julien Tanguy | 2015-05-15 | 1 | -1/+1 |
| * | Add quickcheck properties | Julien Tanguy | 2015-05-15 | 3 | -15/+23 |
|/ | |||||
* | Transfer TODO to github issues | Julien Tanguy | 2015-05-15 | 1 | -11/+0 |
* | Update changelog and fix cabal | Julien Tanguy | 2015-05-14 | 2 | -1/+2 |
* | Basic verification of macaroons | Julien Tanguy | 2015-05-14 | 4 | -1/+97 |
* | Add some notes on macaroons | Julien Tanguy | 2015-05-13 | 1 | -0/+24 |
* | Rearrange tests | Julien Tanguy | 2015-05-13 | 1 | -1/+1 |
* | Remove third party caveats | Julien Tanguy | 2015-05-13 | 4 | -16/+15 |
* | Fix haddock and add changelog | Julien Tanguy | 2015-05-06 | 2 | -21/+17 |
* | Haddock markup | Julien Tanguy | 2015-05-06 | 2 | -0/+3 |
* | Fix build and add travis badge | Julien Tanguy | 2015-05-06 | 3 | -3/+3 |
* | Edit travis config and package deps to match nixos' | Julien Tanguy | 2015-05-06 | 3 | -4/+52 |
* | Nixify package & documentation | Julien Tanguy | 2015-05-06 | 6 | -6/+117 |
* | Add quickchecked serialization properties | Julien Tanguy | 2015-04-15 | 3 | -0/+61 |
* | Extract sanity check | Julien Tanguy | 2015-04-15 | 3 | -14/+24 |
* | Refactor tests | Julien Tanguy | 2015-04-14 | 4 | -47/+103 |
* | Disable third party caveats | Julien Tanguy | 2015-04-14 | 3 | -16/+17 |
* | Change Eq instances | Julien Tanguy | 2015-04-14 | 1 | -2/+22 |
* | Deserialize Macaroons | Julien Tanguy | 2015-04-14 | 4 | -45/+127 |
* | Update Readme: rust impl & todos | Julien Tanguy | 2015-04-14 | 1 | -1/+3 |
* | Documentation | Julien Tanguy | 2015-04-09 | 3 | -2/+15 |
* | Rewording and lint | Julien Tanguy | 2015-04-09 | 5 | -56/+90 |
* | Initial commit | Julien Tanguy | 2015-04-09 | 11 | -0/+528 |