Add Folder Structure to Code

REPROSEC / dolev-yao-star-extrinsic

DY* with extrinsic proofs

https://reprosec.org/

Mozilla Public License 2.0

8 stars 0 forks source link

Add Folder Structure to Code #1

Closed fabian-hk closed 2 months ago

fabian-hk commented 2 months ago

I want to propose a more fine-grained folder structure for DY*. It would be clearer if we separate the core, library, and example code. The folder structure could look like this for example:

|- src (containing the core DY*)
|- lib
    |- compares
    |- state
    |- ...
|- [examples|protocols] (not sure what the best name is)
    |- nsl
    |- iso-dh
    |- ...