-
Notifications
You must be signed in to change notification settings - Fork 158
Pull requests: AliveToolkit/alive2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: separate denormal modes for inputs and outputs
#1349
opened Sep 14, 2026 by
regehr
Contributor
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.