Skip to content

Issues: AbsInt/CompCert

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 259 Closed
27 Open 259 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01
#542 opened Dec 5, 2024 by MSoegtropIMC
2
__ILP32__ __LP64__ __LLP64__
#536 opened Nov 5, 2024 by monniaux
Feature request: support +r constraint in extended asm
#510 opened Feb 1, 2024 by didickman
CompCert puts constants in the text segment, which breaks under operating systems (e.g. OpenBSD) that make it execute-only
#508 opened Jan 18, 2024 by monniaux
Any options available for function & data purging? enhancement
#500 opened Aug 4, 2023 by xxuejie
4
Bit-field initialization via interpreter still has problems
#499 opened Jul 25, 2023 by Geoffrey1014
1
list_forall2 replaceable by standard function
#493 opened Jun 12, 2023 by monniaux
compiling with -g on MacOS AArch64 leads to linking warnings
#486 opened Apr 3, 2023 by monniaux
maintenance request: adapt to coq/coq#17022
#483 opened Feb 20, 2023 by andres-erbsen
Suggestion: Val.of_bool and partial evaluation
#478 opened Feb 1, 2023 by roconnor-blockstream
RISC-V -- error: fixup value out of range
#451 opened Aug 15, 2022 by brad0
2
compilation of __builtin_unreachable
#430 opened May 6, 2022 by monniaux
Clang support?
#424 opened Dec 23, 2021 by brad0
3
-version-file option; detailed -version information enhancement
#386 opened Jan 30, 2021 by andrew-appel
2
Some dual-licensed code, such as PrintCsyntax, depends on NCL-only sources
#379 opened Dec 17, 2020 by shym
contracted floating-point expressions enhancement
#373 opened Oct 18, 2020 by monniaux
2
Command line option to return configuration data enhancement
#362 opened Jun 29, 2020 by MSoegtropIMC
3
sub-architectural options passed to preprocessor, assembler etc. enhancement
#347 opened Apr 12, 2020 by monniaux
Misleading comment in cparser/StructPassing.ml
#318 opened Oct 14, 2019 by sixcy
2
Support for long and long long bit-field types enhancement
#315 opened Sep 18, 2019 by tgduckworth
4
__thread / _Thread_local enhancement
#268 opened Feb 2, 2019 by monniaux
4
Support for gnu extension flexible array initializer enhancement
#264 opened Jan 23, 2019 by ubitux
2
feature request: allow code on stdin for gcc compat enhancement
#166 opened Feb 12, 2017 by didickman
2
Details about wide-character support enhancement
#26 opened Mar 2, 2015 by ghost
3
Bit-field initialization for automatic-storage variables enhancement
#22 opened Feb 13, 2015 by ghost
3
ProTip! Mix and match filters to narrow down what you’re looking for.