Commits · 9bd86654cac32a19b20ade8391f4298e2f21bf24 · Felicien IHIRWE / chess

May 20, 2020
- Use join to wait for job to finish · 9bd86654
  Luca Cristoforetti authored 4 years ago
  
  9bd86654
- Improve handling of checkers execution · b1ff679b
  Luca Cristoforetti authored 4 years ago
  
  b1ff679b
May 19, 2020
- First version checkers sync run · 026b1c3f
  Luca Cristoforetti authored 4 years ago
  
  026b1c3f
May 12, 2020
- Add some small utilities to EntityUtil · 7b84cb30
  Luca Cristoforetti authored 4 years ago
  
  7b84cb30
May 08, 2020
- Merge branch '251-create-chess-bundle-via-maven' into 'master' · 70f213d2
  Alberto Debiasi authored 4 years ago
  
  Resolve "Create CHESS Bundle via Maven" Closes #251 See merge request CPS_Design/CHESS!59
  70f213d2
- Merge remote-tracking branch 'origin/master' into 251-create-chess-bundle-via-maven · 0c929ab8
  Alberto Debiasi authored 4 years ago
  
  0c929ab8
May 07, 2020
- Add *.emtl files in transformations plugin. · ee01c6f9
  Alberto Debiasi authored 4 years ago
  
  Change-Id: If35f9beee35b7366d1a7327235ecee8ffbb04a9c
  ee01c6f9
- Add plugins to chess feature. · 57052ebb
  Alberto Debiasi authored 4 years ago
  
  57052ebb
- Remove old org.polarsys.chess.feature. · 094c4ed0
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I4f309ffa4fd58f6eb1f365a1181fb211ae252d18
  094c4ed0
- fix missing commons.io jar · a73b9ff1
  Pietro Braghieri authored 4 years ago
  
  a73b9ff1
May 06, 2020
- Update relativePath. · 5ea30814
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I0ae22fc052cc23f5a377a6a36d553e538f206fb2
  5ea30814
- add commons.io to target platform · a726cd91
  Pietro Braghieri authored 4 years ago
  
  a726cd91
- Make verificationService.test.runtime an eclipse-test-plugin. · 2dafe758
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ic93726f17b4db7fa8926d4c505a3f037a58f7bcb
  2dafe758
- Fix missing CHESS, EST, SDE features in CHESS bundle. · bd0eed9f
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I57accfabe9ed7980b8184754673dc0d25811a136
  bd0eed9f
- Replace ADIA feature with CHESS features in CHESS.product, update CHESS · e3bbd573
  Alberto Debiasi authored 4 years ago
  
  feature. Change-Id: I058ab16f63ce5a94a4370be388a7f2f3720b67c0
  e3bbd573
- Merge branch '251-create-chess-bundle-via-maven' of... · c688815b
  Alberto Debiasi authored 4 years ago
  
  Merge branch '251-create-chess-bundle-via-maven' of git@gitlab.fbk.eu:CPS_Design/CHESS.git into 251-create-chess-bundle-via-maven
  c688815b
- Fix pom.xml on bundle generation. · 01aa92c3
  Alberto Debiasi authored 4 years ago
  
  01aa92c3
- Fix pom.xml on bundle generation. · 7942b11a
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I5409d8d57a33344c87e2b2bd0f78be740bd22d90
  7942b11a
- fix target platform for aida · 380e3d52
  Pietro Braghieri authored 4 years ago
  
  380e3d52
- fix target platform for polarsys/eclipse · 160ba391
  Pietro Braghieri authored 4 years ago
  
  160ba391
May 05, 2020
- add missing bundles in the target platform · b851c11a
  Pietro Braghieri authored 4 years ago
  
  b851c11a
- Merge branch '252-add-new-constructors-to-statestatus-checker' into 'master' · 457e3ed8
  Luca Cristoforetti authored 4 years ago
  
  Resolve "Add new constructors to StateStatus checker" Closes #252 See merge request CPS_Design/CHESS!60
  457e3ed8
- Add new constructors to StateStatus checker · e41cbeac
  Luca Cristoforetti authored 4 years ago
  
  e41cbeac
- fix maven build and test · f4c2dace
  Pietro Braghieri authored 4 years ago
  
  f4c2dace
May 04, 2020
- Prepare CHESS bundle via Maven (in progress). · d5527e29
  Alberto Debiasi authored 4 years ago
  
  d5527e29
Apr 23, 2020
- Merge branch '250-add-new-constructors-to-namedistance-checker' into 'master' · 6698959c
  Luca Cristoforetti authored 4 years ago
  
  Resolve "Add new constructors to NameDistance checker" Closes #250 See merge request CPS_Design/CHESS!58
  6698959c
- Add new constructors to NameDistance checker · 1851c7c6
  Luca Cristoforetti authored 4 years ago
  
  1851c7c6
Apr 19, 2020
- remove src-gen from .gitignore · 4990f2b9
  Pietro Braghieri authored 4 years ago
  
  4990f2b9
- remove bin dir from include · ee514556
  Pietro Braghieri authored 4 years ago
  
  ee514556
- Merge branch '248-mavenize-fla-dsl-plugins' into 'master' · f9cd4358
  Pietro Braghieri authored 4 years ago
  
  Resolve "Mavenize FLA DSL Plugins" Closes #248 See merge request CPS_Design/CHESS!57
  f9cd4358
- mavenize fla dsl plugins · ed3a6cd6
  Pietro Braghieri authored 4 years ago
  
  ed3a6cd6
Apr 15, 2020
- Add path arg in getDirectoryNameFromDialog (2). · 60a191f1
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ib69399c07cfa42b3e16f90a3c2e973189e35bbfc
  60a191f1
- Add path arg in getDirectoryNameFromDialog. · 6b1aaead
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I5e46dca891d1b4b2525ddc1767649fb3cc3870ac
  6b1aaead
Apr 02, 2020
- Merge branch '245-implement-a-checker-for-identifiers-validity' into 'master' · acf0e910
  Luca Cristoforetti authored 4 years ago
  
  Resolve "Implement a checker for identifiers validity" Closes #245 See merge request CPS_Design/CHESS!56
  acf0e910
- Create a checker for the identifiers names · e9f63706
  Luca Cristoforetti authored 4 years ago
  
  e9f63706
Mar 31, 2020

Merge branch '244-improve-imarker-handling-in-problems-view-and-update-checker-manager' into 'master'

Resolve "Improve IMarker handling in Problems View and update Checker Manager"

Closes #244

See merge request CPS_Design/CHESS!55

d3df5123

Improve marker generation and handling · cdd098c9
Luca Cristoforetti authored 4 years ago

cdd098c9

Mar 30, 2020
- Merge branch '243-add-target-platform-for-eclipse-polarsys' into 'master' · 9767b0c5
  Pietro Braghieri authored 4 years ago
  
  Resolve "Add Target Platform for Eclipse/Polarsys" Closes #243 See merge request CPS_Design/CHESS!54
  9767b0c5
- :add target platform for AIDA · 70d1daf2
  Pietro Braghieri authored 4 years ago
  
  update target platform for elcipse/polarsys
  70d1daf2
Mar 26, 2020
- Update feature list · 987234b6
  Luca Cristoforetti authored 4 years ago
  
  987234b6