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 Dec 6, 2018

   • [spec/interpreter/tests] Rename instructions (#926)

     Show description for 994591e
     rossberg

     authored
     994591eView commit details

     Copy full SHA for 994591e

     View code at this pointBrowse repository at this point
4. 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
5. Commits on Sep 15, 2017

   • [spec] List external standard dependencies (#564)

     rossberg

     authored
     667dbadView commit details

     Copy full SHA for 667dbad

     View code at this pointBrowse repository at this point
6. 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
7. Commits on Jul 19, 2017

   • [spec] Explain validation algorithm (#523)

     rossberg

     authored
     a5b02a4View commit details

     Copy full SHA for a5b02a4

     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. Commits on Jun 30, 2017

   • [spec] Clean up macros

     rossberg

     committed
     94aea9dView commit details

     Copy full SHA for 94aea9d

     View code at this pointBrowse repository at this point

   • [spec] Move main spec into its own dir (#517)

     rossberg

     authored
     9992280View commit details

     Copy full SHA for 9992280

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