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: fix compilation optimizations

xlauko avatar xlauko

bug

lamp: implement model extraction

xlauko avatar xlauko

lamp

lart: implement widening

xlauko avatar xlauko

lava: implement smashing array domain

xlauko avatar xlauko

lava

rt: create stateless model checking runtime

xlauko avatar xlauko

test: setup doctest with lava domains

xlauko avatar xlauko

enhancement

docs: update readme

xlauko avatar xlauko

enhancement

lava: implement zero domain

xlauko avatar xlauko

lava

lamp: setup svcomp interface

xlauko avatar xlauko

lamp

ci: setup github actions

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