diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-31 03:45:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-31 03:45:31 +0100 |
| commit | bdc8b4d808913687a7e1811fa5f2d3bf4c55b612 (patch) | |
| tree | 9c220f212926f35b54b8d42fa86e3b9d9a129cb2 /src/binaryen-c.cpp | |
| parent | e8dd518cbc1daa2a696eddc5e4499786350a0a35 (diff) | |
| download | binaryen-bdc8b4d808913687a7e1811fa5f2d3bf4c55b612.tar.gz binaryen-bdc8b4d808913687a7e1811fa5f2d3bf4c55b612.tar.bz2 binaryen-bdc8b4d808913687a7e1811fa5f2d3bf4c55b612.zip | |
[analysis] Implement an array lattice (#6057)
The elements of `Array<L, N>` lattice are arrays of length `N` of elements of
`L`, compared pairwise with each other. This lattice is a concrete
implementation of what would be written L^N with pen and paper.
Diffstat (limited to 'src/binaryen-c.cpp')
0 files changed, 0 insertions, 0 deletions