informalsystems / informalsystems/modelator

Write ADR-01 on overall tool architecture

Open
#210 1 comment 0 reactions 1 assignee Claimed by @andrey-kuprianov View on GitHub
dev
Dominant language
Python
Stars
72
Forks
6
PR merge metrics
No merged PRs in 30d

Description

The purpose of ADR-01 is to outline the decomposition of `Modelator` into components and their APIs, such that the work on the tool can be efficiently parallelized. As the tool will undergo many changes in the near future, the constructed document will have to also undergo several refinement iterations; please read the resulting document critically, and feel free to propose changes. The description of architecture of sub-components will be delegated to subsequent ADRs.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.