3540,4570,5450: update EOF container format (#6156)
* 3540: update eof contain format
* 4750,5450: update for new 3540 changes, disallow unreachble code
* 4750,5450: remove ref impls for now
* appease our overlord, walidator
* Apply suggestions from code review
Co-authored-by: Andrei Maiboroda <andrei@ethereum.org>
Co-authored-by: Jochem Brouwer <jochembrouwer96@gmail.com>
* reword type section intro
Co-authored-by: Paweł Bylica <chfast@gmail.com>
* apply feedback from review
Co-authored-by: Paweł Bylica <chfast@gmail.com>
* 4750: do not cleanup stack after jumpf or retf
* remove rationale for stack cleanup
* Apply suggestions from code review
Co-authored-by: Paweł Bylica <chfast@gmail.com>
* 4750: remove jumpf for later definition
* fix stale comment
Co-authored-by: Danno Ferrin <danno.ferrin@swirldslabs.com>
* fix a couple typos and improve clarity
* appease link checker
* note terminating instruction requirement from 5450
* cap max_stack_height at 1023
* add padding to table
* fix padding
Co-authored-by: Andrei Maiboroda <andrei@ethereum.org>
* revert terminating instructions change to 3670
* fix rearranged sections
Co-authored-by: Andrei Maiboroda <andrei@ethereum.org>
* Apply suggestions from code review
Co-authored-by: Paweł Bylica <chfast@gmail.com>
Co-authored-by: Andrei Maiboroda <andrei@ethereum.org>
Co-authored-by: Jochem Brouwer <jochembrouwer96@gmail.com>
Co-authored-by: Paweł Bylica <chfast@gmail.com>
Co-authored-by: Danno Ferrin <danno.ferrin@swirldslabs.com>
GitHub Diff