search

nickovic / rtamt

Specification-based real-time monitoring library
BSD 3-Clause "New" or "Revised" License
48 stars 20 forks source link

README.md for each formal languages #24

Open TomyYamy opened 4 years ago

TomyYamy commented 4 years ago

Maybe we can put README.md for each formal languages. The location is maybe under rtamt/rtamt/grammar/xxx/README.md

ANogin commented 8 months ago

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.