-
Notifications
You must be signed in to change notification settings - Fork 250
Pull requests: AbsInt/CompCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
More prudent handling of static names for string literals
#579
opened Mar 24, 2026 by
xavierleroy
Contributor
Loading…
AArch64 asm clobbers: recognize more register names
#576
opened Mar 16, 2026 by
xavierleroy
Contributor
Loading…
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!
Follow long discussions with comments:>50.