summaryrefslogtreecommitdiff
path: root/src/tools/wasm-fuzz-types.cpp
Commit message (Expand)AuthorAgeFilesLines
* [NFC] Use HeapType::getKind more broadly (#6846)Thomas Lively2024-08-191-8/+15
* Add a utility for comparing and hashing rec group shapes (#6808)Thomas Lively2024-08-071-0/+94
* [threads] Fuzz shared types in type fuzzer (#6704)Thomas Lively2024-06-261-1/+2
* Make final types the default (#5918)Thomas Lively2023-09-091-1/+1
* Initial support for `final` types (#5803)Thomas Lively2023-07-061-0/+5
* Remove the ability to construct basic types in a TypeBuilder (#5678)Thomas Lively2023-04-191-37/+21
* Remove the nominal type system (#5672)Thomas Lively2023-04-171-34/+22
* Remove the --hybrid and --nominal command line options (#5669)Thomas Lively2023-04-141-19/+0
* Refactor type fuzzer to expose `getInhabitable` API (#5552)Thomas Lively2023-03-081-76/+14
* Skip function references when detecting uninhabitable types (#5545)Thomas Lively2023-03-031-11/+7
* Fix type printing in the type fuzzer (#5543)Thomas Lively2023-03-031-4/+3
* Add a fuzzer utility for ensuring types are inhabitable (#5541)Thomas Lively2023-03-031-3/+112
* Remove equirecursive typing (#5240)Thomas Lively2022-11-231-11/+3
* Restore the `extern` heap type (#4898)Thomas Lively2022-08-171-40/+66
* Remove RTTs (#4848)Thomas Lively2022-08-051-20/+0
* Make IndexedTypeNameGenerator more powerful (#4511)Thomas Lively2022-02-091-2/+2
* Fuzz structural type canonicalization (#4510)Thomas Lively2022-02-091-14/+308
* Print recursion groups in wasm-fuzz-types (#4509)Thomas Lively2022-02-081-0/+17
* Generate heap type names when printing types (#4503)Thomas Lively2022-02-071-1/+22
* [NFC] Move type fuzzer method definitions out of line (#4505)Thomas Lively2022-02-041-91/+102
* Isorecursive type fuzzing (#4501)Thomas Lively2022-02-041-0/+8
* Make `TypeBuilder::build()` fallible (#4474)Thomas Lively2022-01-251-1/+6
* Add categories to --help text (#4421)Alon Zakai2022-01-051-0/+6
* Validate LUBs in the type fuzzer (#4396)Thomas Lively2021-12-151-0/+53
* Check for correct subtyping in the type fuzzer (#4350)Thomas Lively2021-11-201-6/+26
* Small cleanups in type fuzzer (#4337)Thomas Lively2021-11-171-2/+2
* Add a fuzzer specifically for types (#4328)Thomas Lively2021-11-151-0/+122
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 18:27:37 +0000