Snippets Groups Projects

Change TRUST rule to hole in Alethe checker and cvc5

The hole rule is now official ;)

Change cvc5
Change Alethe checker

1 of 2 checklist items completed · Edited 2 years ago

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

Child items ...

Activity

Hans-Jörg added rules + 1 deleted label 2 years ago

added rules + 1 deleted label
Hans-Jörg assigned to @hbarbosa and @bandreotti 2 years ago

assigned to @hbarbosa and @bandreotti
Bruno Andreotti marked the checklist item Change Alethe checker as completed 2 years ago

marked the checklist item Change Alethe checker as completed
Hans-Jörg changed milestone to %Release 0.4 2 years ago

changed milestone to %Release 0.4
Hans-Jörg removed 1 deleted label 8 months ago

removed 1 deleted label
monixca345 @monixca345 · 7 months ago

Great post. It was much needed. Love IndigoCard your simplistic style of explanation.

Edited 6 months ago by monixca345

Please register or sign in to reply

Epic

None

Labels

None

Milestone

None

Iteration

None

Weight

None

Due date

None

Health status

None

Confidentiality

Confidentiality controls have moved to the issue actions menu () at the top of the page.

0 Participants