GitLab

#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixes

Closes #419

See merge request eclipse/escet/escet!376

#416 Add tests for CIF common checks

Closes #416

See merge request eclipse/escet/escet!373

#392 Update release notes for v0.7-RC1.

See merge request eclipse/escet/escet!371

- Requires JavaDoc suppression due to JDT bug.

#419 Added Oisterwijksebaan bridge real-world CIF synthesis example

Closes #419

See merge request eclipse/escet/escet!370

#425 Update release process documentation

Closes #425

See merge request eclipse/escet/escet!372

- There is no more type A and type B selection for release records.
- Add missing step to click 'Save' when editing release record.
- Add 'Prepare Git repo for vN.N development' issue creation.

- Formatting and consistency improvements.
- Improved comments.
- Naming all in English.
- Fixed some typos, fixed some casing consistencies, etc.
- SVG image improvements.

- Scripts are now simpler.
- Scripts use less options, including not showing the option dialog.

- Source: https://github.com/ffhreijnen/OBB.
- Unchanged for external Git repo.

#347 Add dark theme support for/to SeText-based text editors

Closes #347

See merge request eclipse/escet/escet!367

Merge branch '398-various-checks-for-cif-checker-crash-for-violations-in-the-root-of-the-specification-2' into 'develop'

#398 Various CIF check violation reporting improvements

Closes #398

See merge request eclipse/escet/escet!368

- Related enum class names are now also singular.

- Shortened class name a little bit.
- JavaDoc improvements to clarify the functionality.

- No need to put spaces before/after each literal message.
- Handles optional message parts automagically as well.