Commit History

Author SHA1 Message Date
  David Thompson 433d4ffb07 Update copyright headers and module commentary. 1 year ago
  David Thompson ea4eec03b4 Apply type canonicalization to validation pass. 1 year ago
  Andy Wingo 905c497cbf Renumber GC opcodes, rename to final names 1 year ago
  David Thompson fa87fe7bef parse: Strip type from type use objects. 1 year ago
  David Thompson 9a643763c1 stack: Add $i8-array/$i16-array cases to type checker. 1 year ago
  David Thompson f62f167547 stack: i31 is also a subtype of any. 1 year ago
  David Thompson 2d56ad7eb8 Add array.fill instruction. 1 year ago
  David Thompson 89e8d1a8bd stack: Fix br_table. 1 year ago
  David Thompson 2d7a648764 stack: Fix call_ref. 1 year ago
  David Thompson ef7d161a0f stack: Fix br_on_non_null. 1 year ago
  David Thompson 13953adc1d stack: Match i32 with i16 and i8 packed types. 1 year ago
  David Thompson b0fb8606ed stack: Fix array.get, array.get_s, and array.get_u. 1 year ago
  David Thompson 13812c49ab stack: Fix array.len. 1 year ago
  David Thompson 03488a2aee stack: Add ref.cast. 1 year ago
  David Thompson ed719eaceb stack: i31 is a sub type of eq. 1 year ago
  David Thompson 1e8305e35a stack: Add array.new. 1 year ago
  David Thompson 20ec6855b8 stack: Fix return_call_ref. 1 year ago
  David Thompson 2c6797d0cf stack: Fix struct field lookup. 1 year ago
  David Thompson 674220c2a6 types: Fix ref-type-nullable? export. 1 year ago
  David Thompson cd77ee76f5 stack: Fix type checking for funcref. 1 year ago
  David Thompson 77158c5817 stack: Remove non-function context initialization. 1 year ago
  David Thompson 0b32e9045c stack: Fix call_indirect argument matching. 1 year ago
  David Thompson 640a88e000 stack: Fix matcher for f64 comparison ops. 1 year ago
  David Thompson ffaed39612 Extend stack module to support VM validation use-case. 1 year ago
  Andy Wingo 5937044a0d Fix exports 1 year ago
  Andy Wingo 3c7035947c Minor fixen 1 year ago
  Andy Wingo 868d9cfe3c New module: (wasm stack) 1 year ago