Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
mbe-tools
Merge requests
Open
2
Merged
347
Closed
123
All
472
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
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