Merge requests · mbe-tools / TTool

Patching W-Sec tutorial

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

!435 · created Jul 29, 2022 by Bastien Sultan
- MERGED
- Approved
- 0
updated Jul 29, 2022
Improving W-Sec tutorial

!434 · created Jul 29, 2022 by Bastien Sultan
- CLOSED
- 0
updated Jul 29, 2022
Adding tutorial on W-Sec

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

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

!431 · created Jul 08, 2022 by Leon Frenot mutation
- MERGED
- 0
updated Jul 08, 2022
Mutation

!430 · created Jul 05, 2022 by Leon Frenot
- MERGED
- Approved
- 0
updated Jul 07, 2022
premier commit branche mutation

!429 · created Jun 23, 2022 by Leon Frenot
- CLOSED
- 1
updated Jun 30, 2022
add blank between braces and else

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

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

!426 · created Mar 11, 2022 by Ludovic Apvrille
- MERGED
- Approved
- 0
updated Mar 11, 2022
Bug resolution on String parsing in avatartranslator/AvatarGuard.java

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

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

!423 · created Aug 09, 2021 by Le Van Truong
- MERGED
- Approved
- 0
updated Aug 09, 2021
Add validate button to timeline diagram

!422 · created Aug 05, 2021 by Le Van Truong
- CLOSED
- 0
updated Aug 09, 2021
Issue #313: Add option to display the trace in a selected duration

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

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

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

!418 · created Jun 21, 2021 by Bastien Sultan
- MERGED
- 0
updated Jun 21, 2021
Issue #322: Bus Slicetime has wrong configuration, and remove terminated status and blank lines when using -help, -helpserver, -helpcomamnd

!417 · created Jun 18, 2021 by Le Van Truong
- CLOSED
- 0
updated Jun 18, 2021