forks/binaryen.git -

	Commit message (Expand)	Author	Age	Files	Lines
*	Lattice to model Stack (#5849)	Bruce He	2023-08-03	3	-7/+261
*	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
*	Remove incorrect usages of the term "setses" (#5841)	Bruce He	2023-07-26	1	-20/+20
*	Static Analysis: Add an API to get the block index of an expression (#5822)	Alon Zakai	2023-07-20	2	-0/+32
*	Reaching Definitions Analysis for LocalGraph (#5817)	Bruce He	2023-07-19	8	-67/+362
*	Small fixes to lattice and analyzer (#5815)	Bruce He	2023-07-13	2	-9/+9
*	Generalize Finite Powerset Lattice to Any Given Type (#5800)	Bruce He	2023-07-06	3	-21/+72
*	Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...	Bruce He	2023-07-06	4	-136/+218
*	Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)	Bruce He	2023-06-29	5	-171/+234
*	Liveness Analysis Proof of Concept (#5771)	Bruce He	2023-06-23	7	-0/+410
*	avoid incomplete type in a vector (#5730)	walkingeyerobot	2023-05-17	1	-17/+17
*	[analysis] Add a new iterable CFG utility (#5712)	Thomas Lively	2023-05-12	4	-0/+331