Commits

Commit history

1. Commits on Mar 10, 2021

   • [spec/interpreter/test] Land bulk instructions & reference types proposals (#1287)

     rossberg

     authored
     7fa2f20View commit details

     Copy full SHA for 7fa2f20

     View code at this pointBrowse repository at this point
2. Commits on Apr 9, 2020

   • Merge multi-value proposal into spec (#1145)

     Show description for 484180b
     binji

     authored
     484180bView commit details

     Copy full SHA for 484180b

     View code at this pointBrowse repository at this point
3. Commits on Apr 18, 2019

   • [spec] Pre/post-conditions and some renamings in embedding interface (#1003)

     rossberg

     authored
     f20b8e9View commit details

     Copy full SHA for f20b8e9

     View code at this pointBrowse repository at this point
4. Commits on Aug 23, 2018

   • [spec] Add missing range checks on memory limits (#862)

     Show description for 2308f1e
     rossberg

     authored
     2308f1eView commit details

     Copy full SHA for 2308f1e

     View code at this pointBrowse repository at this point
5. Commits on Apr 4, 2018

   • [spec] Address comments by Luke (#752)

     rossberg

     authored
     9762124View commit details

     Copy full SHA for 9762124

     View code at this pointBrowse repository at this point
6. Commits on Sep 26, 2017

   • [spec] Typo

     rossberg

     committed
     62e01e2View commit details

     Copy full SHA for 62e01e2

     View code at this pointBrowse repository at this point
7. Commits on Jul 31, 2017

   • [spec] Add soundness theorems to appendix (#526)

     Show description for 8686fc5
     rossberg

     authored
     8686fc5View commit details

     Copy full SHA for 8686fc5

     View code at this pointBrowse repository at this point
8. Commits on Jul 6, 2017

   • [spec] Clean-up pass over main body of spec (#519)

     Show description for b8e3dc3
     rossberg

     authored
     b8e3dc3View commit details

     Copy full SHA for b8e3dc3

     View code at this pointBrowse repository at this point
9. Loading