EATA merge requestshttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests2022-10-27T17:41:31+02:00https://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/18Resolve "Support xSAP FDI analysis"2022-10-27T17:41:31+02:00Luca CristoforettiResolve "Support xSAP FDI analysis"Closes #15
Fix a couple of errors with the check diagnosability commandCloses #15
Fix a couple of errors with the check diagnosability commandLuca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/17Resolve "Add new parameter for xSAP compute_fmea_table"2022-10-04T13:59:25+02:00Luca CristoforettiResolve "Add new parameter for xSAP compute_fmea_table"Closes #16Closes #16Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/16Resolve "Support xSAP FDI analysis"2022-08-10T17:06:50+02:00Luca CristoforettiResolve "Support xSAP FDI analysis"Closes #15
Some fixes to handle the needMsat option in the OptimizeObservables commandsCloses #15
Some fixes to handle the needMsat option in the OptimizeObservables commandsLuca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/15Resolve "Support xSAP FDI analysis"2022-08-09T09:13:27+02:00Luca CristoforettiResolve "Support xSAP FDI analysis"Closes #15Closes #15Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/14Resolve "Support abstraction option in nuXmv checks"2022-06-10T16:35:30+02:00Luca CristoforettiResolve "Support abstraction option in nuXmv checks"Closes #14Closes #14Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/13Resolve "Add new parameter for ocra_check_validation_prop"2022-02-04T16:37:01+01:00Luca CristoforettiResolve "Add new parameter for ocra_check_validation_prop"Closes #13Closes #13Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/12Resolve "Documentation Improvement"2022-02-08T09:34:43+01:00Pietro BraghieriResolve "Documentation Improvement"Closes #12Closes #12Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/11Resolve "Add Timeout Failure to Request class"2022-01-20T10:25:43+01:00Pietro BraghieriResolve "Add Timeout Failure to Request class"Closes #11Closes #11Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/10Resolve "Fix V and V Result tab and Model Checking preferences settings"2022-01-18T17:49:02+01:00Luca CristoforettiResolve "Fix V and V Result tab and Model Checking preferences settings"Closes #2Closes #2Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/9Resolve "Handle "timed" time model to EATA commands"2022-01-10T11:08:32+01:00Pietro BraghieriResolve "Handle "timed" time model to EATA commands"Closes #9Closes #9Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/8Resolve "New flag in OCRA invocation"2021-12-16T18:15:55+01:00Luca CristoforettiResolve "New flag in OCRA invocation"Closes #8Closes #8Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/7Resolve "New command for adding property to kratos model"2021-11-11T12:45:02+01:00Pietro BraghieriResolve "New command for adding property to kratos model"Closes #7Closes #7Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/6Resolve "Manage counter example with list of states in loop element"2021-10-25T07:52:07+02:00Pietro BraghieriResolve "Manage counter example with list of states in loop element"Closes #6Closes #6Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/5Resolve "Add Kratos Adapter"2021-10-11T16:20:44+02:00Pietro BraghieriResolve "Add Kratos Adapter"Closes #5Closes #5Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/4Resolve "Fix javax problems due to its removal from java 11"2021-10-08T10:21:36+02:00Pietro BraghieriResolve "Fix javax problems due to its removal from java 11"Closes #4Closes #4Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/3Resolve "Fix V and V Result tab and Model Checking preferences settings"2021-09-28T15:52:58+02:00Luca CristoforettiResolve "Fix V and V Result tab and Model Checking preferences settings"Closes #2Closes #2Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/2Resolve "Add new parameter for ocra_check_refinement"2021-09-27T10:49:20+02:00Luca CristoforettiResolve "Add new parameter for ocra_check_refinement"Closes #1Closes #1Luca CristoforettiLuca Cristoforettihttps://gitlab.fbk.eu/ESProjects/EATA/-/merge_requests/1Main to Master2021-08-30T17:25:57+02:00Pietro BraghieriMain to MasterPietro BraghieriPietro Braghieri