-
Notifications
You must be signed in to change notification settings - Fork 220
Pull requests: AbsInt/CompCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
build: Support TIMING and PROFILING like coq_makefile
#512
opened Jun 11, 2024 by
SkySkimmer
Loading…
a patch to Makefile.menhir for ocaml-non-native architctures.
#502
opened Aug 23, 2023 by
yozot
Loading…
Removing the global environment from Smallstep.semantics
#258
opened Sep 23, 2018 by
jeremie-koenig
Loading…
Change stack and register models to bytes instead of values
#245
opened Aug 23, 2018 by
gergo-
Loading…
Remove dependency on proof irrelevence axiom
#230
opened Apr 26, 2018 by
roconnor-blockstream
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.