Merge requests · mbe-tools · GitLab

Adding semantic feedback to AIMULET

TTool!468 · created Jul 31, 2023 by Bastien Sultan
- Merged
updated Jul 31, 2023
fix a bug in Diplodocus code generator

TTool!467 · created Jul 21, 2023 by Jawher Jerray
- Merged
- Approved
updated Jul 26, 2023
Update: auto mapping keys + pvspec generation + random sequence translation

TTool!466 · created Jul 19, 2023 by Jawher Jerray
- Merged
- Approved
updated Jul 19, 2023
Implementing support for owner in state-machine element mutations and adding feedback to AMULET AI module

TTool!465 · created Jun 28, 2023 by Bastien Sultan
- Merged
updated Jun 28, 2023
Parser 06 2023

TTool!464 · created Jun 20, 2023 by Sophie Coudert
- Merged
updated Jun 20, 2023
inhibiting parser output messages on stderr and stdout

TTool!463 · created Jun 20, 2023 by Sophie Coudert
- Closed
updated Jun 20, 2023
Parser 06 2023

TTool!462 · created Jun 20, 2023 by Sophie Coudert
- Merged
updated Jun 20, 2023
Clear authenticity results in AD when pressing "Clear verification results" button

TTool!461 · created Jun 07, 2023 by Jawher Jerray
- Merged
updated Jun 07, 2023
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
Adding AMULET features to AI module

TTool!458 · created Jun 02, 2023 by Bastien Sultan
- Closed
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
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

Prev
1
2
3
4
5
6
7
…
26
Next