Commits · c2904e170220b09bdcd7a5b831737eb4e4f126f6 · Felicien IHIRWE / chess

Jul 16, 2020
- Small improvements in API · c2904e17
  Luca Cristoforetti authored 4 years ago
  
  c2904e17
Jul 15, 2020
- Merge remote-tracking branch 'origin/devel' into 564973-enrich-entityUtil-methods · 1b8d2d1c
  Luca Cristoforetti authored 4 years ago
  
  1b8d2d1c
- Small fixes in utils · 7afba126
  Luca Cristoforetti authored 4 years ago
  
  7afba126
Jul 14, 2020
- Update oracles in regression test with CleanC. · dee52fae
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I1a088d7b666bd6c8f5d3b5e0a265d4ceda337fa5
  dee52fae
- Update CHESS model in regression test with CleanC. · beca2a69
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ic18e32777682048a6df2bf64ea27c65dbf5f5433
  beca2a69
- Further refinement of API · 8eb1a9bc
  Luca Cristoforetti authored 4 years ago
  
  8eb1a9bc
Jul 13, 2020
- Fix typo in CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx. · b77eb025
  Alberto Debiasi authored 4 years ago
  
  b77eb025
- Some refactoring on API · e4c209a6
  Luca Cristoforetti authored 4 years ago
  
  e4c209a6
- Initial proposal of new API · 07f85e92
  Luca Cristoforetti authored 4 years ago
  
  07f85e92
- Fix repo url in CONTRIBUTING.md. · 7ab9e7e8
  Alberto Debiasi authored 4 years ago
  
  7ab9e7e8
- Update CONTRIBUTING.md (2). · ba2f0412
  Alberto Debiasi authored 4 years ago
  
  ba2f0412
- Update CONTRIBUTING.md. · dbfabffe
  Alberto Debiasi authored 4 years ago
  
  dbfabffe
- Enrich CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx with CleanC description. · 75f33735
  Alberto Debiasi authored 4 years ago
  
  75f33735
- Add CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis document in documentation. · f68852e3
  Alberto Debiasi authored 4 years ago
  
  f68852e3
Jul 10, 2020
- Some refactoring on utility methods · ffe3da25
  Luca Cristoforetti authored 4 years ago
  
  ffe3da25
Jul 07, 2020
- Small refactoring of EntityUtil · 26a8db0a
  Luca Cristoforetti authored 4 years ago
  
  26a8db0a
Jul 06, 2020
- Add getProperties() method · 3dd3f7ce
  Luca Cristoforetti authored 4 years ago
  
  3dd3f7ce
Jun 18, 2020
- Small change to test submodule. · 5d421659
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I66ec9a88bd702adab1c0a58d2becf7cfc9ff2d32
  5d421659
- Add default profile. · 9a81208a
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I57e9bf603414abd1ee7716669e8c202bb7f5e737
  9a81208a
- Merge branch 'devel' of https://git.eclipse.org/r/chess/chess.git into · a973eb80
  Alberto Debiasi authored 4 years ago
  
  devel Conflicts: org.polarsys.chess.parent/releng/org.polarsys.chess.configuration/pom.xml Change-Id: I0bc884825719dba819a81d5b85cc060560e52b2a
  a973eb80
- Remove unused mvn profile. · bdc5ed15
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I68c64fbb2768a967edb25c44afc70daa3913f9da
  bdc5ed15
Jun 17, 2020
- Merge remote-tracking branch 'Polarsys/devel' into... · 121776d1
  Alberto Debiasi authored 4 years ago
  
  Merge remote-tracking branch 'Polarsys/devel' into 564178-Enable-the-test-related-to-document-generation
  121776d1
- Fix diagram generation test to be platform-independent. · 4898bd76
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I8ddc2e10a1b10377e3938e9214adf22fb32d442b
  4898bd76
Jun 16, 2020
- Add gmf dependences of tests. · 4bf60885
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ib11d491b9244445d11ca787ce721249df46cc284
  4bf60885
- Update test on document generation for remote CI/CD. · 36684406
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ib466250522e2d0a9c0bf8b36768d95a3dccae48d
  36684406
- Enable .jpg extension for document generation test. · b50d1dab
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ia59f4e00672284dbda418463fe479ff76752bab5
  b50d1dab
- Update dirs with '/' instead of '\\' · 74fe929f
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I9ed183cf5745394154c60b7861bf70e7c1ad7f53
  74fe929f
Jun 11, 2020
- change phase for copy-resources-from-parent · 30d7b268
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Iea86cb1d56d7a93268e0e61afaec7e69a044f890
  30d7b268
- Remove old ref. · 4b733d65
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I0a0574f0edd5f0ace1b0e3dacc96f3dc63e3ae79
  4b733d65
- Move testOutput in target folder. · c8f9addc
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I1fe1d113ce338a4205b2986b6f5273c0ee824b92
  c8f9addc
- Merge remote-tracking branch 'origin/devel' into 563991-improve-checker-manager · 206384a7
  Luca Cristoforetti authored 4 years ago
  
  206384a7
- Add readme file in testOutput folder. · 8f1d16d7
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I6de4f452f4f1191839c3be60c86e9a4292e9fe81
  8f1d16d7
- Enable ui test document generation. · ebf9f073
  Alberto Debiasi authored 4 years ago
  
  Change-Id: If45698ea02b00a74e6410c63a9d7ac8552d8c6a6
  ebf9f073
Jun 09, 2020
- Enable BasicOperationHeadless Tests in mvn. · c209fff6
  Alberto Debiasi authored 4 years ago
  
  Change-Id: I62aa3af6e7fc3875d9486ca5ad0724d2d746b11b
  c209fff6
Jun 08, 2020
- Update pom.xml to generate 'devel' bundle. · f4988b1d
  Alberto Debiasi authored 4 years ago
  
  Change-Id: Ibaefcf5dde040e5fbd65dec0e35a4ab7f94257f1
  f4988b1d
- Add initSync to checkers · 077c4f28
  Luca Cristoforetti authored 4 years ago
  
  077c4f28
- Small fix in CONTRIBUTING.md. · b1c1a85a
  Alberto Debiasi authored 4 years ago
  
  b1c1a85a
Jun 05, 2020
- Add CONTRIBUTING.md. · 73eccf01
  Alberto Debiasi authored 4 years ago
  
  73eccf01
Jun 04, 2020

Remove old modules from pom.xml · 7ff1c06d
Alberto Debiasi authored 4 years ago
```
Change-Id: I149e4d9810054d0cd10a58e061800fd21f389a76
```
7ff1c06d

Merge remote-tracking branch 'Polarsys/neon' into polarsys-master · 0832e622

Alberto Debiasi authored 4 years ago

Conflicts:
	plugins/org.polarsys.chess.statebased/ATL/CHESS2IM.atl
	plugins/org.polarsys.chess.statebased/transformations/CHESS2IM.asm

Change-Id: I9963be6caa9b074e54ef3b23044d3c6a405d0fc2

0832e622