Commits · 6d5cb5ba993c5c035db3bae421beb52eb914fec7 · Felicien IHIRWE / chess

Feb 09, 2018

Alberto Debiasi authored 7 years ago


Change-Id: I8ea7b8993adcb6206dd3965477d61e6cfa305960
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

6d5cb5ba

added CompositeContractImplementation and ModelChecking commands · 5a4211c5
Alberto Debiasi authored 7 years ago
```
Change-Id: Ib66c9b4a73352fee6a470d98d380e2561b4023d4
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
```
5a4211c5

fixed a bug in a EntityUtil's method · fea4ef64

Alberto Debiasi authored 7 years ago


Change-Id: I2df37a98a937af948e42c03c25fe4321c9ae5c11
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

fea4ef64

small changes on ContractEditor · aad6782f

Alberto Debiasi authored 7 years ago


Change-Id: I781fa4336fc6ff9406fc2f84a3139ef91342c8d7
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

aad6782f

Feb 08, 2018

- improved smv export for nominal state machines · 647e9e16

Alberto Debiasi authored 7 years ago

- renamed one method of JobCommand
- added methods to StateMachineModel class
- removed commented code
- formatted code


Change-Id: I66f06da83105fa51317df620623b325f3f493f6e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

647e9e16

Feb 06, 2018

updates smvExportService · 9c1306a8

Alberto Debiasi authored 7 years ago


Change-Id: Ie91ac677f58b02c6aaa35c073a2c762d7e10947f
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

9c1306a8

updates on verification commands · 76e7de69

Alberto Debiasi authored 7 years ago


Change-Id: I759e41622ebb2e9902bcfe826cee5cdfe00a22c5
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

76e7de69

added method getNominalStateMachines to retrieve the state machines of · 383238d3
Alberto Debiasi authored 7 years ago
```
the component and its sub components 

Change-Id: I02efbae6b1eb1d80ca5ba9b3227c3379be9918e3
```
383238d3

Feb 02, 2018

moved DialogUtils in chess.service · 03d1e249

Alberto Debiasi authored 7 years ago


Change-Id: I50449c6a181c8ea844b2245873c0753e08ea2720
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

03d1e249

- added smvExport Plugin · 7f52072b
Alberto Debiasi authored 7 years ago
```
Change-Id: Iabf4f632af6cb46eba4824ccb280c0f2183eda95
```
7f52072b

fixes: · 8120c2c2

Alberto Debiasi authored 7 years ago


- added new semantic checks on contract/property/contraint editors
- moved ChessSystemModel in chess.service plugin because it is used in
different classes
- removed duplicated code

Change-Id: I56c8900fbbfad3f25761fa63d1e36ede32a34ebe
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

8120c2c2

small fix on PapyrusModelListener · 65b52b6f

Alberto Debiasi authored 7 years ago


Change-Id: I9e3afe9f5498671acaf2d045d0bf0480d6b87cdb
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

65b52b6f

Added new methods to ContractEntityUtil and EntityUtil · 2d3b6764
Alberto Debiasi authored 7 years ago
```
Change-Id: I4024c79e5992eaee8cb77273ad55a6b54d5b603d
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
```
2d3b6764

Jan 31, 2018
- fixed state machines palettes · 780e4719
  Stefano puri authored 7 years ago
  
  780e4719
Jan 25, 2018

Added some methods in the ChessSystemModel class · 1b60c876

Alberto Debiasi authored 7 years ago


Change-Id: I8dc4fae81acaae835444adde86a5585e83008ee8
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

1b60c876

Jan 24, 2018

small fixes · f6aa9cba

Alberto Debiasi authored 7 years ago


Change-Id: I71d3b0313aa7ecbbf7974b2d6d4b1ad2cc9427fe
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

f6aa9cba

added isEditorAreaVisible in PapyrusModelListener · c2c28379

Alberto Debiasi authored 7 years ago


Change-Id: I9617190723b9fbc1efb71dda4c5b5bcfce2f2d19
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

c2c28379

Jan 22, 2018
- Merge "Added a check in the PapyrusListener" into neon · 54fb41ad
  Stefano puri authored 7 years ago
  
  54fb41ad
- Added a check in the PapyrusListener · 1e33363e
  Alberto Debiasi authored 7 years ago
  
  Change-Id: I73ac2c5c046d8420fa4031042c06f52544760a2b Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
  1e33363e
- [1821] Fixes to weak contract validation and status update · 6f6968a8
  Irfan Sljivo authored 7 years ago
  
  Bug: https://bugs.polarsys.org/show_bug.cgi?id=1821 Signed-off-by: Irfan Sljivo <irfan.sljivo@gmail.com>
  6f6968a8
Jan 18, 2018

small changes · b3a95b55

Alberto Debiasi authored 7 years ago


Change-Id: I0969d933e8a5f0ce6f5d6bbe66d44daa3b12d34d
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

b3a95b55

Added methods related to UML state machines and UML signals · 4bd15340
Alberto Debiasi authored 7 years ago
```
Change-Id: I413367005ceb16765136f9adacff617240b1658e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
```
4bd15340
small changes on org.polarsys.chess.service.utils.SelectionUlil · 53241911
Alberto Debiasi authored 7 years ago
```
Change-Id: I73d887bde1b6d1fd1ab1602fb7ce4af3ae25540e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
```
53241911
Added support for OCRA EventType in the export as .oss · d3c51bfa
Alberto Debiasi authored 7 years ago
```
Change-Id: I3ee36d7d2c6122d006e5ef855a0e9f9df7bc185b
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
```
d3c51bfa

Jan 15, 2018
- Removed some static keywords, fixed small changes in some manifest.mf · a4260cd8
  Alberto Debiasi authored 7 years ago
  
  Change-Id: I95c8c212263b7ede978e7749dce5ca8b60790f22 Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
  a4260cd8
Jan 12, 2018
- Merge "Added some methods related to state machines." into neon · c4fdcb42
  Stefano puri authored 7 years ago
  
  c4fdcb42
- Merge "small updates, added missing copyright license to few classes" into neon · aa792a3f
  Stefano puri authored 7 years ago
  
  aa792a3f
- add selection of FLA analysisContext to be used to run the analysis · 4496fe3f
  Stefano puri authored 7 years ago
  
  4496fe3f
Jan 11, 2018

Added some methods related to state machines. · 128336b6

Alberto Debiasi authored 7 years ago


Change-Id: I8e26589768518001913aad0b97b42c02b5c85d64
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

128336b6

Dec 22, 2017
- small updates, added missing copyright license to few classes · cdc5402c
  Alberto Debiasi authored 7 years ago
  
  Change-Id: If63ec95603977ee4a6e2b607f2ad83e653878502 Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
  cdc5402c
Dec 11, 2017

added CHESS icon to validation menu · 9c317545

Alberto Debiasi authored 7 years ago


Change-Id: I25a0481ca27a4c31cf681ff36f943753b732ac4b
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

9c317545

Dec 06, 2017

Moved all features from AMASS menu to CHESS menu. Removed AMASS menu · be3d73ac
Alberto Debiasi authored 7 years ago
```
Change-Id: I617b719c9234d5ea809d5f7723c595f41111c54e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
```
be3d73ac

Fixed issues with the size of the refinement popup. · cfeebda9

Alberto Debiasi authored 7 years ago

bug: https://bugs.polarsys.org/show_bug.cgi?id=1823


Change-Id: I867a8d054185511a33e877a1cc90e6a6a7e92d9c
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

cfeebda9

Nov 30, 2017

updated menus id in plugin.xml · b9a57d25

Alberto Debiasi authored 7 years ago


Change-Id: Ied0d9778ba6787482c4ac33ebecefa0b974a41b5
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

b9a57d25

Updated file's name of analysis results · 45174855

Alberto Debiasi authored 7 years ago


Change-Id: I828dee11c3ea1121f3b285e9f958ebbae047323c
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

45174855

Nov 29, 2017

Used Logger class instead of System.out to print info on the console, · 5b08bcb1

Alberto Debiasi authored 7 years ago

and improved methods isBooleanType, isRealType etc...

Change-Id: I29b51865d8be8e9555b496fcbf4b17386d2618a5
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

5b08bcb1

Nov 22, 2017

different updates: · dc60d4cf

Alberto Debiasi authored 7 years ago


- improved code
- fixedunexpected exception in refinementView and HierarchicalView
plugins
- fixed misplaced diagrams in the generated doc
- fixed license header of some classes

Change-Id: If6c9b182b4d807211fbcf4634fa964fdacbf9c8f
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

dc60d4cf

Nov 21, 2017
- Moved constants · 08ace316
  Stefano puri authored 7 years ago
  
  08ace316
- moved utils API · 3245d473
  Stefano puri authored 7 years ago
  
  3245d473
Nov 20, 2017

removed unused code · 00da6397

Alberto Debiasi authored 7 years ago


Change-Id: I649d9ddccd11b44829c083e78eead56233baa19b
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

00da6397