Commits · master · af3 / verification

07 Nov, 2019 12 commits

Fix build after moving plugins to verification repository · 1c741744

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

1c741744

Moving org.fortiss.af3.testing.ui · 0aca2f4e

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

0aca2f4e

Moving org.fortiss.af3.testing · 5ca2c8fe

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

5ca2c8fe

Moving org.fortiss.af3.refinement.ui · cdf07efb

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

cdf07efb

Moving org.fortiss.af3.refinement · 85314f80

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

85314f80

Moving org.fortiss.af3.pragmatictransformation · 1be8fda2

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

1be8fda2

Moving org.fortiss.af3.tools · e43d8a22

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

e43d8a22

Moving org.fortiss.af3.specification.ui · 29dfee00

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

29dfee00

Moving org.fortiss.af3.specification · d0a29f93

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

d0a29f93

Moving org.fortiss.af3.ocra · ca693db1

Simon Barner authored Nov 07, 2019

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>

ca693db1

Moving org.fortiss.msc.ui · a3d2f275
Simon Barner authored Nov 07, 2019

a3d2f275
Moving org.fortiss.af3.msc · fac07702
Simon Barner authored Nov 07, 2019

fac07702

06 Nov, 2019 28 commits
- Moving NuSMV: Additional manual adaptations · 0fe0d46c
  Simon Barner authored Nov 06, 2019
```
* plugin.xml: moving registration of extensions
* MANIFEST.MF: Plugin dependencies
* FormalAnalysisTransformationUtils.java
* Synchronize a few code ratings

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  0fe0d46c
- GREEN · 2cf3174e
  Hernan Ponce de Leon authored Feb 25, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>
```
  2cf3174e
- RED · 958880f7
  Hernan Ponce de Leon authored Feb 25, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>
```
  958880f7
- YELLOW · ea4f0e5d
  Sudeep Kanav authored Feb 23, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  ea4f0e5d
- Apply Photon code formatting rules. · be0b7fa6
  Alexander Diewald authored Nov 08, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3538
Issue-Url: https://af3-developer.fortiss.org/issues/3538

Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  be0b7fa6
- Deciding if the action is a structure assignment from LHS (i.e., not · e34047cb
  Sudeep Kanav authored Aug 28, 2018 and Simon Barner committed Nov 06, 2019
```
from RHS)

Issue-Ref: 3490
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  e34047cb
- Tree-wide: Update ratings to mirror the rating state of the svn repo. · 7b43a8de
  Alexander Diewald authored Apr 18, 2018 and Simon Barner committed Nov 06, 2019
```
* Since the tooling helpers used in the svn installation and the git
  version, a re-rating of all files was required (less work than fixing
  the tooling code that would be only used once).
* Updates the hashes of the classes in the .rating files.
* Removes empty .rating files from directories without ratable files.
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  7b43a8de
- Tree-wide: Adjust layout for git (no trunk and branch folders). · 24202998
  Alexander Diewald authored Apr 17, 2018 and Simon Barner committed Nov 06, 2019
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  24202998
- Reference the right issue · 84e5e7ea
  Simon Barner authored Sep 26, 2019
```
Issue-Ref: 3647
Issue-Url: https://af3-developer.fortiss.org/issues/3647

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  84e5e7ea
- RED · e5e7f8d1
  Hernan Ponce de Leon authored Feb 25, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>
```
  e5e7f8d1
- Apply Photon code formatting rules. · eb012f5e
  Ludwig Dickmanns authored Nov 20, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3538
Issue-Url: https://af3-developer.fortiss.org/issues/3538

Signed-off-by: Ludwig Dickmanns <dickmanns@fortiss.org>
```
  eb012f5e
- YELLOW · cd1907b9
  Sudeep Kanav authored Feb 23, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  cd1907b9
- A quick fix the issue. The code is not yet cleaned. · a32c9695
  Sudeep Kanav authored Feb 06, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  a32c9695
- Apply Photon code formatting rules. · 4602320b
  Alexander Diewald authored Nov 08, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3538
Issue-Url: https://af3-developer.fortiss.org/issues/3538

Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  4602320b
- FV: review [GREEN] · 51fd5de1
  Hernan Ponce de Leon authored Sep 13, 2018 and Simon Barner committed Nov 06, 2019
```
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>
```
  51fd5de1
- Should iterate again in case the second argument to the Member function · 9452968d
  Sudeep Kanav authored Sep 13, 2018 and Simon Barner committed Nov 06, 2019
```
is not a var.

Issue-Ref: 3490
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  9452968d
- Transforming the functions with array return types. · 8233a6b1
  Sudeep Kanav authored Sep 11, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3490
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  8233a6b1
- code refactor: · a44eb5cc
  Sudeep Kanav authored Sep 10, 2018 and Simon Barner committed Nov 06, 2019
```
filtering out the array const and function def beforehand for the
transformation

Issue-Ref: 3490
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  a44eb5cc
- Tree-wide: Update ratings to mirror the rating state of the svn repo. · b9731588
  Alexander Diewald authored Apr 18, 2018 and Simon Barner committed Nov 06, 2019
```
* Since the tooling helpers used in the svn installation and the git
  version, a re-rating of all files was required (less work than fixing
  the tooling code that would be only used once).
* Updates the hashes of the classes in the .rating files.
* Removes empty .rating files from directories without ratable files.
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  b9731588
- Tree-wide: Adjust layout for git (no trunk and branch folders). · 7c3d7483
  Alexander Diewald authored Apr 17, 2018 and Simon Barner committed Nov 06, 2019
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  7c3d7483
- RED · 35cfa5d6
  Hernan Ponce de Leon authored Feb 25, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>
```
  35cfa5d6
- YELLOW · 6189c71d
  Sudeep Kanav authored Feb 23, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  6189c71d
- A quick fix the issue. The code is not yet cleaned. · 5d4c3040
  Sudeep Kanav authored Feb 06, 2019 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  5d4c3040
- Apply Photon code formatting rules. · 865dccea
  Alexander Diewald authored Nov 08, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3538
Issue-Url: https://af3-developer.fortiss.org/issues/3538

Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  865dccea
- GREEN · 1521a88a
  Hernan Ponce de Leon authored Sep 18, 2018 and Simon Barner committed Nov 06, 2019
```
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>
```
  1521a88a
- FV: review [GREEN] · 4b842e38
  Hernan Ponce de Leon authored Sep 13, 2018 and Simon Barner committed Nov 06, 2019
```
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>
```
  4b842e38
- Resolved issue when a structure member name was same as a port name. · 93a2f8fc
  Sudeep Kanav authored Sep 17, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref:3489
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  93a2f8fc
- Fixed a transformation bug. · 2dcd7d43
  Sudeep Kanav authored Sep 10, 2018 and Simon Barner committed Nov 06, 2019
```
Issue-Ref: 3508
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
  2dcd7d43