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
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
Updating the current feedback on spec and bytecode notes.
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.