lart icon indicating copy to clipboard operation
lart copied to clipboard

Published 20 hours ago • verified publisher icon xlauko
→

Metadata

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...

Results 28 lart issues
Sort by recently updated
recently updated
newest added

cc: implement memory aware freeze/melt

xlauko avatar xlauko

enhancement
cc

cc: setup preprocessing

- [ ] lower select instructions - [ ] lower switch instructions - [ ] lower cmp instructions - [ ] duplicate called functions

xlauko avatar xlauko

enhancement
cc

cc: setup memory cleanup

- [ ] cleanup on lifetime ends - [ ] construct/destruct lamp frames - [ ] cleanup on stores

xlauko avatar xlauko

enhancement
cc

lava: backward propagation domain adaptor

xlauko avatar xlauko

enhancement
lava

rt: setup fault handler

xlauko avatar xlauko

enhancement
runtime

rt: add interactive mode

xlauko avatar xlauko

enhancement
runtime

lamp: get rid of stubbed functions

xlauko avatar xlauko

lamp
cc

cc: resurrect operation annotations

xlauko avatar xlauko

enhancement
cc

← Metadata

18
Stars
2
Forks
Watchers

Owner

verified publisher icon xlauko

Metadata

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...

Back