Skip to content

Consider all spawning functions in autotuner#1604

Merged
sim642 merged 2 commits intomasterfrom
issue-1181
Oct 24, 2024
Merged

Consider all spawning functions in autotuner#1604
sim642 merged 2 commits intomasterfrom
issue-1181

Conversation

@sim642
Copy link
Copy Markdown
Member

@sim642 sim642 commented Oct 23, 2024 •
edited
Loading

@sim642 sim642 added bug unsound sv-comp SV-COMP (analyses, results), witnesses pr-dependency Depends or builds on another PR, which should be merged before labels Oct 23, 2024
@sim642 sim642 added this to the SV-COMP 2025 milestone Oct 23, 2024
Base automatically changed from unknown-function-spawn to master October 24, 2024 07:21
@sim642 sim642 removed the pr-dependency Depends or builds on another PR, which should be merged before label Oct 24, 2024
@sim642 sim642 merged commit 0a85a53 into master Oct 24, 2024
@sim642 sim642 deleted the issue-1181 branch October 24, 2024 07:23
sim642 added a commit to sim642/opam-repository that referenced this pull request Nov 28, 2024
@sim642
[new release] goblint (2.5.0)
944a275 
CHANGES:

Functionally equivalent to Goblint in SV-COMP 2025.

* Add 32bit vs 64bit architecture support (goblint/analyzer#54, goblint/analyzer#1574).
* Add per-function context gas analysis (goblint/analyzer#1569, goblint/analyzer#1570, goblint/analyzer#1598).
* Adapt automatic static loop unrolling (goblint/analyzer#1516, goblint/analyzer#1582, goblint/analyzer#1583, goblint/analyzer#1584, goblint/analyzer#1590, goblint/analyzer#1595, goblint/analyzer#1599).
* Adapt automatic configuration tuning (goblint/analyzer#1450, goblint/analyzer#1612, goblint/analyzer#1181, goblint/analyzer#1604).
* Simplify non-relational integer invariants in witnesses (goblint/analyzer#1517).
* Fix excessive hash collisions (goblint/analyzer#1594, goblint/analyzer#1602).
* Clean up various code (goblint/analyzer#1095, goblint/analyzer#1523, goblint/analyzer#1554, goblint/analyzer#1575, goblint/analyzer#1588, goblint/analyzer#1597, goblint/analyzer#1614).
@sim642 sim642 mentioned this pull request Nov 28, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@michael-schwarz michael-schwarz michael-schwarz approved these changes

Assignees

No one assigned

Labels

bug sv-comp SV-COMP (analyses, results), witnesses unsound

Projects

None yet

Milestone

SV-COMP 2025

Development

Successfully merging this pull request may close these issues.

Autotuner doesn't account for all spawning functions

2 participants

@sim642 @michael-schwarz