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.

Sign up for GitHub

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

README.md for each formal languages #24

Open
TomyYamy opened this issue Apr 20, 2020 · 1 comment
Open

README.md for each formal languages #24

TomyYamy opened this issue Apr 20, 2020 · 1 comment
Assignees
@TomyYamy @nickovic
Labels
documentation Improvements or additions to documentation

Comments

@TomyYamy
Copy link
Collaborator

Maybe we can put README.md for each formal languages.
The location is maybe under rtamt/rtamt/grammar/xxx/README.md
@TomyYamy TomyYamy added the enhancement New feature or request label Apr 20, 2020
@TomyYamy TomyYamy added documentation Improvements or additions to documentation and removed enhancement New feature or request labels Apr 20, 2020
@ANogin
Copy link

ANogin commented Dec 21, 2023

Yes, please - would be very helpful. I've been trying to gleam this from papers you cite, and not everything is easy to figure out. E.g. in your example specs in README.md you use out = ... in your specs, and sometimes you have spec.declare_var('out', 'float') and sometimes you do not, and it's all unclear. In general, I have no clue e.g. whether I can introduce my own intermediate variables with var = ... + then use var later in the spec, but not ever provide the system with the value of var.

@ANogin ANogin mentioned this issue Dec 21, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@TomyYamy TomyYamy

@nickovic nickovic

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ANogin @TomyYamy @nickovic