forks/binaryen.git -

	Commit message (Expand)	Author	Age	Files	Lines
*	Update CFGWalker to generate consolidated exit blocks (#6079)	Thomas Lively	2023-11-06	1	-2/+57
*	[analysis] Simplify the stack lattice (#6069)	Thomas Lively	2023-11-02	1	-97/+0
*	[analysis][NFC] Rename `makeLeastUpperBound` to `join` and move it to lattice...	Thomas Lively	2023-10-25	1	-2/+2
*	[analysis] Simplify core analysis code (#6034)	Thomas Lively	2023-10-25	1	-169/+0
*	[analysis][NFC] Move the stack lattice to analysis/lattices (#6030)	Thomas Lively	2023-10-20	1	-1/+1
*	Lattice to model Stack (#5849)	Bruce He	2023-08-03	1	-0/+98
*	Convert lattice compare function to non-static (#5848)	Bruce He	2023-07-28	1	-3/+2
*	End the current basic block on a Call (#5823)	Alon Zakai	2023-07-26	1	-0/+45
*	Static Analysis: Add an API to get the block index of an expression (#5822)	Alon Zakai	2023-07-20	1	-0/+40
*	Reaching Definitions Analysis for LocalGraph (#5817)	Bruce He	2023-07-19	1	-0/+205
*	Generalize Finite Powerset Lattice to Any Given Type (#5800)	Bruce He	2023-07-06	1	-6/+47
*	Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...	Bruce He	2023-07-06	1	-19/+19
*	Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)	Bruce He	2023-06-29	1	-23/+35
*	Liveness Analysis Proof of Concept (#5771)	Bruce He	2023-06-23	1	-0/+158
*	Add a gtest fixture for tests checking printed output (#5781)	Thomas Lively	2023-06-23	1	-8/+5
*	[analysis] Add a new iterable CFG utility (#5712)	Thomas Lively	2023-05-12	1	-0/+84