-
Notifications
You must be signed in to change notification settings - Fork 134
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
•
Draft
Fix handling of allocation functions without
allocsize attribute - #1238
#1252
opened Oct 27, 2025 by
IamYJLee
Loading…
Encode floating point operations as uninterpreted functions
#1095
opened Oct 9, 2024 by
can-leh-emmtrix
Loading…
ProTip!
Filter pull requests by the default branch with base:master.