New framework for prototyping UPPAAL language features #179
sdfg610
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello everyone.
I've been working on a small framework called "ProtoSugar" for prototyping new language features and syntactic sugar in UPPAAL, which works by mapping/rewriting the data going between the UPPAAL GUI and engine. This allows people to prototype ideas for UPPAAL without having to modify the engine.
If anyone would like to try using it and give some feedback, you're welcome to fetch the latest release from the ProtoSugar GitHub page (see link above). Section 1 of the README file explains how to set up everything and Section 2 showcases all currently implemented mappers (i.e., new language features).
Beta Was this translation helpful? Give feedback.
All reactions