The Wayback Machine - https://web.archive.org/web/20220216200047/https://github.com/goblint/analyzer/pulls
Skip to content
New pull request New
22 Open 321 Closed
22 Open 321 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Parallel parsing
performance pr-dependency
#598 opened Feb 16, 2022 by sim642
Parallel preprocessing
performance
#597 opened Feb 16, 2022 by sim642
2
Extract function and node specific logic from TD3
cleanup
#596 opened Feb 15, 2022 by sim642 • Draft
@sim642
Affine Equalities
feature student-job
#592 opened Feb 8, 2022 by MartinWehking • Draft
3
Reparse files before each analysis run in server mode
feature
#591 opened Feb 8, 2022 by keremc
11
Adaptations to preprocessing
bug
#585 opened Feb 2, 2022 by stilscher • Approved
@stilscher
8
Array unrolling abstract domain
feature precision student-job
#577 opened Jan 27, 2022 by mikcp • Approved
37
Loop Unrolling for the first exp.unrolling-factor Iterations
feature precision student-job
#563 opened Jan 21, 2022 by mikcp • Changes requested
23
Experiment with intermediate CIL merges
benchmarking performance
#532 opened Jan 13, 2022 by sim642 • Draft
1
Analysis of pthread_cond
feature precision
#520 opened Jan 8, 2022 by michael-schwarz • Draft
4 tasks
@michael-schwarz
2
Expression splitting analysis prototype
feature precision
#497 opened Dec 15, 2021 by sim642 • Draft
3 tasks
td3 cleanup
#490 opened Dec 9, 2021 by vogler • Draft
Interactive analysis
feature in progress performance precision
#391 opened Oct 13, 2021 by sim642 • Draft v2.0.0
11
TD3: non-incremental reluctant destabilization at all variables
feature performance
#365 opened Sep 29, 2021 by sim642 • Draft
2 tasks
5
Optimize TD3 to not unnecessarily store bottom for just eval-ed variables
performance
#349 opened Sep 20, 2021 by sim642
4
OCaml's let* instead of ocaml-monadic ppx
cleanup
#281 opened Jul 12, 2021 by vogler • Draft
Move assert result output from base to separate assert analysis
cleanup
#278 opened Jul 12, 2021 by sim642
10
Liveness analysis of multi-threaded C with POSIX threads
feature student-job
#220 opened May 9, 2021 by denis631
13
add option exp.no-globals-context
#193 opened Apr 20, 2021 by vogler • Draft
2
Add transformation to instrument a program with asserts
student-job
#157 opened Dec 17, 2020 by michael-schwarz
22
initialize locals with bot, warn on access (undefined behavior)
#75 opened Oct 31, 2019 by vogler
14
Fix/region
#66 opened Aug 24, 2017 by vogler
ProTip! Type g i on any issue or pull request to go back to the issue listing page.