Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • M mbe-tools
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 100
    • Issues 100
    • List
    • Board
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • Packages and registries
    • Packages and registries
    • Package Registry
Collapse sidebar
  • mbe-tools
  • Merge requests
  • Open 2
  • Merged 347
  • Closed 123
  • All 472
  • Improving AImulet module
    TTool!470 · created Aug 30, 2023 by Bastien Sultan
    • Merged
    • 0
    updated Aug 30, 2023
  • Improving AIMULET and adding a test on AvatarSpecification cloning
    TTool!469 · created Aug 03, 2023 by Bastien Sultan
    • Merged
    • 0
    updated Aug 03, 2023
  • Adding semantic feedback to AIMULET
    TTool!468 · created Jul 31, 2023 by Bastien Sultan
    • Merged
    • 0
    updated Jul 31, 2023
  • fix a bug in Diplodocus code generator
    TTool!467 · created Jul 21, 2023 by Jawher Jerray
    • Merged
    • Approved
    • 0
    updated Jul 26, 2023
  • Update: auto mapping keys + pvspec generation + random sequence translation
    TTool!466 · created Jul 19, 2023 by Jawher Jerray
    • Merged
    • Approved
    • 0
    updated Jul 19, 2023
  • Implementing support for owner in state-machine element mutations and adding feedback to AMULET AI module
    TTool!465 · created Jun 28, 2023 by Bastien Sultan
    • Merged
    • 0
    updated Jun 28, 2023
  • Parser 06 2023
    TTool!464 · created Jun 20, 2023 by Sophie Coudert
    • Merged
    • 0
    updated Jun 20, 2023
  • inhibiting parser output messages on stderr and stdout
    TTool!463 · created Jun 20, 2023 by Sophie Coudert
    • Closed
    • 0
    updated Jun 20, 2023
  • Parser 06 2023
    TTool!462 · created Jun 20, 2023 by Sophie Coudert
    • Merged
    • 0
    updated Jun 20, 2023
  • Clear authenticity results in AD when pressing "Clear verification results" button
    TTool!461 · created Jun 07, 2023 by Jawher Jerray
    • Merged
    • 0
    updated Jun 07, 2023
  • Check Authenticity in AD + other updates
    TTool!460 · created Jun 05, 2023 by Jawher Jerray
    • Merged
    • 0
    updated Jun 06, 2023
  • Adding AMULET features to AI module and enriching manual
    TTool!459 · created Jun 02, 2023 by Bastien Sultan
    • Merged
    • Approved
    • 0
    updated Jun 02, 2023
  • Adding AMULET features to AI module
    TTool!458 · created Jun 02, 2023 by Bastien Sultan
    • Closed
    • 0
    updated Jun 02, 2023
  • IntBoolSolver (IBS) version 1.0 completed
    TTool!457 · created May 30, 2023 by Sophie Coudert
    • Merged
    • 0
    updated Jun 02, 2023
  • Fix backtracing authenticity and mapping keys
    TTool!456 · created May 19, 2023 by Jawher Jerray
    • Merged
    • 0
    updated May 25, 2023
  • Add a function to compare two buffers with a regex replace option
    TTool!455 · created May 17, 2023 by Jawher Jerray
    • Merged
    • 0
    updated May 17, 2023
  • Security generation mapping new tasks
    TTool!454 · created May 12, 2023 by Jawher Jerray
    • Merged
    • 0
    updated May 15, 2023
  • Fix some bugs in the translation from TML to AVATAR Sec
    TTool!453 · created Apr 20, 2023 by Jawher Jerray
    • Merged
    • Approved
    • 0
    updated May 02, 2023
  • 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
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 24
  • Next