Henrich Lauko
Results
1
repositories owned by
Henrich Lauko
lart
18
Stars
2
Forks
Watchers
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting program...
