Issues
- 0
lamp: implement signed values
#47 opened by pavolmisenko - 0
svcomp: bitvector category
#35 opened by xlauko - 0
term: implement store/load
#43 opened by xlauko - 0
svcomp: compile with -mx32
#42 opened by xlauko - 0
lava: integrate yices smt domain
#41 opened by xlauko - 0
svcomp: fix nondet floats
#40 opened by xlauko - 0
rt: setup verbose backtrace
#39 opened by xlauko - 0
dbg: add pretty printing scripts for debuger
#38 opened by xlauko - 0
svcomp: heap category
#37 opened by xlauko - 0
svcomp: array category
#36 opened by xlauko - 0
- 0
cc: fix compilation optimizations
#23 opened by xlauko - 0
lamp: implement model extraction
#28 opened by xlauko - 0
lart: implement widening
#27 opened by xlauko - 0
lava: implement smashing array domain
#26 opened by xlauko - 0
rt: create stateless model checking runtime
#24 opened by xlauko - 0
test: setup doctest with lava domains
#22 opened by xlauko - 0
docs: update readme
#21 opened by xlauko - 0
lava: implement zero domain
#19 opened by xlauko - 0
lamp: setup svcomp interface
#18 opened by xlauko - 0
ci: setup github actions
#1 opened by xlauko - 0
cc: implement memory aware freeze/melt
#2 opened by xlauko - 0
cc: setup preprocessing
#4 opened by xlauko - 0
cc: setup memory cleanup
#5 opened by xlauko - 0
lava: backward propagation domain adaptor
#9 opened by xlauko - 0
rt: setup fault handler
#10 opened by xlauko - 0
rt: add interactive mode
#11 opened by xlauko - 0
lamp: get rid of stubbed functions
#12 opened by xlauko - 0
cc: resurrect operation annotations
#13 opened by xlauko - 0
cc: implement call abstraction
#3 opened by xlauko - 0
lart: optimize libc++ link time
#6 opened by xlauko - 0
lava: implement term domain
#7 opened by xlauko - 1
lamp: implement semilattice
#8 opened by xlauko