Skip to content

WIP: Initial structure for refactoring with clean separation behavior/model

Sophie Quinton requested to merge sophie/rt-proofs:behavior-model into master

Only added a few files to get started. The plan is to keep the current structure unaffected by the restructuring.

Merge request reports