summaryrefslogtreecommitdiff
path: root/src/wasm-type.h
Commit message (Expand)AuthorAgeFilesLines
* 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
* Create `ParentIndexIterator` to reduce iterator boilerplate (#4469)Thomas Lively2022-01-211-53/+8
* Reset global type state between tests (#4468)Thomas Lively2022-01-201-0/+5
* Remove unused `isNominal` field on HeapTypeInfo (#4465)Thomas Lively2022-01-201-18/+1
* Add a `--hybrid` type system option (#4460)Thomas Lively2022-01-191-0/+1
* Validate LUBs in the type fuzzer (#4396)Thomas Lively2021-12-151-0/+3
* Check for correct subtyping in the type fuzzer (#4350)Thomas Lively2021-11-201-1/+3
* Add a fuzzer specifically for types (#4328)Thomas Lively2021-11-151-0/+7
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-12 10:23:06 +0000