Skip to content

Issues: xlauko/lart

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 5 Closed
28 Open 5 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

lamp: implement signed values lamp
#47 opened Dec 7, 2021 by pavolmisenko
@xlauko
term: implement store/load lava
#43 opened Oct 22, 2021 by xlauko
svcomp: compile with -mx32 cc
#42 opened Oct 19, 2021 by xlauko
@xlauko
lava: integrate yices smt domain lava
#41 opened Oct 19, 2021 by xlauko
@xlauko
svcomp: fix nondet floats bug Something isn't working cc
#40 opened Oct 14, 2021 by xlauko
@xlauko
rt: setup verbose backtrace enhancement New feature or request good first issue Good for newcomers
#39 opened Oct 13, 2021 by xlauko
dbg: add pretty printing scripts for debuger enhancement New feature or request good first issue Good for newcomers lamp
#38 opened Oct 13, 2021 by xlauko
svcomp: heap category bug Something isn't working
#37 opened Oct 11, 2021 by xlauko
5 tasks
@xlauko
svcomp: array category bug Something isn't working
#36 opened Oct 11, 2021 by xlauko
32 tasks
@xlauko
cc: implement abstraction of memory transfers (memcmp, memmove) cc
#30 opened Oct 5, 2021 by xlauko
lamp: implement model extraction lamp
#28 opened Oct 5, 2021 by xlauko
lart: implement widening
#27 opened Oct 5, 2021 by xlauko
lava: implement smashing array domain lava
#26 opened Oct 5, 2021 by xlauko
rt: create stateless model checking runtime
#24 opened Oct 5, 2021 by xlauko
cc: fix compilation optimizations bug Something isn't working
#23 opened Oct 5, 2021 by xlauko
test: setup doctest with lava domains enhancement New feature or request
#22 opened Oct 5, 2021 by xlauko
docs: update readme enhancement New feature or request
#21 opened Oct 5, 2021 by xlauko
@xlauko
lava: implement zero domain lava
#19 opened Oct 5, 2021 by xlauko
@hadamove
lamp: setup svcomp interface lamp
#18 opened Oct 5, 2021 by xlauko
cc: resurrect operation annotations cc enhancement New feature or request
#13 opened Apr 16, 2021 by xlauko
lamp: get rid of stubbed functions cc lamp
#12 opened Apr 16, 2021 by xlauko
rt: add interactive mode enhancement New feature or request runtime
#11 opened Mar 20, 2021 by xlauko
@xlauko
rt: setup fault handler enhancement New feature or request runtime
#10 opened Mar 20, 2021 by xlauko
@xlauko
lava: backward propagation domain adaptor enhancement New feature or request lava
#9 opened Mar 8, 2021 by xlauko
@xlauko
cc: setup memory cleanup cc enhancement New feature or request
#5 opened Mar 8, 2021 by xlauko
3 tasks
@xlauko
ProTip! Find all open issues with in progress development work with linked:pr.