Commits · a73b9ff1e204950c3d4d04518f955cfda3ab7003 · Felicien IHIRWE / chess

May 07, 2020
- fix missing commons.io jar · a73b9ff1
  Pietro Braghieri authored 4 years ago
  
  a73b9ff1
Feb 22, 2018
- create first version of · b16110bf
  Alberto Debiasi authored 7 years ago
  
  org.polarsys.chess.contracts.verificationService.test.runtime
  b16110bf
Feb 19, 2018
- the plugin has been moved under the plugins foldewr · b92f54b1
  Stefano puri authored 7 years ago
  
  b92f54b1
Feb 02, 2018
- - added smvExport Plugin · 7f52072b
  Alberto Debiasi authored 7 years ago
  
  Change-Id: Iabf4f632af6cb46eba4824ccb280c0f2183eda95
  7f52072b
Nov 14, 2017
- moved plugins · dedf136c
  Stefano puri authored 7 years ago
  
  dedf136c
Nov 13, 2017

Alberto Debiasi authored 7 years ago


- contractEditor
- contraintEditor
- propertyEditor

- hierarchicalContractView
- refinementView

- safetyAnalysis

- verificationService

- diagram.eu


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

a6732eea

Oct 30, 2017
- moved plugin org.polarsys.chess.contracts.ContractPropertyManager · bcdb4345
  Stefano puri authored 7 years ago
  
  bcdb4345
Oct 17, 2017

[1777] Support for automatic creation of contracts. · 65603f7c

Alberto Debiasi authored 7 years ago

This plugin solves the reported bug related to the automatic creation of
contracts.

Bug: https://bugs.polarsys.org/show_bug.cgi?id=1777


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

65603f7c

Sep 14, 2016
- Moves fla plugins under fla directory · b87d23ed
  Stefano puri authored 8 years ago
  
  b87d23ed
Dec 15, 2015
- contribution for Contracts in CHESS · 439efd26
  Stefano puri authored 9 years ago
  
  439efd26
- Contribution about contract support in CHESS · d8e60568
  Stefano puri authored 9 years ago
  
  d8e60568
Oct 06, 2014
- Initial CHESS plugins (part2/2) · 05a8a1e2
  Stefano puri authored 10 years ago
  
  05a8a1e2
- CHESS core plugin · f6c34aa9
  Stefano puri authored 10 years ago
  
  f6c34aa9