Skip to content

Issues: AliveToolkit/alive2

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

Clear current search query, filters, and sorts
52 Open 406 Closed
52 Open 406 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

Contents of memory input to fns not checked memory Memory Model
#647 opened Jan 13, 2021 by nunoplopes
11 👀 1
Implement Z3 perf regression tracking enhancement New feature or request performance Opportunities for improving performance
#492 opened Sep 26, 2020 by nunoplopes
17 👀 1
Add support for C++'s new operators memory Memory Model
#101 opened Sep 20, 2019 by aqjune
2
Bad counterexample for this problem
#129 opened Oct 12, 2019 by manasij7479
4
Can't introduce stores in C++ memory Memory Model
#183 opened Nov 23, 2019 by nunoplopes
1
Alive2 assumes an input can be fully undef only
#326 opened Mar 19, 2020 by aqjune
2
Volatile load/store support memory Memory Model
#340 opened Apr 1, 2020 by LebedevRI
19
Comparison of bytes of allocas given to function arguments memory Memory Model
#435 opened Jun 22, 2020 by LebedevRI
1
7
-tv-report-dir doesn't work when compiling .s files
#536 opened Oct 23, 2020 by regehr
3
A failure due to an issue related with escaped local block memory Memory Model
#556 opened Nov 4, 2020 by aqjune
10
Simplify the input memory refinement of calls if there is no store memory Memory Model performance Opportunities for improving performance
#598 opened Nov 29, 2020 by aqjune
5
Skolemization of the pointer in the memory refinement memory Memory Model
#609 opened Dec 7, 2020 by aqjune
2
Predicate support incomplete
#45 opened Apr 14, 2019 by LebedevRI
writeonly fns cannot read memory, but fninputRefined violates it memory Memory Model
#650 opened Jan 18, 2021 by aqjune
6
A source is more defined than target error memory Memory Model
#651 opened Jan 19, 2021 by aqjune
8
Cleanup loop unroll implementation loops Loops performance Opportunities for improving performance
#652 opened Jan 19, 2021 by nunoplopes
1
is it legal for a noescape pointer given to ptrtoint and returned memory Memory Model
#685 opened Mar 3, 2021 by nunoplopes
7
False-positive with function call & undef pointer input memory Memory Model
#697 opened Mar 20, 2021 by nunoplopes
1
5
Function call cross-product abstraction doesn't handle loops with may-exit edges loops Loops performance Opportunities for improving performance
#725 opened May 6, 2021 by LebedevRI
5
Loop termination handling loops Loops
#726 opened May 25, 2021 by LebedevRI
4
False negative for function with loop, only fails with sufficiently large unroll factor. loops Loops
#727 opened May 25, 2021 by fhahn
2
Mixed non-null/maybe-null malloc semantics in a same program memory Memory Model
#732 opened Jun 21, 2021 by nunoplopes
Alloc of > half of address space is complicated memory Memory Model
#754 opened Oct 13, 2021 by nunoplopes
Implement new semantics for writeonly memory Memory Model
#1058 opened Jun 19, 2024 by nunoplopes
next steps for parallel clang plugin
#614 opened Dec 8, 2020 by regehr
7
ProTip! Find all open issues with in progress development work with linked:pr.