summaryrefslogtreecommitdiff
path: root/src/wasm-type.h
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix RTTs for RTT-less instructions (#4294)Thomas Lively2021-11-031-0/+4
* Update to C++17 and use std::optional for getSuperType (#4203)Derek Schuff2021-10-181-3/+4
* Implement standalone nominal types (#4201)Thomas Lively2021-10-051-3/+22
* Use ptrdiff_t instead of long for type iterator diff (#4200)Derek Schuff2021-10-011-1/+1
* Remove use of std::iterator (#4199)Derek Schuff2021-10-011-5/+8
* Show a clear error on asyncify+references. (#4125)Alon Zakai2021-09-071-0/+6
* [Wasm GC] Constant Field Propagation (#4052)Alon Zakai2021-08-051-0/+2
* [Wasm GC] Add a isNonNullable() convenience method. NFC (#3978)Alon Zakai2021-07-121-0/+8
* Parsing and emitting nominal types (#3933)Thomas Lively2021-06-151-0/+2
* Nominal subtyping (#3927)Thomas Lively2021-06-111-1/+13
* Initial nominal typing support (#3919)Thomas Lively2021-06-081-3/+23
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-14 23:05:09 +0000