diff options
| author | Abhinav271828 <71174780+Abhinav271828@users.noreply.github.com> | 2024-01-11 01:28:36 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-11 01:28:36 +0530 |
| commit | 2dde029df8f9e3b2ece6899dc73bea226f227d11 (patch) | |
| tree | 54d7dd463d23c9a2f2e45db2f4fc7a5e85344d06 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp | |
| parent | a1dc813f759955ddbcf9b12ed052dfc8a07fdf4a (diff) | |
| download | llvm-2dde029df8f9e3b2ece6899dc73bea226f227d11.zip llvm-2dde029df8f9e3b2ece6899dc73bea226f227d11.tar.gz llvm-2dde029df8f9e3b2ece6899dc73bea226f227d11.tar.bz2 | |
[MLIR][Presburger] Implement computation of generating function for unimodular cones (#77235)
We implement a function that computes the generating function
corresponding to a unimodular cone.
The generating function for a polytope is obtained by summing these
generating functions over all tangent cones.
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
0 files changed, 0 insertions, 0 deletions