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)
Tamarin Graveyard
Documentation
Tracking
(Not tracked)
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.
Reporter | ||
Updated•13 years ago
|
Updated•6 years ago
|
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.
Description
•