| Re: [escet-dev] Maarten Goorden |
|
Hi Bert,
> I got an email from
Maarten Goorden, who has contributed supervisory control synthesis algorithms to CIF.
I don't
know Maarten
Goorden. I know Martijn Goorden. Did you mean Martijn or are they different people?
> Suggestion:
he has noticed that the CIF commands have changed, in the sense that version numbers (tooldef2, simcif3) are no longer used and suggested to put this info in the release notes.
We
updated the release notes as part of issue #19 (https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/19).
That includes changes to CIF command line tools and CIF tools in ToolDef scripts, as well as the ToolDef file extension. See for current release notes of CIF
and ToolDef:
The ToolDef command line tool and ToolDef command in ToolDef scripts have not changed.
The
changes to the release notes are not yet included in v0.1-M2.
> Question: he is now communicating directly to me [...] and asks where to raise these issues: to me, to Dennis,
to escet gitlab or another platform.
Please refer him to https://www.eclipse.org/escet/escet/#contact-chapter-index. For the specific macOS issues we already have GitLab issues so he can directly comment on the GitLab issues.
Dennis
Van: escet-dev <escet-dev-bounces@xxxxxxxxxxx> namens Beek, Bert van <D.A.v.Beek@xxxxxx>
Verzonden: woensdag 17 maart 2021 11:34 Aan: escet developer discussions <escet-dev@xxxxxxxxxxx> Onderwerp: [escet-dev] Maarten Goorden I got an email from Maarten Goorden, who has contributed supervisory control synthesis algorithms to CIF. He has a suggestion and a question.
Suggestion: he has noticed that the CIF commands have changed, in the sense that version numbers (tooldef2, simcif3) are no longer used and suggested to put this info in the release notes. Question: he is now communicating directly to me (e.g. he noticed that the installation instruction for the Mac for Big Sur no longer apply in v01M2) and asks where to raise these issues: to me, to Dennis, to escet gitlab or another platform. Regards Bert _______________________________________________ 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 |