Merge requests · mbe-tools / TTool

Check Authenticity in AD + other updates

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

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

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

!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

!455 · created May 17, 2023 by Jawher Jerray
- Merged
updated May 17, 2023
Security generation mapping new tasks

!454 · created May 12, 2023 by Jawher Jerray
- Merged
updated May 15, 2023
Fix some bugs in the translation from TML to AVATAR Sec

!453 · created Apr 20, 2023 by Jawher Jerray
- Merged
- Approved
updated May 02, 2023
Update docs and models and fix bugs for security verification

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

!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

!450 · created Jan 17, 2023 by Bastien Sultan
- Merged
- Approved
updated Jan 17, 2023
Fix memory leak on transactions

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

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

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

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

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

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

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

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

!437 · created Aug 19, 2022 by Jawher Jerray
- Merged
- Approved
updated Sep 09, 2022
Provisional workarounds on mutation compiler

!441 · created Sep 09, 2022 by Bastien Sultan
- Merged
- Approved
updated Sep 09, 2022