Giters
Jezurko
/
potato
Experimental MLIR based points-to analysis tool
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
2
Issues:
2
Forks:
0
Jezurko/potato Issues
Revisit memory effects for operations
Updated
3 months ago
Lowering of LLVM arithmetic operations does not deal with over/underflows
Updated
3 months ago