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
```
Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>
```
2cf3174e

RED · 958880f7

Hernan Ponce de Leon authored Feb 25, 2019



Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>

958880f7

YELLOW · ea4f0e5d

Sudeep Kanav authored Feb 23, 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

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
```
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



* 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
```
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



Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>

e5e7f8d1

Apply Photon code formatting rules. · eb012f5e

Ludwig Dickmanns authored Nov 20, 2018

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



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
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
a32c9695

Apply Photon code formatting rules. · 4602320b

Alexander Diewald authored Nov 08, 2018

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
```
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
```
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
```
Issue-Ref: 3490
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
8233a6b1

code refactor: · a44eb5cc

Sudeep Kanav authored Sep 10, 2018



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



* 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
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
7c3d7483

RED · 35cfa5d6

Hernan Ponce de Leon authored Feb 25, 2019



Issue-Ref: 3631
Signed-off-by: ponce <ponce@fortiss.org>

35cfa5d6

YELLOW · 6189c71d

Sudeep Kanav authored Feb 23, 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
```
Issue-Ref: 3631
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
5d4c3040

Apply Photon code formatting rules. · 865dccea

Alexander Diewald authored Nov 08, 2018

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
```
Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>
```
1521a88a
FV: review [GREEN] · 4b842e38
Hernan Ponce de Leon authored Sep 13, 2018
```
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
```
Issue-Ref:3489
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
93a2f8fc
Fixed a transformation bug. · 2dcd7d43
Sudeep Kanav authored Sep 10, 2018
```
Issue-Ref: 3508
Signed-off-by: Sudeep Kanav <kanav@fortiss.org>
```
2dcd7d43