Skip to content
GitLab
Explore
Sign in
Open
2
Merged
374
Closed
125
All
501
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Update: auto mapping keys + pvspec generation + random sequence translation
!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
!465
· created
Jun 28, 2023
by
Bastien Sultan
Merged
updated
Jun 28, 2023
Parser 06 2023
!464
· created
Jun 20, 2023
by
Sophie Coudert
Merged
updated
Jun 20, 2023
inhibiting parser output messages on stderr and stdout
!463
· created
Jun 20, 2023
by
Sophie Coudert
Closed
updated
Jun 20, 2023
Parser 06 2023
!462
· created
Jun 20, 2023
by
Sophie Coudert
Merged
updated
Jun 20, 2023
Clear authenticity results in AD when pressing "Clear verification results" button
!461
· created
Jun 07, 2023
by
Jawher Jerray
Merged
updated
Jun 07, 2023
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
Adding AMULET features to AI module
!458
· created
Jun 02, 2023
by
Bastien Sultan
Closed
updated
Jun 02, 2023
IntBoolSolver (IBS) version 1.0 completed
!457
· created
May 30, 2023
by
Sophie Coudert
Merged
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
Prev
1
2
3
4
5
6
7
…
26
Next
