Clément Delafargue

closes #116 Please note that the current samples don't follow these rules yet. The rust lib behaviour is fixed in https://github.com/biscuit-auth/biscuit-rust/pull/121

The grammar does not cover operator precedence. It would be good to match common rules, in order to be consistent with other languages and avoid surprises. I think being consistent...

Block scoping and third-party caveats

6

This issue tries to describe a scheme that has the potential to improve things on two fronts: - more explicit semantics wrt block scoping (see #86) - a support for...

Following discussions in #50 and #56, i've added extra (configurable) limitations to the haskell implementation: https://hackage.haskell.org/package/biscuit-haskell-0.1.0.0/docs/Auth-Biscuit-Datalog-Executor.html#t:Limits - `allowRegexes`: arbitrary regexes are a well known DoS vector. While #50 tries to...

- [x] update proto - [x] verify signatures - [ ] model scope annotations in datalog - [ ] parse scope annotations in datalog - [ ] special-case string interning...

`map_res!` has a misleading name

3

`map_res!` is closer conceptually to `and_then` than to `map` (as `map` should guarantee to not affect structure)

The goal of this branch is to explore how to add support for closures in the stack machine - closures are represented as a list of ops and a list...

See https://github.com/biscuit-auth/biscuit/issues/141 This adds `reject if` support to the parser as well as the serialization layer, raising the block version to 5 when used. This PR does not introduce an...