Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • M mbe-tools
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 94
    • Issues 94
    • List
    • Board
    • Milestones
  • Merge requests 3
    • Merge requests 3
  • Packages and registries
    • Packages and registries
    • Package Registry
Collapse sidebar
  • mbe-tools
  • Merge requests
  • Open 3
  • Merged 330
  • Closed 121
  • All 454
  • Update docs and models and fix bugs for security verification
    TTool!452 · created Mar 23, 2023 by Jawher Jerray
    • MERGED
    • 0
    updated Mar 27, 2023
  • [AMULET] Patching a bug affecting signal operators modifications
    TTool!451 · created Jan 19, 2023 by Bastien Sultan
    • MERGED
    • Approved
    • 0
    updated Jan 20, 2023
  • Patching a bug on modifications of signals with several parameters in AMULET compiler
    TTool!450 · created Jan 17, 2023 by Bastien Sultan
    • MERGED
    • Approved
    • 0
    updated Jan 17, 2023
  • Fix memory leak on transactions
    TTool!449 · created Dec 01, 2022 by Jawher Jerray
    • MERGED
    • Approved
    • 0
    updated Dec 01, 2022
  • Sophie wrk
    TTool!448 · created Nov 23, 2022 by Sophie Coudert
    • MERGED
    • Approved
    • 0
    updated Nov 23, 2022
  • Fix length commands in trace
    TTool!447 · created Oct 13, 2022 by Jawher Jerray
    • MERGED
    • Approved
    • 0
    updated Oct 13, 2022
  • Undo changes from commit 38356672
    TTool!446 · created Oct 13, 2022 by Jawher Jerray
    • MERGED
    • Approved
    • 0
    updated Oct 13, 2022
  • Fix avs command and add new command rvs
    TTool!445 · created Oct 12, 2022 by Jawher Jerray
    • MERGED
    • Approved
    • 0
    updated Oct 13, 2022
  • Specify port to run simulator
    TTool!444 · created Oct 06, 2022 by Jawher Jerray
    • MERGED
    • Approved
    • 0
    updated Oct 07, 2022
  • Disable width field for destination channel
    TTool!443 · created Oct 06, 2022 by Jawher Jerray
    • MERGED
    • 0
    updated Oct 07, 2022
  • Update Trace and Timeline HTML
    TTool!442 · created Sep 29, 2022 by Jawher Jerray   Simulator
    • MERGED
    • Approved
    • 0
    updated Sep 30, 2022
  • fix stop simulation
    TTool!437 · created Aug 19, 2022 by Jawher Jerray
    • MERGED
    • Approved
    • 0
    updated Sep 09, 2022
  • Provisional workarounds on mutation compiler
    TTool!441 · created Sep 09, 2022 by Bastien Sultan
    • MERGED
    • Approved
    • 0
    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
    • 0
    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
    • 0
    updated Sep 05, 2022
  • Patching W-Sec tutorial
    TTool!436 · created Jul 29, 2022 by Bastien Sultan
    • MERGED
    • Approved
    • 0
    updated Jul 29, 2022
  • Improving W-Sec tutorial
    TTool!435 · created Jul 29, 2022 by Bastien Sultan
    • MERGED
    • Approved
    • 0
    updated Jul 29, 2022
  • Adding tutorial on W-Sec
    TTool!433 · created Jul 27, 2022 by Bastien Sultan
    • MERGED
    • Approved
    • 0
    updated Jul 27, 2022
  • Parsing et Exceptions
    TTool!432 · created Jul 13, 2022 by Leon Frenot
    • MERGED
    • Approved
    • 0
    updated Jul 19, 2022
  • Adding actions for avatar spec mutation, printing, drawing
    TTool!431 · created Jul 08, 2022 by Leon Frenot   mutation
    • MERGED
    • 0
    updated Jul 08, 2022
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 17
  • Next