-
Notifications
You must be signed in to change notification settings - Fork 154
Pull requests: AliveToolkit/alive2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump github/codeql-action from 4 to 4.37.4
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#1332
opened Aug 3, 2026 by
dependabot
Bot
Loading…
Extend state representation to track
errno across control-flow
#1284
opened Feb 4, 2026 by
antoniofrighetto
Contributor
•
Draft
Fix handling of allocation functions without
allocsize attribute - #1238
#1252
opened Oct 27, 2025 by
IamYJLee
Contributor
Loading…
Encode floating point operations as uninterpreted functions
#1095
opened Oct 9, 2024 by
can-leh-emmtrix
Contributor
Loading…
Encode the basic refinement of escaped local blocks
#753
opened Oct 10, 2021 by
aqjune
Member
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.