Skip to content

Pinned issues

High-level documentation
#208 opened Apr 27, 2021 by sim642
Open 7
Remove unmaintained features
#460 opened Nov 25, 2021 by sim642
Open 8
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

65 Open 189 Closed
65 Open 189 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Parallel preprocessing and parsing performance
#589 opened Feb 3, 2022 by sim642
@sim642
Writing through pointer of differently sized type bug unsound
#582 opened Jan 31, 2022 by stilscher
3
Test 06/22 fails when apron is activated bug unsound
#580 opened Jan 30, 2022 by MartinWehking
3
Handle pseudo return node in CFG comparison bug
#574 opened Jan 27, 2022 by sim642
@stilscher
1
Non-NULL pointer restriction broken in base invariant bug precision
#566 opened Jan 25, 2022 by sim642
Unsound address set equality with mismatching offsets bug unsound
#564 opened Jan 24, 2022 by sim642
Allow incremental octagon Apron analysis feature
#558 opened Jan 21, 2022 by jerhard
5
Track written lvalues per function and use this information in Base.combine precision
#553 opened Jan 20, 2022 by jerhard
Extract incremental logic from TD3 cleanup pr-dependency
#545 opened Jan 19, 2022 by sim642
1 of 4 tasks
@sim642
Make precision refinement compatible with reluctant destabilization bug
#508 opened Dec 21, 2021 by stilscher
@jerhard @stilscher
5
Assert in IntDomTuple that the resulting value has at least one active domain debugging
#504 opened Dec 17, 2021 by jerhard
@jerhard
Warn when control flow reaches end of a _Noreturn function c11 feature
#501 opened Dec 16, 2021 by michael-schwarz
1
General system for outputting custom metrics for BenchExec, etc benchmarking feature
#488 opened Dec 9, 2021 by sim642
7 tasks
@sim642
3
Cleanup of the array domains cleanup
#485 opened Dec 9, 2021 by michael-schwarz
1
Partitioned array imprecision with int annotations in interactive bug
#468 opened Nov 30, 2021 by sim642
@jerhard
16
Add Zenodo metadata file documentation
#461 opened Nov 25, 2021 by sim642 v2.0.0
Remove unmaintained features cleanup
#460 opened Nov 25, 2021 by sim642
5 of 10 tasks
v2.0.0
@sim642
8
Improve precision in invariant by delaying joins feature precision
#458 opened Nov 25, 2021 by michael-schwarz
Symbolic locksets should invalidate using may-equality information bug unsound
#434 opened Nov 5, 2021 by vesalvojdani
@vesalvojdani
Interactive Analysis - Automating feature
#413 opened Oct 26, 2021 by ivanazuzic
@ivanazuzic
Make MapBot total again bug cleanup
#403 opened Oct 19, 2021 by sim642
@sim642
Add unknown thread ID cleanup
#392 opened Oct 13, 2021 by sim642
regression2sv-benchmarks improvements feature sv-comp testing
#383 opened Oct 11, 2021 by sim642
7 tasks
Marshal all data into single file bug performance
#357 opened Sep 24, 2021 by sim642
add linux-headers/arch/arm64 since we only have x86 feature
#312 opened Aug 3, 2021 by vogler
6
ProTip! no:milestone will show everything without a milestone.