Create representation for eFLINT JSON Specification

epi-project / policy-reasoner

Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.

1 stars 1 forks source link

Create representation for eFLINT JSON Specification #14

Closed Lut99 closed 11 months ago

Lut99 commented 12 months ago

To serialize to eFLINT, we need to know what to serialize to. Based on the work by @baskwbx, we will create a Rust-implementation of the eFLINT JSON Specification in https://gitlab.com/eflint/json-spec-rs.

Lut99 commented 11 months ago

Note: temporarily serializing to Bas' spec instead of the one in GitLab. As such, extra TODO to replace the serialization logic (as follow up of #5).

Lut99 commented 11 months ago

The spec has been created, we just have to move the current codebase to it (waiting for the new spec repo to become public) - see #17