Closed Bug 693588 Opened 13 years ago Closed 6 years ago

Migrate Verifier spec to be an avm spec chapter.

Categories

(Tamarin Graveyard :: Documentation, defect)

Product:
Tamarin Graveyard
Component:
Documentation
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED WONTFIX

People

(Reporter: edwsmith, Unassigned)

References

Details

There is a wiki-text style spec for the Verifier in tamarin-redux/doc; it should be migrated to be a chapter of the AVM spec.
Blocks: avmspec
Depends on: 467575
Status: NEW → RESOLVED
Closed: 6 years ago
Resolution: --- → WONTFIX
You need to log in before you can comment on or make changes to this bug.