-
Notifications
You must be signed in to change notification settings - Fork 140
Pull requests: AliveToolkit/alive2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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!
Updated in the last three days: updated:>2026-04-11.