Merge requests · mbe-tools / TTool

Fix backtracing authenticity and mapping keys

!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

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

!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

!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

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

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

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

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

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

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

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

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

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

!442 · created Sep 29, 2022 by Jawher Jerray
Simulator
- Merged
- Approved
- 0
updated Sep 30, 2022
Provisional workarounds on mutation compiler

!441 · created Sep 09, 2022 by Bastien Sultan
- Merged
- Approved
- 0
updated Sep 09, 2022
[AMULET] Patching several bugs in mutation compiler and adding some tests

!440 · created Sep 07, 2022 by Bastien Sultan
- Merged
- Approved
- 0
updated Sep 07, 2022
Patching two methods on mutation compiler, creating a new CLI command for compiling a batch of mutations, adding some tests

!439 · created Sep 05, 2022 by Bastien Sultan
- Merged
- Approved
- 0
updated Sep 05, 2022
fix stop simulation

!437 · created Aug 19, 2022 by Jawher Jerray
- Merged
- Approved
- 0
updated Sep 09, 2022
Patching W-Sec tutorial

!436 · created Jul 29, 2022 by Bastien Sultan
- Merged
- Approved
- 0
updated Jul 29, 2022