Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Repository
Branches
Overview
Active
Stale
All
details_02_2023
ddf4aef6
·
Merge branch 'master' into details_02_2023
·
Feb 09, 2023
update_docs_and_fix_bugs_for_security_verif
40a50a33
·
Change cryptographicconfiguration.md + Fix bug in Help
·
Mar 27, 2023
!452
fix-bugs-iv-TMLTranslator2AvatarSec
04f87d4a
·
Delete TMLEncryption and TMLDecryption classes + add new attribut in SecurityPattern class
·
Apr 28, 2023
!453
security-generation-mapping-new-tasks
b8466dd6
·
Update AliceAndBobHW model
·
May 12, 2023
!454
add-compare-two-buffers-function
ca7fb57a
·
Add a function to compare two buffers with a regex replace option
·
May 17, 2023
!455
fix-backtracing
ec3d358a
·
Unify security patterns using static strings + arrange code
·
May 23, 2023
!456
IAMULET
47af0d42
·
Correcting a typo in the manual
·
Jun 02, 2023
parser_03_2023
11545290
·
HACK in IBSStdLexer.jflex: adding a break in the two empty instructions...
·
Jun 02, 2023
!457
fix-tml2Avatar-tranlator
e969fbd7
·
Map keys with addSwallowedTGComponent() func
·
Jul 19, 2023
!466
fix-diplo-code-generator-bug
20edfdac
·
add new tests for parallel transfers
·
Jul 25, 2023
!467
tmr-generation
501aa217
·
Merge-related TMR udpate
·
Aug 16, 2023
AIMULET
4c9a1293
·
Improving AImulet module
·
Aug 30, 2023
!470
poc_graaljs
b5b087c8
·
Use GraalJS
·
Nov 12, 2023
revert-5d8a25f9
42fa75a6
·
Revert "Merge branch 'jna_update' into 'master'"
·
Nov 14, 2023
!473
pattern-generation
fc69d4e8
·
merge from origin
·
Nov 15, 2023
!476
poc_sim_fixes
7c855a63
·
simulator: enable extra errors and -Werror
·
Nov 25, 2023
!477
fix-avatar-guardElse
26224bc5
·
Put ElseGuard handling in AvatarSyntaxChecker
·
Jan 13, 2024
!479
auth-check-in-AD
80d74d9e
·
update clear authenticity backtracing for ports
·
Jan 18, 2024
!480
Prev
1
…
7
8
9
10
11
Next