-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: rems-project/cerberus
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add support for empty structs (under a switch)
#1011
opened Sep 1, 2026 by
dc-mak
Collaborator
Loading…
(rewrite) const_prop: soundness & case support
#1006
opened May 29, 2026 by
dc-mak
Collaborator
Loading…
tentatively have Translation.mk_neg add type annotation to the 0 pexpr
#981
opened Oct 6, 2025 by
cp526
Collaborator
Loading…
Use
void for no argument functions in Pp_ail
#953
opened May 1, 2025 by
ZippeyKeys12
Collaborator
Loading…
Make SMT solver consider the full set of assumptions, including the o…
#846
opened Jan 30, 2025 by
cp526
Collaborator
Loading…
Adding a switch for normalising types at elaboration time
#805
opened Dec 31, 2024 by
kmemarian
Collaborator
Loading…
[CN] Pure term (partial) evaluation
cn
#447
opened Jul 30, 2024 by
ZippeyKeys12
Collaborator
•
Draft
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.