summaryrefslogtreecommitdiff
path: root/src/tools/wasm-fuzz-lattices.cpp
Commit message (Expand)AuthorAgeFilesLines
* [NFC] Refactor LocalGraph's core getSets API (#6877)Alon Zakai2024-08-281-2/+2
* [threads] Shared basic heap types (#6667)Thomas Lively2024-06-191-6/+7
* Fix build failure on older Ubuntu (#6085)Thomas Lively2023-11-071-80/+94
* [analysis] Add a "Shared" lattice to represent shared state (#6067)Thomas Lively2023-11-021-3/+20
* [analysis] Add a lattice for value types (#6064)Thomas Lively2023-11-011-6/+53
* [analysis] Add a tuple lattice (#6062)Thomas Lively2023-10-311-17/+61
* [analysis] Implement a vector lattice (#6058)Thomas Lively2023-10-311-11/+63
* [analysis] Implement an array lattice (#6057)Thomas Lively2023-10-311-9/+49
* [analysis] Improve lattice fuzzer (#6050)Thomas Lively2023-10-271-118/+523
* [analysis] Simplify core analysis code (#6034)Thomas Lively2023-10-251-12/+12
* [analysis][NFC] Create a TransferFunction concept (#6033)Thomas Lively2023-10-201-88/+23
* [analysis][NFC] Move the stack lattice to analysis/lattices (#6030)Thomas Lively2023-10-201-1/+1
* [analysis][NFC] Use C++20 concepts for Lattice (#6027)Thomas Lively2023-10-181-28/+27
* Lattice to model Stack (#5849)Bruce He2023-08-031-2/+68
* Add a Fuzzer for Lattice and Transfer Function Properties (#5831)Bruce He2023-07-261-0/+509
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 15:26:47 +0000