File tree
100 files changed
+117
-100
lines changed- plugins
- c
- hu.bme.mit.gamma.xsts.codegeneration.c/META-INF
- hu.bme.mit.gamma.xsts.codegeneration.c.commandhandler/META-INF
- core
- hu.bme.mit.gamma.action.language/META-INF
- hu.bme.mit.gamma.action.language.ide/META-INF
- hu.bme.mit.gamma.action.language.ui/META-INF
- hu.bme.mit.gamma.action.model/META-INF
- hu.bme.mit.gamma.codegeneration.java/META-INF
- hu.bme.mit.gamma.codegeneration.java.commandhandler/META-INF
- hu.bme.mit.gamma.codegeneration.java.util/META-INF
- hu.bme.mit.gamma.composition.xsts.uppaal.transformation/META-INF
- hu.bme.mit.gamma.dialog/META-INF
- hu.bme.mit.gamma.eventpriority.transformation/META-INF
- hu.bme.mit.gamma.expression.language/META-INF
- hu.bme.mit.gamma.expression.language.ide/META-INF
- hu.bme.mit.gamma.expression.language.ui/META-INF
- hu.bme.mit.gamma.expression.model/META-INF
- hu.bme.mit.gamma.genmodel.commandhandler/META-INF
- hu.bme.mit.gamma.genmodel.language/META-INF
- hu.bme.mit.gamma.genmodel.language.ide/META-INF
- hu.bme.mit.gamma.genmodel.language.ui/META-INF
- hu.bme.mit.gamma.genmodel.model/META-INF
- hu.bme.mit.gamma.gui/META-INF
- hu.bme.mit.gamma.language.util/META-INF
- hu.bme.mit.gamma.property.concretization.commandhandler/META-INF
- hu.bme.mit.gamma.property.language/META-INF
- hu.bme.mit.gamma.property.language.ide/META-INF
- hu.bme.mit.gamma.property.language.ui/META-INF
- hu.bme.mit.gamma.property.model/META-INF
- hu.bme.mit.gamma.querygenerator/META-INF
- hu.bme.mit.gamma.querygenerator.gui/META-INF
- hu.bme.mit.gamma.querygenerator.gui.commandhandler/META-INF
- hu.bme.mit.gamma.serializer.commandhandler/META-INF
- hu.bme.mit.gamma.statechart.contract.testgeneration.java/META-INF
- hu.bme.mit.gamma.statechart.contract.tracegeneration/META-INF
- hu.bme.mit.gamma.statechart.language/META-INF
- hu.bme.mit.gamma.statechart.language.ide/META-INF
- hu.bme.mit.gamma.statechart.language.ui/META-INF
- hu.bme.mit.gamma.statechart.model/META-INF
- hu.bme.mit.gamma.statechart.phase.transformation/META-INF
- hu.bme.mit.gamma.statechart.traverser/META-INF
- hu.bme.mit.gamma.trace.environment.transformation/META-INF
- hu.bme.mit.gamma.trace.language/META-INF
- hu.bme.mit.gamma.trace.language.ide/META-INF
- hu.bme.mit.gamma.trace.language.ui/META-INF
- hu.bme.mit.gamma.trace.model/META-INF
- hu.bme.mit.gamma.trace.testgeneration.c/META-INF
- hu.bme.mit.gamma.trace.testgeneration.commandhandler/META-INF
- hu.bme.mit.gamma.trace.testgeneration.java/META-INF
- hu.bme.mit.gamma.transformation.util/META-INF
- hu.bme.mit.gamma.ui/META-INF
- hu.bme.mit.gamma.uppaal.composition.transformation/META-INF
- hu.bme.mit.gamma.uppaal.composition.transformation.commandhandler/META-INF
- hu.bme.mit.gamma.uppaal.serializer/META-INF
- hu.bme.mit.gamma.uppaal.transformation/META-INF
- hu.bme.mit.gamma.uppaal.transformation.traceability/META-INF
- hu.bme.mit.gamma.uppaal.util/META-INF
- hu.bme.mit.gamma.uppaal.verification/META-INF
- hu.bme.mit.gamma.util/META-INF
- hu.bme.mit.gamma.validation/META-INF
- hu.bme.mit.gamma.verification.util/META-INF
- hu.bme.mit.gamma.yakindu.interface.transformation.commandhandler/META-INF
- hu.bme.mit.gamma.yakindu.transformation/META-INF
- hu.bme.mit.gamma.yakindu.transformation.traceability/META-INF
- headless/hu.bme.mit.gamma.headless.api/META-INF
- mutation/hu.bme.mit.gamma.mutation/META-INF
- nuxmv
- hu.bme.mit.gamma.nuxmv.verification/META-INF
- hu.bme.mit.gamma.xsts.nuxmv.transformation/META-INF
- ocra/hu.bme.mit.gamma.ocra.transformation/META-INF
- promela
- hu.bme.mit.gamma.promela.verification/META-INF
- hu.bme.mit.gamma.xsts.promela.transformation/META-INF
- rcp/hu.bme.mit.gamma.rcp/META-INF
- safety
- hu.bme.mit.gamma.fei.language/META-INF
- hu.bme.mit.gamma.fei.language.ide/META-INF
- hu.bme.mit.gamma.fei.language.ui/META-INF
- hu.bme.mit.gamma.fei.model/META-INF
- hu.bme.mit.gamma.fei.xsap.transformation/META-INF
- hu.bme.mit.gamma.xsap.visualizer/META-INF
- scenario
- hu.bme.mit.gamma.scenario.language/META-INF
- hu.bme.mit.gamma.scenario.language.ide/META-INF
- hu.bme.mit.gamma.scenario.language.ui/META-INF
- hu.bme.mit.gamma.scenario.model/META-INF
- hu.bme.mit.gamma.scenario.statechart.generator/META-INF
- hu.bme.mit.gamma.scenario.statechart.util/META-INF
- hu.bme.mit.gamma.scenario.trace.generator/META-INF
- setup/hu.bme.mit.gamma.setup/META-INF
- vis
- hu.bme.mit.gamma.plantuml.textprovider/META-INF
- hu.bme.mit.gamma.plantuml.transformation/META-INF
- xsts
- hu.bme.mit.gamma.lowlevel.xsts.transformation/META-INF
- hu.bme.mit.gamma.lowlevel.xsts.transformation.traceability/META-INF
- hu.bme.mit.gamma.statechart.lowlevel.model/META-INF
- hu.bme.mit.gamma.statechart.lowlevel.transformation/META-INF
- hu.bme.mit.gamma.statechart.lowlevel.transformation.commandhandler/META-INF
- hu.bme.mit.gamma.theta.verification/META-INF
- hu.bme.mit.gamma.xsts.codegeneration.java/META-INF
- hu.bme.mit.gamma.xsts.model/META-INF
- hu.bme.mit.gamma.xsts.transformation/META-INF
- hu.bme.mit.gamma.xsts.transformation.util/META-INF
- hu.bme.mit.gamma.xsts.uppaal.transformation/META-INF
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
100 files changed
+117
-100
lines changedLines changed: 1 addition & 1 deletion
Lines changed: 18 additions & 1 deletion
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
0 commit comments