Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Repository
Branches
Overview
Active
Stale
All
poc_graaljs
b5b087c8
·
Use GraalJS
·
Nov 12, 2023
AIMULET
4c9a1293
·
Improving AImulet module
·
Aug 30, 2023
!470
tmr-generation
501aa217
·
Merge-related TMR udpate
·
Aug 16, 2023
fix-diplo-code-generator-bug
20edfdac
·
add new tests for parallel transfers
·
Jul 25, 2023
!467
fix-tml2Avatar-tranlator
e969fbd7
·
Map keys with addSwallowedTGComponent() func
·
Jul 19, 2023
!466
parser_03_2023
11545290
·
HACK in IBSStdLexer.jflex: adding a break in the two empty instructions...
·
Jun 02, 2023
!457
IAMULET
47af0d42
·
Correcting a typo in the manual
·
Jun 02, 2023
fix-backtracing
ec3d358a
·
Unify security patterns using static strings + arrange code
·
May 23, 2023
!456
add-compare-two-buffers-function
ca7fb57a
·
Add a function to compare two buffers with a regex replace option
·
May 17, 2023
!455
security-generation-mapping-new-tasks
b8466dd6
·
Update AliceAndBobHW model
·
May 12, 2023
!454
fix-bugs-iv-TMLTranslator2AvatarSec
04f87d4a
·
Delete TMLEncryption and TMLDecryption classes + add new attribut in SecurityPattern class
·
Apr 28, 2023
!453
update_docs_and_fix_bugs_for_security_verif
40a50a33
·
Change cryptographicconfiguration.md + Fix bug in Help
·
Mar 27, 2023
!452
details_02_2023
ddf4aef6
·
Merge branch 'master' into details_02_2023
·
Feb 09, 2023
AMULETPatches
094621f4
·
[AMULET] Patching a bug affecting signal operators modifications
·
Jan 19, 2023
!451
fix-memory-leak-on-transactions
16791e22
·
Fix memory leak on transactions
·
Dec 01, 2022
!449
sophie_wrk
348baa6b
·
Merge branch 'master' into sophie_wrk
·
Nov 23, 2022
!448
fix-trace
7314209b
·
Update test ressource
·
Oct 13, 2022
!447
restore-commit-38356672
7acec8d9
·
Cancel changes in commit
38356672
·
Oct 13, 2022
!446
fix-avs-command-and-add-rvs
067d4b78
·
Fix avs command and add new command rvs
·
Oct 12, 2022
!445
specify-port-to-run-simulator
2e7972b9
·
Specify a port number to launch the simulator
·
Oct 06, 2022
!444
Prev
1
2
3
4
5
6
…
12
Next