Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Automatically generate documentation for supported patterns #430

Closed
danieldietsch opened this issue Jul 2, 2019 · 1 comment
Closed

Automatically generate documentation for supported patterns #430

danieldietsch opened this issue Jul 2, 2019 · 1 comment
Assignees
@danieldietsch @Langenfeld
Labels
docs ReqAnalyzer

Comments

@danieldietsch
Copy link
Member

We want to auto-generate a website that documents all the supported patterns of ReqAnalyzer and their countertrace formulas.

It would be even better if we would generate pictures of automata and/or timing diagrams.
@danieldietsch danieldietsch added DTS Issues relevant to the DTS project and removed DTS Issues relevant to the DTS project labels Mar 3, 2020
@danieldietsch danieldietsch reopened this Mar 3, 2020
@danieldietsch
Copy link
Member Author

Is done in principal -- pipeline for re-generating documentation is still required

@danieldietsch danieldietsch mentioned this issue Nov 17, 2020
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@danieldietsch danieldietsch

@Langenfeld Langenfeld

Labels
docs ReqAnalyzer
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@danieldietsch @Langenfeld