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 Feb 9, 2018

   • [spec] Clean up instantiation and expression evaluation. (#661)

     Show description for 933f31e
     

     David Swasey

     authored and

     rossberg

     committed
     933f31eView commit details

     Copy full SHA for 933f31e

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

   • [spec] Add embedder interface (#567)

     Show description for e01c4da
     rossberg

     authored
     e01c4daView commit details

     Copy full SHA for e01c4da

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

   • [spec] Fix and clean up invariants for host functions (#563)

     rossberg

     authored
     772d877View commit details

     Copy full SHA for 772d877

     View code at this pointBrowse repository at this point
8. Commits on Aug 1, 2017

   • [spec] Fix typo in judgement scheme

     rossberg

     committed
     3a3899aView commit details

     Copy full SHA for 3a3899a

     View code at this pointBrowse repository at this point
9. 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
10. Loading