Merge requests · mbe-tools

Provisional workarounds on mutation compiler

TTool!441 · created Sep 09, 2022 by Bastien Sultan
- Merged
- Approved
updated Sep 09, 2022
[AMULET] Patching several bugs in mutation compiler and adding some tests

TTool!440 · created Sep 07, 2022 by Bastien Sultan
- Merged
- Approved
updated Sep 07, 2022
Patching two methods on mutation compiler, creating a new CLI command for compiling a batch of mutations, adding some tests

TTool!439 · created Sep 05, 2022 by Bastien Sultan
- Merged
- Approved
updated Sep 05, 2022
Patching W-Sec tutorial

TTool!436 · created Jul 29, 2022 by Bastien Sultan
- Merged
- Approved
updated Jul 29, 2022
Improving W-Sec tutorial

TTool!435 · created Jul 29, 2022 by Bastien Sultan
- Merged
- Approved
updated Jul 29, 2022
Adding tutorial on W-Sec

TTool!433 · created Jul 27, 2022 by Bastien Sultan
- Merged
- Approved
updated Jul 27, 2022
Parsing et Exceptions

TTool!432 · created Jul 13, 2022 by Leon Frenot
- Merged
- Approved
updated Jul 19, 2022
Adding actions for avatar spec mutation, printing, drawing

TTool!431 · created Jul 08, 2022 by Leon Frenot mutation
- Merged
updated Jul 08, 2022
Mutation

TTool!430 · created Jul 05, 2022 by Leon Frenot
- Merged
- Approved
updated Jul 07, 2022
add blank between braces and else

TTool!428 · created Jun 23, 2022 by Jawher Jerray
- Merged
updated Jun 23, 2022
add save-status-in-file command

TTool!427 · created Jun 23, 2022 by Jawher Jerray
- Merged
- Approved
updated Jun 23, 2022
Definitions.h

TTool!426 · created Mar 11, 2022 by Ludovic Apvrille
- Merged
- Approved
updated Mar 11, 2022
daily update : state-based : subcomponent CUD | TODO : aadl2 resource

osate-dim!1 · created Dec 21, 2021 by Dominique Blouin
updated Dec 21, 2021
Bug resolution on String parsing in avatartranslator/AvatarGuard.java

TTool!425 · created Oct 22, 2021 by Bastien Sultan
AVATAR
- Merged
- Approved
updated Oct 22, 2021
restore original state when uncheck time duration box

TTool!424 · created Aug 09, 2021 by Le Van Truong
- Merged
updated Aug 09, 2021
add validate button to timeline diagram

TTool!423 · created Aug 09, 2021 by Le Van Truong
- Merged
- Approved
updated Aug 09, 2021
Issue #313: Add option to display the trace in a selected duration

TTool!421 · created Jul 02, 2021 by Le Van Truong
- Merged
updated Jul 15, 2021
Issue #327: CPU issues with penalty

TTool!420 · created Jul 01, 2021 by Le Van Truong
- Merged
- Approved
updated Jul 01, 2021
Issue #322: Bus Slicetime has wrong configuration, and remove terminated status and blank lines when using -help, -helpserver, -helpcomamnd

TTool!419 · created Jun 21, 2021 by Le Van Truong
- Merged
- Approved
updated Jun 23, 2021
Bug resolution on TML to UPPAAL translation

TTool!418 · created Jun 21, 2021 by Bastien Sultan
- Merged
updated Jun 21, 2021