summaryrefslogtreecommitdiff
path: root/src/wasm-type.h
Commit message (Expand)AuthorAgeFilesLines
* [NFC] Add HeapType::getFeatures() (#6707)Alon Zakai2024-06-271-0/+3
* [threads] Validate shared-to-unshared edges in heap types (#6698)Thomas Lively2024-06-251-0/+2
* [threads] Shared basic heap types (#6667)Thomas Lively2024-06-191-25/+39
* [NFC] Add constexpr HeapTypes for basic heap types (#6662)Thomas Lively2024-06-141-0/+20
* [threads] Parse, build, and print shared composite types (#6654)Thomas Lively2024-06-121-3/+8
* Rewrite wasm-shell to use new wast parser (#6601)Thomas Lively2024-05-171-0/+2
* [Strings] Remove stringview types and instructions (#6579)Thomas Lively2024-05-151-3/+0
* Typed continuations: nocont and cont basic heap types (#6468)Frank Emrich2024-04-041-0/+6
* [EH] Add exnref type back (#6149)Heejin Ahn2023-12-081-1/+8
* [analysis] Add an experimental TypeGeneralizing optimization (#6080)Thomas Lively2023-11-081-0/+3
* Typed Continuations: Add cont type (#5998)Frank Emrich2023-10-241-0/+26
* Add getGeneralSuperType() that includes basic supers, and use in fuzzer (#6005)Alon Zakai2023-10-171-0/+5
* [NFC] Rename getSuperType to getDeclaredSuperType (#6015)Alon Zakai2023-10-171-3/+3
* Add an "unsubtyping" optimization (#5982)Thomas Lively2023-10-101-0/+1
* Support i8/i16 mutable arrays as public types for string interop (#5814)Alon Zakai2023-09-211-0/+14
* Make final types the default (#5918)Thomas Lively2023-09-091-4/+4
* Improve cast optimizations (#5876)Thomas Lively2023-08-171-0/+2
* Fix a fuzz bug in TypeMapper (#5851)Thomas Lively2023-08-021-0/+2
* Initial support for `final` types (#5803)Thomas Lively2023-07-061-0/+7
* [NFC] Simplify `Tuple` by making it an alias of `TypeList` (#5775)Thomas Lively2023-06-201-30/+3
* [NFC] Rewrite isorecursive canonicalization (#5774)Thomas Lively2023-06-151-0/+1
* [NFC] Simplify rec group initialization in wasm-type.cpp (#5683)Thomas Lively2023-04-201-0/+3
* Remove the ability to construct basic types in a TypeBuilder (#5678)Thomas Lively2023-04-191-14/+1
* Remove the nominal type system (#5672)Thomas Lively2023-04-171-11/+0
* Add a fuzzer utility for ensuring types are inhabitable (#5541)Thomas Lively2023-03-031-0/+2
* [Strings] Initial string execution support (#5491)Alon Zakai2023-02-151-0/+3
* [Wasm GC] Replace `HeapType::data` with `HeapType::struct_` (#5416)Thomas Lively2023-01-101-2/+2
* [NFC] Allow TypeBuilder::Entry::subTypeOf to take any HeapType (#5314)Thomas Lively2022-12-021-2/+1
* Remove equirecursive typing (#5240)Thomas Lively2022-11-231-2/+1
* Switch from `typedef` to `using` in C++ code. NFC (#5258)Sam Clegg2022-11-151-2/+2
* Implement `array` basic heap type (#5148)Thomas Lively2022-10-181-0/+1
* Make `Name` a pointer, length pair (#5122)Thomas Lively2022-10-111-0/+1
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-1/+12
* [C API] Make TypeBuilderSetSubType take a heap type (#5045)dcode2022-09-231-4/+4
* Make `i31ref` and `dataref` nullable (#4843)Thomas Lively2022-08-261-2/+2
* Restore the `extern` heap type (#4898)Thomas Lively2022-08-171-2/+3
* Remove RTTs (#4848)Thomas Lively2022-08-051-40/+3
* Remove basic reference types (#4802)Thomas Lively2022-07-201-7/+1
* [Strings] Add string proposal types (#4755)Alon Zakai2022-06-291-1/+6
* Followups to #3841 (#3842)Alon Zakai2022-05-131-6/+0
* Remove externref (#4633)Thomas Lively2022-05-041-7/+4
* [Wasm GC] Fix non-nullable tuples (#4555)Alon Zakai2022-03-301-0/+7
* Remove nearly unused {Heap}Type::isCompound (#4541)Thomas Lively2022-03-221-3/+1
* Generate heap type names when printing types (#4503)Thomas Lively2022-02-071-3/+52
* Topological sorting of types in isorecursive output (#4492)Thomas Lively2022-02-021-1/+5
* Isorecursive canonicalization (#4481)Thomas Lively2022-01-291-1/+7
* Add a HeapType method for getting the rec group index (#4480)Thomas Lively2022-01-271-2/+3
* Isorecursive type validation (#4475)Thomas Lively2022-01-261-0/+4
* Make `TypeBuilder::build()` fallible (#4474)Thomas Lively2022-01-251-1/+26
* Parse, create, and print isorecursive recursion groups (#4464)Thomas Lively2022-01-211-0/+32