escet merge requestshttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests2023-02-20T08:30:52Zhttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/507#535 Fix SynthesisEdge.apply JavaDoc for 'pred' argument.2023-02-20T08:30:52ZDennis Hendriks#535 Fix SynthesisEdge.apply JavaDoc for 'pred' argument.Closes #535Closes #535v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/505#533 Don't show the edge order option in the option dialog anymore.2023-02-17T07:47:22ZDennis Hendriks#533 Don't show the edge order option in the option dialog anymore.- The option is already unsupported.
- Without using the option dialog, there is no problem.
- When using the option dialog, the tool always gives an error now.
- This fixes a serious regression, making the tool usable again.
Closes #533- The option is already unsupported.
- Without using the option dialog, there is no problem.
- When using the option dialog, the tool always gives an error now.
- This fixes a serious regression, making the tool usable again.
Closes #533v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/493#521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.html2023-01-28T07:31:23ZFerdie Reijnen#521 Update https://www.eclipse.org/escet/cif/tools/cifsim/debug-gen-code.htmlCloses #521Closes #521v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/489#519 Fix errors and warnings in develop.2023-01-24T08:00:52ZDennis Hendriks#519 Fix errors and warnings in develop.Closes #519Closes #519v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/484#513 Made CIF simulator unsupported message for time-dependent state invarian...2023-01-22T09:32:09ZFerdie Reijnen#513 Made CIF simulator unsupported message for time-dependent state invariants more specificCloses #513Closes #513v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/476#506 Copy, paste, not-modified error on https://www.eclipse.org/escet/cif/lan...2023-01-12T21:26:47ZFerdie Reijnen#506 Copy, paste, not-modified error on https://www.eclipse.org/escet/cif/language-tutorial/data/state-invariants.htmlCloses #506Closes #506v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/475#503 Bug in example on https://www.eclipse.org/escet/cif/language-tutorial/ba...2023-01-12T11:45:43ZFerdie Reijnen#503 Bug in example on https://www.eclipse.org/escet/cif/language-tutorial/basics/non-determinism.htmlCloses #503Closes #503v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/474#501 Typo on https://www.eclipse.org/escet/cif/language-tutorial/2023-01-12T11:44:18ZFerdie Reijnen#501 Typo on https://www.eclipse.org/escet/cif/language-tutorial/Closes #501Closes #501v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/465#496 CifCheckViolation JavaDoc capitalization fix.2023-01-04T16:28:24ZDennis Hendriks#496 CifCheckViolation JavaDoc capitalization fix.Closes #496Closes #496v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/459#450 Rename 'path separator' to 'file separator'2022-12-31T13:55:31ZDennis Hendriks#450 Rename 'path separator' to 'file separator'Closes #450Closes #450v0.9https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/450#485 CIF simulator state viz column width support performance improved.2023-01-02T08:53:38ZDennis Hendriks#485 CIF simulator state viz column width support performance improved.- Calculate per character, caching the width per character.
Closes #485- Calculate per character, caching the width per character.
Closes #485https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/444#477 CIF simulator state visualizer column width performance improved.2022-12-22T18:38:14ZDennis Hendriks#477 CIF simulator state visualizer column width performance improved.- Moved column width support to separate class.
- Create image and GC context only once, not for every state update.
- Keep track of current column width, rather than querying it each time.
- Only reduce width if more than no width chang...- Moved column width support to separate class.
- Create image and GC context only once, not for every state update.
- Keep track of current column width, rather than querying it each time.
- Only reduce width if more than no width changes for >1 second.
Closes #477v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/418#446 CIF: Equal/Unequal on combination of ints and reals is inconsistent2022-12-15T19:43:03ZFerdie Reijnen#446 CIF: Equal/Unequal on combination of ints and reals is inconsistentCloses #446Closes #446https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/397#357 Update CIF documentation for recent Inkscape versions2022-11-24T18:13:04ZMartijn Goorden#357 Update CIF documentation for recent Inkscape versionsCloses #357.
This merge request includes
- Screenshots of the updated Inkscape interface.
- Text removed on the different coordinate systems, as there is no longer a difference (since Inkscape version >= 1.0).
- Text removed on resizing...Closes #357.
This merge request includes
- Screenshots of the updated Inkscape interface.
- Text removed on the different coordinate systems, as there is no longer a difference (since Inkscape version >= 1.0).
- Text removed on resizing document, since Inkscape no longer adds a transformation to the first layer (at least in the latest Inkscape version 1.2.1 I used today).
- Updated menu names in text.
- Updated the SVG files used for the screenshot so they no longer generate a legacy warning on opening in Inkscape. (At some point Inkscape changed from 90 DPI to 96 DPI.)v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/391#439 Get rid of references to 'receive(d) variables'.2022-10-17T06:34:42ZDennis Hendriks#439 Get rid of references to 'receive(d) variables'.Closes #439Closes #439v0.8https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/368#398 Various CIF check violation reporting improvements2022-09-23T06:38:53ZDennis Hendriks#398 Various CIF check violation reporting improvementsI opted to create a new merge request, rather than updating !350, as due to renaming all checks, there were heavy conflicts.
While implementing the design discussed at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#...I opted to create a new merge request, rather than updating !350, as due to renaming all checks, there were heavy conflicts.
While implementing the design discussed at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#note_959716, it quickly became more complicated than expected.
The messages may depend on whether the violation is reported on the object itself, or an ancestor of that object.
For instance, for a named location, it will report on the object itself, and it 'is urgent', while for a nameless location, it will be reported on the parent automaton, which 'has an urgent location'.
I then added a second replacement pattern, allowing for conditional replacement, explained it in the JavaDoc, etc.
This became a monster, and was completely non-extensible.
I therefore opted for a more extensive design, allowing for arbitrary trees of messages, and which is easily extensible.
Summary of the changes:
* `CifViolation` and `CifViolations` now allow reporting violations on both 'Specification' objects and 'null' values. This allows checks to just report violations on components, and not have to worry about whether they happen to be a `Specification`.
* `CifViolations` normalizes `Specification` objects to `null`, to have a single unique representation for specifications. This simplifies some of the other changes.
* `CifViolation` and `CifViolations` now allow reporting on non-named object. If the object is not named, they will automatically find the closest named ancestor and use that instead. The checks no longer have to find that closest named ancestor themselves anymore.
* Improved the JavaDoc with violation reporting instructions.
* Introduced message trees (type `CifCheckViolationMessage`) to build up more complex messages. `LiteralMessage` is for literal text. `ReportObjectTypeDescriptionMessage` implements the `{type-of-reported-object}` placeholder that we discussed at https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/350#note_959716. It uses the new `CifTextUtils.getTypeDescriptionForNamedObject` method. `IfReportOnSelfMessage` and `IfReportOnAncestorMessage` allow for conditional messages for when reporting on the object itself, or an ancestor. `SequenceMessage` allows concatenating messages, but should rarely be needed directly, as `CifViolations.add` has a varargs parameter for messages, so for the top level of the messages, it adds the `SequenceMessage` wrapper automatically.
* `CifViolation` can no longer decide from its field alone whether it will produce the same message as another `CifViolation` instance. Hence, `CifPreconditionChecker` removes duplicate messages now.
* I also fixed and improved some violation messages.
Closes #398v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/362#297 #405 CIF event-based language equivalence check generates incorrect coun...2022-09-04T10:51:11ZFerdie Reijnen#297 #405 CIF event-based language equivalence check generates incorrect counterexamplesCloses #297 #405Closes #297 #405v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/359#404 Event-based synthesis analysis tool has wrong conclusion2022-08-19T17:51:35ZFerdie Reijnen#404 Event-based synthesis analysis tool has wrong conclusionCloses #404Closes #404v0.7https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/356#401 Be more careful in ignoring 'target' directories2022-08-11T04:59:09ZAlbert Hofkamp#401 Be more careful in ignoring 'target' directoriesCloses #401Closes #401v0.7Albert HofkampAlbert Hofkamphttps://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/330#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kinds2022-06-12T18:11:05ZFerdie Reijnen#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kindsCloses #369Closes #369v0.6