Code

23 add exclusivity operators#28

Code

Merged

ccoquand merged 18 commits intomasteronera/pml-analyzer:masterfrom 23-add-exclusivity-operatorsonera/pml-analyzer:23-add-exclusivity-operatorsCopy head branch name to clipboardFeb 18, 2025

Commits

Commits on Jan 24, 2025

• Add hasInterferingServices and hasNonInterferingServices operators, add inference rule for interfereWith and notInterfereWith operators for Hardware/Hardware type

  ccoquand

  committed
  0dae7ad

  Copy full SHA for 0dae7ad

• Add preliminary tests for new operators interfereWith[Hard,Hard] and hasNonInterferingServices, raise error on priority of Interfere relation over NotInterfere relation

  ccoquand

  committed
  b5cac0d

  Copy full SHA for b5cac0d

• Typo on a comment

  ccoquand

  committed
  d2641eb

  Copy full SHA for d2641eb

• Add hasInterferingServices and hasNonInterferingServices operators, add inference rule for interfereWith and notInterfereWith operators for Hardware/Hardware type

  

  ccoquand

  authored and

  kevin-delmas

  committed
  9879ec9

  Copy full SHA for 9879ec9

• Add preliminary tests for new operators interfereWith[Hard,Hard] and hasNonInterferingServices, raise error on priority of Interfere relation over NotInterfere relation

  

  ccoquand

  authored and

  kevin-delmas

  committed
  30368d8

  Copy full SHA for 30368d8

• Typo on a comment

  

  ccoquand

  authored and

  kevin-delmas

  committed
  332b461

  Copy full SHA for 332b461

• Merge branch '23-add-exclusivity-operators' of github.com:onera/pml-analyzer into 23-add-exclusivity-operators

  kevin-delmas

  committed
  210be41

  Copy full SHA for 210be41

Commits on Feb 5, 2025

• Add InterferenceTest.scala file, does not compile

  ccoquand

  committed
  0175151

  Copy full SHA for 0175151

• Merge branch '23-add-exclusivity-operators' of github.com:onera/pml-analyzer into 23-add-exclusivity-operators

  ccoquand

  committed
  852ed2c

  Copy full SHA for 852ed2c

• Add InterferenceTest.scala file, does not compile

  ccoquand

  committed
  2a9ba79

  Copy full SHA for 2a9ba79

• Solve implicit visibility for interference test

  kevin-delmas

  committed
  b070e02

  Copy full SHA for b070e02

Commits on Feb 7, 2025

• [InterferenceTest] Add test for has(Non)InterferingServices and interfereWith[Service,Service] operators

  ccoquand

  committed
  7a56c87

  Copy full SHA for 7a56c87

• Rename not interfere relations

  kevin-delmas

  committed
  5452ac8

  Copy full SHA for 5452ac8

Commits on Feb 10, 2025

• Add ExclusiveTest.scala (exclusiveWith unit test)

  ccoquand

  committed
  4abffc1

  Copy full SHA for 4abffc1

Commits on Feb 11, 2025

• Add TransparentTest (test for transparent operator)

  ccoquand

  committed
  82006b1

  Copy full SHA for 82006b1

• First test of transform relation Interfere unit test implementation

  ccoquand

  committed
  098cc5f

  Copy full SHA for 098cc5f

Commits on Feb 18, 2025

• Rename InterferenceTest.scala to InterfereTest.scala

  ccoquand

  authored
  dde1237

  Copy full SHA for dde1237

• [#23] Fix test comments

  ccoquand

  committed
  937f127

  Copy full SHA for 937f127