We need an accurate specification of what the ABC bytecode verifier is doing. This would ideally include hints for compilerwriters on working around verifier errors.
Created attachment 351226 [details] [diff] [review] patch
Attachment #351226 - Flags: review?(edwsmith)
This patch adds the wiki source text and the generated html file of the verifier spec. Also added is a python script that does the translation. Jd
Assignee: jodyer → nobody
Status: ASSIGNED → NEW
Component: Virtual Machine → Verifier
QA Contact: vm → verifier
Assignee: nobody → akruetzf
Depends on: 641055
OS: Mac OS X → Windows 7
Updating the current feedback on spec and bytecode notes.
Target Milestone: Q3 11 - Serrano → Q1 12 - Brannan
What's the plan for this document and updates?
I don't beleive there is a plan, other than to make this content into a chapter in the overall avm/abc spec, which will live and be updated in tamarin-redux. A separate document should not be necessary.
Ed, please confirm that I can land the patch in your doc repo or tip if it is ready.
(In reply to Andre Kruetzfeldt from comment #6) > Ed, please confirm that I can land the patch in your doc repo or tip if it > is ready. After some digging, I found the master bug: Bug 416391. (this bug is for a chapter on the verifier, not the overall spec). Here's what needs to happen: 1. review legalese 2. rebase that repo to tamarin-redux, generate a single patch 3. post it on bug 416391, I'll review and maybe get more eyes on it. 4. then we land. 5. nice to have (new bug?): generate docs during the build and post them to a well known URL. Sound good?
Yup, I'll take a shot at it.
The patch in this bug can land "as is" it does not alter the doxygen material.
It appears to have landed a long time ago. closing.
Status: NEW → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → WORKSFORME
You need to log in before you can comment on or make changes to this bug.