Skip to content

Pull requests: AbsInt/CompCert

New pull request New
Clear current search query, filters, and sorts
11 Open 249 Closed
11 Open 249 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Coq 8.20.1 is supported
#545 by vbgl was merged Jan 17, 2025 • Approved
1
Use the --print-version command to robustly get the Coq / Rocq version.
#544 by ppedrot was merged Jan 16, 2025 • Approved
2
Adapt to https://github.com/coq/coq/pull/20027
#543 by proux01 was merged Jan 14, 2025
7
Protect against $NNN identifiers
#541 by xavierleroy was merged Dec 6, 2024
1
Support C99 array declarator syntax involving static and *
#539 by xavierleroy was merged Dec 2, 2024
1
2
Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external
#538 by xavierleroy was merged Nov 22, 2024
1
remove compat dance connecting Zeq_bool and Z.eqb
#535 by andres-erbsen was merged Jan 9, 2025
5
use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801)
#534 by andres-erbsen was closed Nov 4, 2024
5
Use GNU make's wildcard expansion instead of the shell's, because the…
#532 by monniaux was closed Oct 30, 2024
2
Add -allow-unreleased-menhir
#530 by JasonGross was closed Oct 22, 2024
4
Build .glob files at the default place and install them
#529 by xavierleroy was merged Oct 26, 2024
1
1
Add -ignore-menhir-version
#528 by JasonGross was closed Oct 21, 2024
2
install .v files alongside .vo files
#527 by JasonGross was merged Oct 21, 2024 • Approved
1
Add minimal syntactic support for type _Float16
#525 by xavierleroy was merged Oct 22, 2024
5
Adapt to https://github.com/coq/coq/pull/19530
#524 by proux01 was merged Oct 3, 2024
8
Add missing temp_env parameter to Clight.eval_expr's documentation
#523 by ebresafegaga was merged Sep 8, 2024
1
Fix typo in the documentation of the Stacking pass
#521 by ebresafegaga was merged Aug 25, 2024
2
More precise value analysis for "known integer or Vundef" results
#520 by xavierleroy was merged Aug 22, 2024
1
Bound the recursion depth of heuristic size_stmt in RTLgen
#519 by xavierleroy was merged Aug 22, 2024
CSE: remember the abstract pointers in Load equations
#518 by xavierleroy was merged Aug 19, 2024
5
More conservative value analysis of pointer equality
#516 by xavierleroy was merged Jul 26, 2024
1
Adapt w.r.t. coq/coq#19343.
#515 by ppedrot was merged Jul 15, 2024
4
Add CI testing using Github Actions
#514 by xavierleroy was merged Jul 5, 2024
Add Mbool memory chunk to improve compilation of computations at type _Bool
#513 by xavierleroy was merged Jun 16, 2024
1
build: Support TIMING and PROFILING like coq_makefile
#512 by SkySkimmer was merged Jul 3, 2024 • Approved
2
ProTip! Updated in the last three days: updated:>2025-03-09.