-
Notifications
You must be signed in to change notification settings - Fork 79
Insights: goblint/analyzer
Overview
-
- 1 Merged pull request
- 2 Open pull requests
- 1 Closed issue
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Pull request merged by 1 person
-
Remove GraphML witness export
#1738 merged
May 5, 2025
2 Pull requests opened by 2 people
-
Improve int domain bitwise operators, support struct bitfields
#1739 opened
May 5, 2025 -
Lab Course SoSe2025 - Pentagon Domain
#1740 opened
May 7, 2025
1 Issue closed by 1 person
-
Remove support for GraphML witnesses?
#1732 closed
May 5, 2025
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Introduce backwards compatible infrastructure for parallelism
#1708 commented on
May 6, 2025 • 9 new comments -
ARG lifter non-termination with growing exclusion sets
#1322 commented on
May 4, 2025 • 0 new comments -
Total LLoC depends on analysis
#1737 commented on
May 6, 2025 • 0 new comments -
Exclude multithreaded main-main races by threadflag
#1589 commented on
May 6, 2025 • 0 new comments