summaryrefslogtreecommitdiff
path: root/src/type-checker.cc
Commit message (Expand)AuthorAgeFilesLines
* binary/wat: Implement EHv4 (#2470)Soni L.2024-11-201-1/+34
* Fix call_ref on empty stack (#2472)Soni L.2024-09-241-11/+4
* Fix error message for ref.is_null (#2471)Soni L.2024-09-231-12/+11
* Avoid creating temporary vector copies when checking signature (#2435)Michael Bradshaw2024-06-241-1/+1
* Update testsuite and implement table64 (#2418)Sam Clegg2024-05-151-17/+29
* Flip order of memory indexes on memory.copy (#2294)Keith Winstein2023-09-111-3/+3
* Share reading/validation code between elem exprs & other const exprs (#2288)Keith Winstein2023-09-061-2/+8
* Silence warnings on GCC 12 (#2177)Keith Winstein2023-03-221-4/+3
* Align `memory.copy` arg types with `memory64` proposal (#2024)Adam Bratschi-Kaye2022-11-011-2/+10
* Simplify part of type-checker. NFC (#2031)Sam Clegg2022-10-311-23/+18
* Move headers to include/wabt/ (#1998)Alex Reinking2022-09-281-1/+1
* update br_table validation rule + enforce module validity in spectest-interp ...Keith Winstein2022-04-131-1/+1
* Clang-format codebase (#1684)Heejin Ahn2021-12-201-4/+9
* Fix param naming for `OnFuncRefExpr` (See #1768). NFC (#1786)Sam Clegg2021-12-131-2/+2
* Remove check from binary-reader-interp.cc that the validator already catches....Sam Clegg2021-12-131-9/+13
* Share validation code between constant expressions and function bodies. NFC (...Sam Clegg2021-12-101-1/+18
* OnRefFuncExpr takes a func index. NFC (#1768)Sam Clegg2021-12-021-2/+2
* Add interpreter support for the exception handling proposal (#1749)Asumu Takikawa2021-11-171-0/+18
* Support function references in parameters and results of functions and blocks...Dmitry Bezhetskov2021-11-161-5/+11
* Fix delegate validation to allow any block target (#1748)Asumu Takikawa2021-10-291-4/+0
* Update testsuite (#1738)Sam Clegg2021-10-181-2/+2
* Begin support for typed function references proposal: added the flag and supp...Dmitry Bezhetskov2021-07-251-2/+27
* [EH] Remove `unwind` (#1682)Heejin Ahn2021-06-291-27/+4
* Memory64: support 64-bit data init-expr (#1656)Wouter van Oortmerssen2021-04-051-1/+1
* [simd] Implement store lane (#1647)Ng Zhi An2021-03-221-0/+11
* [simd] Implement load lane (#1646)Ng Zhi An2021-03-221-0/+13
* Fix checking of delegate target block kind. (#1605)Asumu Takikawa2021-02-231-0/+4
* Update rethrow depth handling and catch_all opcode (#1608)Asumu Takikawa2021-02-181-17/+15
* Update exception handling support to current proposal (#1596)Asumu Takikawa2021-02-101-23/+95
* Select instr. with multiple results is invalid (#1582)Ben Smith2020-12-031-4/+5
* Added initial "memory64" proposal support (#1500)Wouter van Oortmerssen2020-08-071-35/+54
* Remove ref.is_null type parameter (#1474)Ben Smith2020-07-151-2/+15
* Revert br_table in reference types proposal (#1484)Ben Smith2020-07-151-15/+5
* [wasm2wat] Write select type immediate (#1451)Ben Smith2020-05-291-1/+1
* Reference types changes to remove subtyping (#1407)Ben Smith2020-05-281-28/+10
* Add support for atomic.fence from the threads proposal (#1231)Andy Wingo2020-04-201-0/+4
* Convert Type from an enum into a class (#1350)Ben Smith2020-02-281-5/+5
* Share validator between IR + binary-reader-interp (#1346)Ben Smith2020-02-271-5/+7
* reference-types: add final test: br_table (#1264)Sam Clegg2019-12-131-9/+17
* reference-types: add support for typed select (#1253)Sam Clegg2019-11-261-4/+13
* reference-types: add table.fill instruction (#1252)Sam Clegg2019-11-251-0/+4
* reference-types: Add reference-types spec tests (#1225)Sam Clegg2019-11-251-22/+32
* reference-types: implement type checking for table.get/table.set (#1221)Sam Clegg2019-11-151-5/+4
* Fix expected stack layout when typechecking select instruction (#1222)Sam Clegg2019-11-151-1/+1
* reference-types: Add multi-table support to the interpreter (#1218)Sam Clegg2019-11-141-3/+3
* reference-types: Improve reftype support (#1220)Sam Clegg2019-11-141-2/+11
* Initial implementation of reftype proposal in the interpreter. (#1206)Sam Clegg2019-11-071-0/+5
* Add ref.* to the (invoke) (#1156)Yury Delendik2019-09-121-5/+12
* Rename except_ref type to exnref (#1142)Heejin Ahn2019-08-131-4/+4
* Update typechecking for `table.grow` (#1079)Alex Crichton2019-05-131-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 12:04:45 +0000