Merge requests · ESProjects / EATA

Resolve "Support xSAP FDI analysis"

!18 · created Oct 27, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Oct 27, 2022
Resolve "Add new parameter for xSAP compute_fmea_table"

!17 · created Oct 04, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Oct 04, 2022
Resolve "Support xSAP FDI analysis"

!16 · created Aug 10, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Aug 10, 2022
Resolve "Support xSAP FDI analysis"

!15 · created Jul 14, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Aug 09, 2022
Resolve "Support abstraction option in nuXmv checks"

!14 · created Jun 10, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Jun 10, 2022
Resolve "Documentation Improvement"

!12 · created Jan 28, 2022 by Pietro Braghieri
- MERGED
- 0
updated Feb 08, 2022
Resolve "Add new parameter for ocra_check_validation_prop"

!13 · created Feb 03, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Feb 04, 2022
Resolve "Add Timeout Failure to Request class"

!11 · created Jan 20, 2022 by Pietro Braghieri
- MERGED
- 0
updated Jan 20, 2022
Resolve "Fix V and V Result tab and Model Checking preferences settings"

!10 · created Jan 18, 2022 by Luca Cristoforetti
- MERGED
- 0
updated Jan 18, 2022
Resolve "Handle "timed" time model to EATA commands"

!9 · created Dec 17, 2021 by Pietro Braghieri
- MERGED
- 8
updated Jan 10, 2022
Resolve "New flag in OCRA invocation"

!8 · created Dec 15, 2021 by Luca Cristoforetti
- MERGED
- 0
updated Dec 16, 2021
Resolve "New command for adding property to kratos model"

!7 · created Oct 29, 2021 by Pietro Braghieri
- MERGED
- 0
updated Nov 11, 2021
Resolve "Manage counter example with list of states in loop element"

!6 · created Oct 18, 2021 by Pietro Braghieri
- MERGED
- 0
updated Oct 25, 2021
Resolve "Add Kratos Adapter"

!5 · created Oct 08, 2021 by Pietro Braghieri
- MERGED
- 0
updated Oct 11, 2021
Resolve "Fix javax problems due to its removal from java 11"

!4 · created Oct 06, 2021 by Pietro Braghieri
- MERGED
- 0
updated Oct 08, 2021
Resolve "Fix V and V Result tab and Model Checking preferences settings"

!3 · created Sep 28, 2021 by Luca Cristoforetti
- MERGED
- 0
updated Sep 28, 2021
Resolve "Add new parameter for ocra_check_refinement"

!2 · created Sep 24, 2021 by Luca Cristoforetti
- MERGED
- 0
updated Sep 27, 2021
Main to Master

!1 · created Aug 30, 2021 by Pietro Braghieri
- MERGED
- 0
updated Aug 30, 2021