Commits

Commit history

1. Commits on Apr 8, 2021

   • [spec] Layout improvements (#1307)

     rossberg

     authored
     119d3b2View commit details

     Copy full SHA for 119d3b2

     View code at this pointBrowse repository at this point
2. 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
3. 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
4. Commits on Oct 18, 2019

   • [spec] fix valid tableinst and meminst premises in appendix (#1093)

     

     Huxpro

     authored and

     rossberg

     committed
     2a83796View commit details

     Copy full SHA for 2a83796

     View code at this pointBrowse repository at this point
5. 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
6. Commits on May 3, 2018

   • [spec] Address review by eholk; allow host function divergence & non-determinism (#792)

     rossberg

     authored
     5c75e10View commit details

     Copy full SHA for 5c75e10

     View code at this pointBrowse repository at this point
7. Commits on Feb 13, 2018

   • [spec] Cite mechanisation paper (#666)

     Show description for 4653fc0
     rossberg

     authored
     4653fc0View commit details

     Copy full SHA for 4653fc0

     View code at this pointBrowse repository at this point
8. 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
9. Commits on Nov 22, 2017

   • [spec] Fix variable names in instantiation (#604)

     rossberg

     authored
     f4e2926View commit details

     Copy full SHA for f4e2926

     View code at this pointBrowse repository at this point
10. 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
11. 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
12. 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
13. 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
14. Commits on Jun 30, 2017

    • [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
15. Loading