search

robstoll / atrium-roadmap

Contains issues created by the maintainers of Atrium
1 stars 0 forks source link

introduce interface groups for ReporterBuilder #65

Closed robstoll closed 3 weeks ago

robstoll commented 4 years ago

I suggest we introduce interface groups for RepoterBuilder as I did in other cases (e.g. see Descriptive); should only break binary compatibility but should still be done in a major version

robstoll commented 3 weeks ago

obsolete with the introduction of Proof and the newly tree-builder