|
Changes
- Update dependences (in progress).
(details)
- Remove unused dependency with eu.fbk.tools.adapter.core.
(details)
- Switch from Java 1.8 to 11.
(details)
- Change Java compiler (from 1.8 to 11).
(details)
- Fix wrong function name xsap_compute_fault_tree.
(details)
Changes in dependency
- org.polarsys.chess.service Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.core Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.smvExporter Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.contracts.validation Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.validator Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.contracts.integration Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.chessmlprofile Success
#60
→
Success
#61
(detail)
- org.polarsys.chess.contracts.profile Success
#60
→
Success
#61
(detail)
|