Merge requests · mbe-tools · GitLab

premier commit branche mutation

TTool!429 · created Jun 23, 2022 by Leon Frenot
- Closed
- 1
updated Jun 30, 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
Add validate button to timeline diagram

TTool!422 · created Aug 05, 2021 by Le Van Truong
- Closed
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
Issue #322: Bus Slicetime has wrong configuration, and remove terminated status and blank lines when using -help, -helpserver, -helpcomamnd

TTool!417 · created Jun 18, 2021 by Le Van Truong
- Closed
updated Jun 18, 2021
Issue #324 and #325: detect invalid parameters and remove redundant information

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

TTool!415 · created Jun 16, 2021 by Le Van Truong
- Merged
updated Jun 16, 2021
Issue #317 - Integrated helpserver and helpcommand

TTool!414 · created Jun 07, 2021 by Le Van Truong
- Merged
updated Jun 08, 2021
Deleted docs/background.pdf

mt-bench-public!1 · created May 21, 2021 by Hana Mkaouar
- Closed
updated Jul 08, 2021
Adding new displaying option for timeline diagram (with and without reduce idle time) and Moving tests from ui.tml to tmltranslator

TTool!413 · created Apr 29, 2021 by Le Van Truong
- Merged
updated Apr 30, 2021
Revert "Merge branch 'revert-883077ef' into 'master'"

TTool!412 · created Apr 27, 2021 by Ludovic Apvrille
- Merged
updated Apr 27, 2021

Prev
1
2
3
4
5
6
7
8
9
…
26
Next