Barvinok’s Algorithm

Worked with Arjun Pitchanathan and Dr. Tobias Grosser to implement in MLIR an algorithm to count lattice points in polyhedra, with applications in polyhedral compilation, as part of the FPL library

The implementation can be found here; upstreaming to the LLVM/MLIR project is in progress.