Merge requests · mbe-tools / TTool · GitLab

[AMULET] Patching several bugs in mutation compiler and adding some tests

!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

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

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

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

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

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

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

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

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

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

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

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

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

!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

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

!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

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

!418 · created Jun 21, 2021 by Bastien Sultan
- Merged
updated Jun 21, 2021
Issue #324 and #325: detect invalid parameters and remove redundant information

!416 · created Jun 17, 2021 by Le Van Truong
- Merged
updated Jun 17, 2021
Issue #317: Upgrade TTool help

!415 · created Jun 16, 2021 by Le Van Truong
- Merged
updated Jun 16, 2021

Prev
1
2
3
4
5
6
7
8
…
19
Next