forks/binaryen.git -

	Commit message (Expand)	Author	Age	Files	Lines
*	[analysis] Add a FullLattice concept and Inverted lattice (#6038)	Thomas Lively	2023-10-25	1	-0/+20
*	[analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice...	Thomas Lively	2023-10-25	1	-6/+7
*	[analysis] Simplify core analysis code (#6034)	Thomas Lively	2023-10-25	1	-2/+3
*	[analysis][NFC] Create a TransferFunction concept (#6033)	Thomas Lively	2023-10-20	1	-2/+4
*	[analysis][NFC] Move powerset lattices to their own header (#6028)	Thomas Lively	2023-10-20	1	-133/+16
*	[analysis][NFC] Use C++20 concepts for Lattice (#6027)	Thomas Lively	2023-10-18	1	-34/+34
*	Lattice to model Stack (#5849)	Bruce He	2023-08-03	1	-6/+6
*	Convert lattice compare function to non-static (#5848)	Bruce He	2023-07-28	1	-4/+5
*	Add a Fuzzer for Lattice and Transfer Function Properties (#5831)	Bruce He	2023-07-26	1	-0/+12
*	Reaching Definitions Analysis for LocalGraph (#5817)	Bruce He	2023-07-19	1	-0/+9
*	Generalize Finite Powerset Lattice to Any Given Type (#5800)	Bruce He	2023-07-06	1	-9/+60
*	Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)	Bruce He	2023-06-29	1	-32/+85
*	Liveness Analysis Proof of Concept (#5771)	Bruce He	2023-06-23	1	-0/+57