summaryrefslogtreecommitdiff
path: root/test/gtest/possible-contents.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove obsolete parser code (#6607)Thomas Lively2024-05-291-1/+0
* Use the new wat parser in tests (#6556)Thomas Lively2024-04-291-11/+8
* Add getGeneralSuperType() that includes basic supers, and use in fuzzer (#6005)Alon Zakai2023-10-171-3/+4
* [NFC] Rename getSuperType to getDeclaredSuperType (#6015)Alon Zakai2023-10-171-3/+3
* Remove legacy type defintion text syntax (#5948)Thomas Lively2023-09-181-7/+7
* Make final types the default (#5918)Thomas Lively2023-09-091-8/+5
* GUFA: Infer using TrapsNeverHappen (#5850)Alon Zakai2023-08-021-3/+5
* PossibleContents: Support more intersection types (#5847)Alon Zakai2023-07-311-7/+21
* Remove the nominal type system (#5672)Thomas Lively2023-04-171-5/+1
* [GUFA] Refine global types during flow (#5639)Alon Zakai2023-04-071-4/+14
* [Wasm GC] Replace `HeapType::data` with `HeapType::struct_` (#5416)Thomas Lively2023-01-101-26/+26
* [NFC] Rewrite PossibleContents::combine to be static (#5192)Alon Zakai2022-10-281-4/+11
* [Wasm GC] Fix the depth of the new array heap type (#5186)Alon Zakai2022-10-281-0/+41
* [Wasm GC] Filter GUFA expression locations by their type (#5149)Alon Zakai2022-10-181-2/+29
* [Wasm GC] Fix the intersection of a bottom type null (#5128)Alon Zakai2022-10-121-0/+9
* [Wasm GC] [GUFA] Add initial ConeType support (#5116)Alon Zakai2022-10-111-23/+405
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-1/+1
* [GUFA] Test that combined things intersect with the combination. (#5094)Alon Zakai2022-09-291-0/+113
* [GUFA] Improve hashing (#5091)Alon Zakai2022-09-281-0/+22
* [GUFA] Fix haveIntersection on comparing nullable with non-nullable (#5089)Alon Zakai2022-09-281-0/+7
* [GUFA] Infer a RefEq value of 0 when possible (#5081)Alon Zakai2022-09-261-0/+50
* Separate `func` into a separate type hierarchy (#4955)Thomas Lively2022-08-221-4/+12
* Update reference type Literal constructors to use HeapType (#4857)Thomas Lively2022-08-011-1/+1
* Grand Unified Flow Analysis (GUFA) (#4598)Alon Zakai2022-07-221-0/+4
* Remove basic reference types (#4802)Thomas Lively2022-07-201-4/+6
* PossibleContents + ContentOracle (#4685)Alon Zakai2022-06-211-0/+262
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 11:03:03 +0000