Commits · master · CPS_DesignTools / EST

01 Jul, 2022 1 commit

Alberto Debiasi authored Jul 01, 2022

Merge branch '34-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional' into 'master'

Resolve "Modify State Machine to SMV translation, to support old_smv_format as optional"

Closes #34

See merge request CPS_Design/EST!83

070d8fae

30 Jun, 2022 4 commits
- Handle static attributes in SM2smv. · 5e26c8aa
  Alberto Debiasi authored Jun 30, 2022
  
  5e26c8aa
- add methods to AbstractStateMachineModel. · f98b8b4a
  Alberto Debiasi authored Jun 30, 2022
  
  f98b8b4a
- Remove redundant guard condition in sm2smv. · 347cfff6
  Alberto Debiasi authored Jun 30, 2022
  
  347cfff6
- Set default_USE_OLD_MODEL to false in OCRAExxecService. · c99a69dd
  Alberto Debiasi authored Jun 30, 2022
  
  c99a69dd
29 Jun, 2022 3 commits
- remove param useOldSmvModel from API, handle new smv format. · ec4bff1b
  Alberto Debiasi authored Jun 29, 2022
  
  ec4bff1b
- Add methods to AbstractStateMachineModel. · 26624800
  Alberto Debiasi authored Jun 29, 2022
  
  26624800
- Merge remote-tracking branch 'origin/master' into... · be62738f
  Alberto Debiasi authored Jun 29, 2022
```
Merge remote-tracking branch 'origin/master' into 34-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional
```
  be62738f
17 Jun, 2022 3 commits
- Fix UnsupportedClassVersionError for neon profile. · 4ed20799
  Alberto Debiasi authored Jun 17, 2022
  
  4ed20799
- Exclude for all dependencies: equinox.preferences. · e6b0067f
  Alberto Debiasi authored Jun 17, 2022
  
  e6b0067f
- Exclude for all dependencies: equinox.common and core.runtime. · 5c471363
  Alberto Debiasi authored Jun 17, 2022
  
  5c471363
15 Jun, 2022 5 commits
- Exclude org.osgi.service from org.eclipse.core.runtime. · 6f5e2b7b
  Alberto Debiasi authored Jun 15, 2022
  
  6f5e2b7b
- Add explicit version of org.eclipse.equinox.preferences. · 5eae0613
  Alberto Debiasi authored Jun 15, 2022
  
  5eae0613
- Exclude org.osgi.service:org.osgi.service.prefs from neon profile. · 67b012b7
  Alberto Debiasi authored Jun 15, 2022
  
  67b012b7
- Add org.osgi.service.prefs to neon profile. · 367a7db8
  Alberto Debiasi authored Jun 15, 2022
  
  367a7db8
- Merge branch '75-statemachine-to-python-2' into 'master' · 4199bae6
  Alberto Debiasi authored Jun 15, 2022
```
Resolve "StateMachine to Python"

Closes #75

See merge request CPS_Design/EST!92
```
  4199bae6
14 Jun, 2022 2 commits
- Assign undef transition in py code in case of no trans choosen. · 6ebf30cb
  Alberto Debiasi authored Jun 14, 2022
  
  6ebf30cb
- Fix py translation in case of empty guard/effect. · 843529de
  Alberto Debiasi authored Jun 14, 2022
  
  843529de
13 Jun, 2022 4 commits
- Merge branch '76-max-function-not-correctly-supported-in-cleanc' into 'master' · a1402f09
  Alberto Debiasi authored Jun 13, 2022
```
Resolve "max function not correctly supported in CleanC"

Closes #76

See merge request CPS_Design/EST!91
```
  a1402f09
- Fix function attribute in AST2smv. · d0f88e4d
  Alberto Debiasi authored Jun 13, 2022
  
  d0f88e4d
- Support ArgumentExpressionList in CleanC2AST (2). · a88c1d75
  Alberto Debiasi authored Jun 13, 2022
  
  a88c1d75
- Support ArgumentExpressionList in CleanC2AST. · 1c9ba67e
  Alberto Debiasi authored Jun 13, 2022
  
  1c9ba67e
09 Jun, 2022 1 commit
- Merge branch '75-statemachine-to-python' into 'master' · af711dec
  Alberto Debiasi authored Jun 09, 2022
```
Resolve "StateMachine to Python"

Closes #75

See merge request CPS_Design/EST!90
```
  af711dec
08 Jun, 2022 3 commits
- Remove empty lines in guards/effects. · 2c182ae6
  Alberto Debiasi authored Jun 08, 2022
  
  2c182ae6
- Fix py template for state machine. · c447753f
  Alberto Debiasi authored Jun 08, 2022
  
  c447753f
- Add self prefix to enum. · 286d5654
  Alberto Debiasi authored Jun 08, 2022
  
  286d5654
07 Jun, 2022 1 commit
- Support SM2py (in progress). · b69c4ab8
  Alberto Debiasi authored Jun 07, 2022
  
  b69c4ab8
01 Jun, 2022 1 commit
- Merge branch '74-bug-on-sm2k2-related-to-enums' into 'master' · c60a9a84
  Alberto Debiasi authored Jun 01, 2022
```
Resolve "Bug on SM2K2 related to enums"

Closes #74

See merge request CPS_Design/EST!89
```
  c60a9a84
30 May, 2022 2 commits
- Reset errors in SM2K2 translation. · 205b5c75
  Alberto Debiasi authored May 30, 2022
  
  205b5c75
- Fix bug on enums in sm2k2 translation. · 37201cdc
  Alberto Debiasi authored May 30, 2022
  
  37201cdc
20 May, 2022 1 commit
- Add check on null value · 0397cc72
  Luca Cristoforetti authored May 20, 2022
  
  0397cc72
06 May, 2022 2 commits
- Merge branch '72-bug-on-ast2smv-for-positiveop-and-negativeop' into 'master' · 1fe5157e
  Alberto Debiasi authored May 06, 2022
```
Resolve "Bug on AST2SMV for PositiveOp and NegativeOp"

Closes #72

See merge request CPS_Design/EST!88
```
  1fe5157e
- Remove wrong casts in AST2SMV. · ec3a5040
  Alberto Debiasi authored May 06, 2022
  
  ec3a5040
03 May, 2022 3 commits
- Update README.md with CI info. · 8bc40ce6
  Alberto Debiasi authored May 03, 2022
  
  8bc40ce6
- Merge branch '71-update-ci-to-automate-deploy-of-all-eclipse-versions' into 'master' · c91b4054
  Alberto Debiasi authored May 03, 2022
```
Resolve "Update CI to automate deploy of all Eclipse versions."

Closes #71

See merge request CPS_Design/EST!87
```
  c91b4054
- Jobs only for master. · 6074ddfc
  Alberto Debiasi authored May 03, 2022
  
  6074ddfc
02 May, 2022 4 commits
- Update .gitlab-ci.yml file · 20e7c481
  Alberto Debiasi authored May 02, 2022
  
  20e7c481
- Fix bug in .gitlab-ci.yml. · 453be225
  Alberto Debiasi authored May 02, 2022
  
  453be225
- Update tempFolder in .gitlab-ci.yml. · 12749da4
  Alberto Debiasi authored May 02, 2022
  
  12749da4
- Update .gitlab-ci.yml file · 0569d633
  Alberto Debiasi authored May 02, 2022
  
  0569d633