-
Notifications
You must be signed in to change notification settings - Fork 259
Pull requests: AbsInt/CompCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Makefile: use an explicit path for extraction/extraction.v
#591
opened Aug 5, 2026 by
JasonGross
Contributor
Loading…
Support development Menhir and Rocq 9.3 proof syntax
#590
opened Jul 28, 2026 by
JasonGross
Contributor
•
Draft
Add explicit tail calls to Clight and C#minor
#422
opened Nov 12, 2021 by
xavierleroy
Contributor
Loading…
Removing the global environment from Smallstep.semantics
#258
opened Sep 23, 2018 by
jeremie-koenig
Contributor
Loading…
Change stack and register models to bytes instead of values
#245
opened Aug 23, 2018 by
gergo-
Contributor
Loading…
Remove dependency on proof irrelevence axiom
#230
opened Apr 26, 2018 by
roconnor-blockstream
Contributor
Loading…
RFC: stable memory block names for globals
#220
opened Feb 5, 2018 by
jeremie-koenig
Contributor
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.