Commits · master · ESProjects / EATA

21 Dec, 2022 1 commit
- Update .gitlab-ci.yml file · 6db783a6
  Luca Cristoforetti authored Dec 21, 2022
  
  6db783a6
27 Oct, 2022 2 commits
- Merge branch '15-support-xsap-fdi-analysis-fix' into 'master' · 5f7e7a8e
  Luca Cristoforetti authored Oct 27, 2022
```
Resolve "Support xSAP FDI analysis"

Closes #15

See merge request !18
```
  5f7e7a8e
- Fix small errors in check diagnosability · 42114fa0
  Luca Cristoforetti authored Oct 27, 2022
  
  42114fa0
04 Oct, 2022 2 commits
- Merge branch '16-add-new-parameter-for-xsap-compute_fmea_table' into 'master' · e2f1ce87
  Luca Cristoforetti authored Oct 04, 2022
```
Resolve "Add new parameter for xSAP compute_fmea_table"

Closes #16

See merge request !17
```
  e2f1ce87
- Add new parameter for cardinality · 5fafd6b0
  Luca Cristoforetti authored Oct 04, 2022
  
  5fafd6b0
28 Sep, 2022 1 commit
- Small fix to widget result in safety dialogs · abcfa5e8
  Luca Cristoforetti authored Sep 28, 2022
  
  abcfa5e8
10 Aug, 2022 2 commits
- Merge branch '15-support-xsap-fdi-analysis-msat' into 'master' · fe7b336c
  Luca Cristoforetti authored Aug 10, 2022
```
Resolve "Support xSAP FDI analysis"

Closes #15

See merge request !16
```
  fe7b336c
- Add a parameter to optimizeObservables method and some refactoring · aee5e5ec
  Luca Cristoforetti authored Aug 10, 2022
  
  aee5e5ec
09 Aug, 2022 2 commits
- Merge branch '15-support-xsap-fdi-analysis' into 'master' · fd3c9aba
  Luca Cristoforetti authored Aug 09, 2022
```
Resolve "Support xSAP FDI analysis"

Closes #15

See merge request !15
```
  fd3c9aba
- Rename test · 3d857c65
  Luca Cristoforetti authored Aug 09, 2022
  
  3d857c65
05 Aug, 2022 3 commits
- Add a test for the synthesize FD command · 014bdc88
  Luca Cristoforetti authored Aug 05, 2022
  
  014bdc88
- Add new command for synthesizing the fault detector · 5c5b7971
  Luca Cristoforetti authored Aug 05, 2022
  
  5c5b7971
- Fix missing command in check diagnosability · 85ff9f74
  Luca Cristoforetti authored Aug 05, 2022
  
  85ff9f74
03 Aug, 2022 2 commits
- Remove unused dependency · 0bd1fbea
  Luca Cristoforetti authored Aug 03, 2022
  
  0bd1fbea
- Add tests for the new FDI functions · 529f92ea
  Luca Cristoforetti authored Aug 03, 2022
  
  529f92ea
28 Jul, 2022 2 commits
- Add split traces and improved textual output · 10e1863e
  Luca Cristoforetti authored Jul 28, 2022
  
  10e1863e
- Handling of multiple alarms and WIP on output processing · 17c4a5ce
  Luca Cristoforetti authored Jul 28, 2022
  
  17c4a5ce
26 Jul, 2022 1 commit
- Improvements in handling of FDI commands output · e6340953
  Luca Cristoforetti authored Jul 26, 2022
  
  e6340953
25 Jul, 2022 2 commits
- Handle BMC length parameter · eacf0fcd
  Luca Cristoforetti authored Jul 25, 2022
  
  eacf0fcd
- WIP in handling different engines · 2f3d5ad6
  Luca Cristoforetti authored Jul 25, 2022
  
  2f3d5ad6
21 Jul, 2022 1 commit
- First version of results visualization for OptimizeObservables · 5e16ed94
  Luca Cristoforetti authored Jul 21, 2022
  
  5e16ed94
20 Jul, 2022 1 commit
- Add command to optimize observables · 08a229af
  Luca Cristoforetti authored Jul 20, 2022
  
  08a229af
15 Jul, 2022 2 commits
- WIP in adding the command for check diagnosability · 39e84a50
  Luca Cristoforetti authored Jul 15, 2022
  
  39e84a50
- WIP in adding a new command for diagnosability · 0a091f68
  Luca Cristoforetti authored Jul 15, 2022
  
  0a091f68
10 Jun, 2022 2 commits
- Merge branch '14-support-abstraction-option-in-nuxmv-checks' into 'master' · 816243ec
  Luca Cristoforetti authored Jun 10, 2022
```
Resolve "Support abstraction option in nuXmv checks"

Closes #14

See merge request !14
```
  816243ec
- Add support for abstraction in nuXmv checks · 5271630b
  Luca Cristoforetti authored Jun 10, 2022
  
  5271630b
18 Feb, 2022 1 commit
- add docker files for CI · bd605e56
  Pietro Braghieri authored Feb 18, 2022
  
  bd605e56
08 Feb, 2022 1 commit
- Merge branch '12-documentation-improvement' into 'master' · 958d13b1
  Pietro Braghieri authored Feb 08, 2022
```
Resolve "Documentation Improvement"

Closes #12

See merge request !12
```
  958d13b1
07 Feb, 2022 9 commits
- Update OSLC_README.md · f728b155
  Pietro Braghieri authored Feb 07, 2022
  
  f728b155
- Update OSLC_README.md · 39895c50
  Pietro Braghieri authored Feb 07, 2022
  
  39895c50
- Update OSLC_README.md · cda13017
  Pietro Braghieri authored Feb 07, 2022
  
  cda13017
- Update OSLC_README.md · d3d086b7
  Pietro Braghieri authored Feb 07, 2022
  
  d3d086b7
- Update OSLC_README.md · 6247a6a8
  Pietro Braghieri authored Feb 07, 2022
  
  6247a6a8
- Update OSLC_README.md · 034d43a8
  Pietro Braghieri authored Feb 07, 2022
  
  034d43a8
- Update OSLC_README.md · fa3470f1
  Pietro Braghieri authored Feb 07, 2022
  
  fa3470f1
- Update OSLC_README.md · 92d7de60
  Pietro Braghieri authored Feb 07, 2022
  
  92d7de60
- Update OSLC_README.md · 266599ee
  Pietro Braghieri authored Feb 07, 2022
  
  266599ee
04 Feb, 2022 3 commits
- Merge branch '13-add-new-parameter-for-ocra_check_validation_prop' into 'master' · 5e1dd71e
  Luca Cristoforetti authored Feb 04, 2022
```
Resolve "Add new parameter for ocra_check_validation_prop"

Closes #13

See merge request !13
```
  5e1dd71e
- Update OSLC_README.md · a85cfcdf
  Pietro Braghieri authored Feb 04, 2022
  
  a85cfcdf
- Update OSLC_README.md · 74744d95
  Pietro Braghieri authored Feb 04, 2022
  
  74744d95