A committer election for Martijn Goorden on project Eclipse ESCET™
(Supervisory Control Engineering Toolkit) (technology.escet) was started by
Dennis Hendriks with this criteria:
Martijn Goorden has been contributing to various parts of the Eclipse
ESCET™ (Supervisory Control Engineering Toolkit) project for some time, and
has in this way made a positive impact on the project.
They have addressed the following issues:
- #171 Performance measuring of data-based synthesis
- #179 Documented location of eclipse.ini file on MacOS
- #188 Move Convert CIF to Yed diagram to CIF miscellaneous tools
- #216 Cannot terminate GUI simulations with terminate button
- #235 Rename and reorder statistics options
- #236 Make paper/book/etc references in documentation consistent
- #357 Update CIF documentation for recent Inkscape versions
- #413 Print counter example path for language equivalence check
- #419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small
fixes
- #483 Update macOS download instructions
- #525 CIF to CIF transformation to remove unused events
See the full list of completed merge requests at:
https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests?author_username=mgoorden7u4&scope=all&sort=created_date&state=merged.
Besides that, Martijn has joined in various discussions on other issues.
It is my pleasure to nominate Martijn Goorden as a committer on Eclipse
ESCET™ (Supervisory Control Engineering Toolkit).
Eclipse ESCET™ (Supervisory Control Engineering Toolkit) project committers
can click the election link below to vote.
Election:
https://projects.eclipse.org/projects/technology.escet/elections/election-martijn-goorden-committer-eclipse-escet%E2%84%A2-supervisory-control-engineering-toolkit
Project:
https://projects.eclipse.org/projects/technology.escet
_______________________________________________
escet-dev mailing list
escet-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/escet-dev