Issues · ESProjects / EATA · GitLab

Documentation Improvement

#12 · created Jan 28, 2022 by Pietro Braghieri
- CLOSED
- 1
- 0
updated Feb 08, 2022
Add new parameter for ocra_check_validation_prop

#13 · created Feb 03, 2022 by Luca Cristoforetti
- CLOSED
- 1
- 0
updated Feb 04, 2022
Add Timeout Failure to Request class

#11 · created Jan 20, 2022 by Pietro Braghieri
- CLOSED
- 1
- 0
updated Jan 20, 2022
Fix V and V Result tab and Model Checking preferences settings

#2 · created Sep 28, 2021 by Luca Cristoforetti
- CLOSED
- 2
- 0
updated Jan 18, 2022
Handle "timed" time model to EATA commands

#9 · created Dec 16, 2021 by Alberto Debiasi
- CLOSED
- 1
- 0
updated Jan 10, 2022
New flag in OCRA invocation

#8 · created Dec 15, 2021 by Luca Cristoforetti
- CLOSED
- 1
- 1
updated Dec 16, 2021
New command for adding property to kratos model

#7 · created Oct 29, 2021 by Pietro Braghieri
- CLOSED
- 1
- 2
updated Nov 11, 2021
Manage counter example with list of states in loop element

#6 · created Oct 18, 2021 by Pietro Braghieri
- CLOSED
- 1
- 0
updated Oct 25, 2021
Add Kratos Adapter

#5 · created Oct 08, 2021 by Pietro Braghieri
- CLOSED
- 1
- 1
updated Oct 12, 2021
Fix javax problems due to its removal from java 11

#4 · created Oct 06, 2021 by Pietro Braghieri
- CLOSED
- 1
- 0
updated Oct 08, 2021
Add new parameter for ocra_check_refinement

#1 · created Sep 24, 2021 by Luca Cristoforetti
- CLOSED
- 1
- 0
updated Sep 27, 2021