Merge requests · mbe-tools

Check Authenticity in AD + other updates

TTool!460 · created Jun 05, 2023 by Jawher Jerray
- Merged
updated Jun 06, 2023
Adding AMULET features to AI module and enriching manual

TTool!459 · created Jun 02, 2023 by Bastien Sultan
- Merged
- Approved
updated Jun 02, 2023
IntBoolSolver (IBS) version 1.0 completed

TTool!457 · created May 30, 2023 by Sophie Coudert
updated Jun 02, 2023
Fix backtracing authenticity and mapping keys

TTool!456 · created May 19, 2023 by Jawher Jerray
- Merged
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
updated May 17, 2023
Security generation mapping new tasks

TTool!454 · created May 12, 2023 by Jawher Jerray
- Merged
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
updated May 02, 2023
Initializes SEFA project

SEFA!1 · created Mar 29, 2018 by Marc Jeanmougin
- Merged
- 1
- Approved
updated Apr 18, 2023
Update docs and models and fix bugs for security verification

TTool!452 · created Mar 23, 2023 by Jawher Jerray
- Merged
updated Mar 27, 2023
[AMULET] Patching a bug affecting signal operators modifications

TTool!451 · created Jan 19, 2023 by Bastien Sultan
- Merged
- Approved
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
updated Jan 17, 2023
Fix memory leak on transactions

TTool!449 · created Dec 01, 2022 by Jawher Jerray
- Merged
- Approved
updated Dec 01, 2022
Sophie wrk

TTool!448 · created Nov 23, 2022 by Sophie Coudert
- Merged
- Approved
updated Nov 23, 2022
Fix length commands in trace

TTool!447 · created Oct 13, 2022 by Jawher Jerray
- Merged
- Approved
updated Oct 13, 2022
Undo changes from commit 38356672

TTool!446 · created Oct 13, 2022 by Jawher Jerray
- Merged
- Approved
updated Oct 13, 2022
Fix avs command and add new command rvs

TTool!445 · created Oct 12, 2022 by Jawher Jerray
- Merged
- Approved
updated Oct 13, 2022
Specify port to run simulator

TTool!444 · created Oct 06, 2022 by Jawher Jerray
- Merged
- Approved
updated Oct 07, 2022
Disable width field for destination channel

TTool!443 · created Oct 06, 2022 by Jawher Jerray
- Merged
updated Oct 07, 2022
Update Trace and Timeline HTML

TTool!442 · created Sep 29, 2022 by Jawher Jerray
Simulator
- Merged
- Approved
updated Sep 30, 2022
fix stop simulation

TTool!437 · created Aug 19, 2022 by Jawher Jerray
- Merged
- Approved
updated Sep 09, 2022