Merge branch 'develop' into 'master'
#392 develop to master for v0.7-RC1 See merge request eclipse/escet/escet!375
No related branches found
No related tags found
Showing
- chi/org.eclipse.escet.chi.documentation/asciidoc/release-notes.asciidoc 10 additions, 0 deletions...e.escet.chi.documentation/asciidoc/release-notes.asciidoc
- chi/org.eclipse.escet.chi.texteditor/META-INF/MANIFEST.MF 3 additions, 1 deletionchi/org.eclipse.escet.chi.texteditor/META-INF/MANIFEST.MF
- chi/org.eclipse.escet.chi.texteditor/plugin.xml 9 additions, 0 deletionschi/org.eclipse.escet.chi.texteditor/plugin.xml
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiSourceViewerConfig.java 22 additions, 4 deletions...g/eclipse/escet/chi/texteditor/ChiSourceViewerConfig.java
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiTextEditor.java 3 additions, 2 deletions...r/src/org/eclipse/escet/chi/texteditor/ChiTextEditor.java
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiTextEditorDarkTheme.java 46 additions, 0 deletions.../eclipse/escet/chi/texteditor/ChiTextEditorDarkTheme.java
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiTextEditorLightTheme.java 46 additions, 0 deletions...eclipse/escet/chi/texteditor/ChiTextEditorLightTheme.java
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiTextEditorPreferencePage.java 21 additions, 0 deletions...pse/escet/chi/texteditor/ChiTextEditorPreferencePage.java
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiTextEditorStylable.java 44 additions, 0 deletions...g/eclipse/escet/chi/texteditor/ChiTextEditorStylable.java
- chi/org.eclipse.escet.chi.texteditor/src/org/eclipse/escet/chi/texteditor/ChiTextScanner.java 17 additions, 8 deletions.../src/org/eclipse/escet/chi/texteditor/ChiTextScanner.java
- cif/org.eclipse.escet.cif.cif2yed/src/org/eclipse/escet/cif/cif2yed/CifToYedDiagram.java 2 additions, 1 deletion...ed/src/org/eclipse/escet/cif/cif2yed/CifToYedDiagram.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/CifPreconditionChecker.java 7 additions, 5 deletions.../org/eclipse/escet/cif/common/CifPreconditionChecker.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/CifTextUtils.java 101 additions, 0 deletions...common/src/org/eclipse/escet/cif/common/CifTextUtils.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/CifCheckViolation.java 75 additions, 16 deletions.../eclipse/escet/cif/common/checkers/CifCheckViolation.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/CifCheckViolations.java 23 additions, 6 deletions...eclipse/escet/cif/common/checkers/CifCheckViolations.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/checks/AutNoKindlessCheck.java 4 additions, 1 deletion.../escet/cif/common/checkers/checks/AutNoKindlessCheck.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/checks/AutOnlyWithOneInitLocCheck.java 13 additions, 11 deletions...if/common/checkers/checks/AutOnlyWithOneInitLocCheck.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/checks/CompNoInitPredsCheck.java 4 additions, 1 deletion...scet/cif/common/checkers/checks/CompNoInitPredsCheck.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/checks/CompOnlyVarValueMarkerPredsCheck.java 8 additions, 5 deletions...mon/checkers/checks/CompOnlyVarValueMarkerPredsCheck.java
- cif/org.eclipse.escet.cif.common/src/org/eclipse/escet/cif/common/checkers/checks/CompStateInvsOnlyReqsCheck.java 4 additions, 3 deletions...if/common/checkers/checks/CompStateInvsOnlyReqsCheck.java
Loading
Please register or sign in to comment