-
Notifications
You must be signed in to change notification settings - Fork 79
Insights: goblint/analyzer
Overview
Could not load contribution data
Please try again later
13 Pull requests merged by 4 people
-
Remove
IntDomain.Size.top_typ#1742 merged
May 8, 2025 -
Deduplicate
IntDomainmodule types#1741 merged
May 8, 2025 -
Remove GraphML witness export
#1738 merged
May 5, 2025 -
Explicitly specify no-argument function pointers in tests
#1724 merged
Apr 22, 2025 -
Disable
graphmlwitnesses insvcomp.json#1733 merged
Apr 21, 2025 -
Use generic
Speclifters for delayed widening#1731 merged
Apr 18, 2025 -
Change YAML witness generation default to version 2.0 with only
invariant_set#1718 merged
Apr 18, 2025 -
Weaken
Lattice.Lift{,2}Confarguments, removeLattice.LiftPO#1728 merged
Apr 17, 2025 -
Narrowing of globals in TD
#1636 merged
Apr 17, 2025 -
Remove dummy
topandis_topimplementations from int domains#1727 merged
Apr 17, 2025 -
Document def_exc and enums exclusion bit range assumption
#1726 merged
Apr 15, 2025 -
Implement delayed widening
#1483 merged
Apr 10, 2025 -
Fallback for malloc uniqueness for when threading analyses are disabled
#1721 merged
Apr 9, 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
7 Issues opened by 3 people
-
Total LLoC depends on analysis
#1737 opened
Apr 30, 2025 -
Incorrect loop head for do-while loops in YAML witnesses
#1736 opened
Apr 29, 2025 -
Output location invariants for witnesses at labels
#1735 opened
Apr 24, 2025 -
Fixpoint not reached for 14 new tasks
#1734 opened
Apr 22, 2025 -
Audit for domain-unsafe global code
#1730 opened
Apr 17, 2025 -
Termination analysis gives up for loops with multiple conditions
#1725 opened
Apr 11, 2025 -
Questionable invariants in SV-COMP 2025 witnesses
#1722 opened
Apr 9, 2025
6 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 • 33 new comments -
SV-COMP autotuner spuriously enables all integer domains
#1472 commented on
Apr 15, 2025 • 0 new comments -
`exception Cilfacade.TypeOfError(typeOffset: Field on a non-compound (lock, char ))` for custom malloc wrappers
#1706 commented on
Apr 16, 2025 • 0 new comments -
ARG lifter non-termination with growing exclusion sets
#1322 commented on
May 4, 2025 • 0 new comments -
Exclude multithreaded main-main races by threadflag
#1589 commented on
May 6, 2025 • 0 new comments -
Replace `int` -> `_Bool` in goblint stubs arguments
#1684 commented on
Apr 17, 2025 • 0 new comments