GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Downgrade unrecognized -W<warning> from an error to a warning

#552

· didickman opened

on Jun 8, 2025

Edge case with offsetof

#549

· dkfellows opened

on May 5, 2025

ILP32 LP64 LLP64

#536

· monniaux opened

on Nov 5, 2024

Feature request: support +r constraint in extended asm

#510

· didickman opened

on Feb 1, 2024

Any options available for function & data purging?

#500

· xxuejie opened

on Aug 4, 2023

Bit-field initialization via interpreter still has problems

#499

· Geoffrey1014 opened

on Jul 25, 2023

list_forall2 replaceable by standard function

#493

· monniaux opened

on Jun 12, 2023

compiling with -g on MacOS AArch64 leads to linking warnings

#486

· monniaux opened

on Apr 3, 2023

maintenance request: adapt to coq/coq#17022

#483

· andres-erbsen opened

on Feb 20, 2023

Suggestion: Val.of_bool and partial evaluation

#478

· roconnor-blockstream opened

on Feb 1, 2023

RISC-V -- error: fixup value out of range

#451

· brad0 opened

on Aug 15, 2022

compilation of __builtin_unreachable

#430

· monniaux opened

on May 6, 2022

0