Commits · master · af3 / AF3

22 Jun, 2021 3 commits
- Merge branch '4131' into 'master' · 6315bf47
  Simon Barner authored Jun 22, 2021
```
[DSE] Consider partitions only if they are actually used

See merge request !41
```
  6315bf47
- GREEN (with minor change) · 42125ffd
  Simon Barner authored Jun 22, 2021
```
Issue-Ref: 4131
Issue-Url: #4131

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  42125ffd
- [DSE] Consider partitions only if they are actually used · 2c74c366
  Tiziano Munaro authored Jun 22, 2021
```
Issue-Ref: 4131
Issue-Url: #4131

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  2c74c366
28 May, 2021 1 commit
- Merge branch '4127' into 'master' · f35fb494
  Simon Barner authored May 28, 2021
```
[4127] DSE: Enable import of partition architectures

See merge request !38
```
  f35fb494
27 May, 2021 7 commits

GREEN · 532b89a5

Simon Barner authored May 27, 2021

Issue-Ref: 4127
Issue-Url: #4127

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

532b89a5

Fix calculation of shortes route · eb84398a

Simon Barner authored May 27, 2021

Issue-Ref: 4127
Issue-Url: #4127

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

eb84398a

YELLOW · 1dc66128

Tiziano Munaro authored May 27, 2021

Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

1dc66128

RED · ba0faad7

Simon Barner authored May 27, 2021

Issue-Ref: 4127
Issue-Url: #4127

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

ba0faad7

GREEN · 98e02dc7

Simon Barner authored May 27, 2021

Issue-Ref: 4127
Issue-Url: #4127

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

98e02dc7

Revert "Merge remote-tracking branch 'origin/4085' into 4127" · 72a7413e
Tiziano Munaro authored May 27, 2021
```
Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
72a7413e

Re-enable workaround for · 9a0d68c2

Tiziano Munaro authored May 27, 2021

Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

9a0d68c2

18 May, 2021 2 commits
- Merge remote-tracking branch 'origin/4085' into 4127 · ed3a9999
  Tiziano Munaro authored May 18, 2021
```
Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  ed3a9999
- Add utility method for calculating the GCD of BigDecimals · 9126bf30
  Tiziano Munaro authored May 18, 2021
```
Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  9126bf30
17 May, 2021 1 commit

Enable export of partition schedules · 56cba778

Tiziano Munaro authored May 17, 2021

Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

56cba778

12 May, 2021 2 commits
- Derive the allocation of signal to routes when using partitions · eb31a9c3
  Tiziano Munaro authored May 12, 2021
```
Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  eb31a9c3
- Add utility methods for handling partitions in exploration specs · 34a95e1c
  Tiziano Munaro authored May 12, 2021
```
Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  34a95e1c
11 May, 2021 1 commit
- Generalize the DSE import wizard and snapshots to all allocation entries · 9222c59f
  Tiziano Munaro authored May 11, 2021
```
Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  9222c59f
05 May, 2021 1 commit
- Extend DSE dashboard wizard to import partition architectures · 7d8f0a2e
  Tiziano Munaro authored May 05, 2021
```
Issue-Ref: 4127
Issue-Url: #4127

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  7d8f0a2e
28 Apr, 2021 1 commit

Merge remote-tracking branch 'origin/master' into 4085 · 57c46f02

Tiziano Munaro authored Apr 28, 2021

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

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

57c46f02

23 Apr, 2021 1 commit

2.18 -> 2.19 · 2aceae0d

Johannes Eder authored Apr 19, 2021

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

Signed-off-by: Johannes Eder <eder@fortiss.org>

2aceae0d

21 Apr, 2021 6 commits
- Merge branch '4114' into 'master' · 0d54e751
  Johannes Eder authored Apr 21, 2021
```
4114

See merge request !34
```
  0d54e751
- Merge branch '1536' into 'master' · 584fa333
  Johannes Eder authored Apr 21, 2021
```
Implementation of Filtering Mechanism in DataDictionary

See merge request !15
```
  584fa333
- Merge branch '4103' into 'master' · 7d90fa32
  Johannes Eder authored Apr 21, 2021
```
[4103] make af3_cc init nonblocking

See merge request !23
```
  7d90fa32
- Merge branch '4123' into 'master' · 5ff854d4
  Johannes Eder authored Apr 21, 2021
```
4123: Fix generation and visualization of UNSAT cores

See merge request !35
```
  5ff854d4
- Merge remote-tracking branch 'origin/master' into 1536 · 3976281a
  Johannes Eder authored Apr 21, 2021
  
  3976281a
- GREEN · 5a10aaf4
  Johannes Eder authored Apr 21, 2021
```
Issue-Ref: 1536
Issue-Url: https://af3-developer.fortiss.org/issues/1536

Signed-off-by: Johannes Eder <eder@fortiss.org>
```
  5a10aaf4
16 Apr, 2021 3 commits

GREEN (only small comment changes) · f7652e61

Sebastian Bergemann authored Apr 16, 2021

Issue-Ref: 4123
Issue-Url: #4123

Signed-off-by: Sebastian Bergemann <bergemann@fortiss.org>

f7652e61

Updated the rating file DataDictornaryFXEditorContentProvider class · a0399114

Saad bin Abid authored Apr 16, 2021

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

Signed-off-by: Saad bin Abid <abid@fortiss.org>

a0399114

Refactoring Complete: Fectoring the filtering mechanism · 881afcaf

Saad bin Abid authored Apr 16, 2021

Added a separate function with the same functionality and reduce the got

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

Signed-off-by: Saad bin Abid <abid@fortiss.org>

881afcaf

14 Apr, 2021 3 commits
- Merge remote-tracking branch 'origin/master' into 4103 · 59a742f2
  Tiziano Munaro authored Apr 14, 2021
  
  59a742f2
- GREEN · fcd6da01
  Tiziano Munaro authored Apr 14, 2021
```
Issue-Ref: 4103
Issue-Url: #4103

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  fcd6da01
- * Outfactored model element · 54f010df
  Florian Dollinger authored Apr 14, 2021
```
Signed-off-by: Florian Dollinger <dollinger@fortiss.org>
```
  54f010df
09 Apr, 2021 1 commit
- Merge remote-tracking branch 'origin/master' into 4085 · e4b5f2c3
  Tiziano Munaro authored Apr 09, 2021
  
  e4b5f2c3
01 Apr, 2021 5 commits

Highlight UNSAT cores with bright yellow background · 72cfd647
Simon Barner authored Apr 01, 2021
```
Issue-Ref: 4123
Issue-Url: #4123

Signed-off-by: Simon Barner <barner@fortiss.org>
```
72cfd647
Add equals() and hashCode() that delegate to the referenced elements · c31f2914
Simon Barner authored Apr 01, 2021
```
Issue-Ref: 4123
Issue-Url: #4123

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

Fix extraction of UNSAT cores · 757292c5

Simon Barner authored Apr 01, 2021

* The required Z3 Context parameter has changed to "proof"
* createConstraintSolver(): Tracked constraints were also added as
  untracked before (which actually prevented the tracking)

Issue-Ref: 4123
Issue-Url: #4123

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

757292c5

Factorize management of Z3 Context and DSMLtoSMTTransformator · 764f57ce

Simon Barner authored Apr 01, 2021

* Introduce ContextWrapper in order to be able to query used parameters
  (e.g., timeout, tracking) later
* Remove unused SolverRun constructor that enabled passing a
  DSMLtoSMTTransformator (similar functionality might be re-added
  later to obtain are more modular transformation architecture
* Create DSMLtoSMTTransformator and ContextWrapper only on demand, i.e.
  no longer as fields of SolverRun

Issue-Ref: 4123
Issue-Url: #4123

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

764f57ce

Code review: to green · 83454b10
Carmen Carlan authored Apr 01, 2021
```
Issue-ref: 4114
Signed-off-by: Carmen Carlan <carlan@fortiss.org>
```
83454b10

24 Mar, 2021 2 commits

YELLOW · efe88b39

Liana Soima authored Mar 24, 2021


Signed-off-by: Liana Soima <soima@fortiss.org>
Issue-Ref: 4114

efe88b39

Small fixes for assessment · 4f176197
Liana Soima authored Mar 24, 2021
```
Signed-off-by: Liana Soima <soima@fortiss.org>
Issue-Ref: 4114
```
4f176197