Search results

Inconsistent behavior of string literals between reference interpreter and generated object code

Status: Open.

#578 In AbsInt/CompCert;

· monniaux opened on Mar 20, 2026

Add support for indirect branch tracking (IBT)

Status: Open.

#556 In AbsInt/CompCert;

· didickman opened on Jul 2, 2025

Edge case with offsetof

Status: Open.

#549 In AbsInt/CompCert;

· dkfellows opened on May 5, 2025

__ILP32__ __LP64__ __LLP64__

Status: Open.

#536 In AbsInt/CompCert;

· monniaux opened on Nov 5, 2024

Feature request: support +r constraint in extended asm

Status: Open.

#510 In AbsInt/CompCert;

· didickman opened on Feb 1, 2024

Any options available for function & data purging?

enhancement

Status: Open.

#500 In AbsInt/CompCert;

· xxuejie opened on Aug 4, 2023

Bit-field initialization via interpreter still has problems

Status: Open.

#499 In AbsInt/CompCert;

· Geoffrey1014 opened on Jul 25, 2023

list_forall2 replaceable by standard function

Status: Open.

#493 In AbsInt/CompCert;

· monniaux opened on Jun 12, 2023

compiling with -g on MacOS AArch64 leads to linking warnings

Status: Open.

#486 In AbsInt/CompCert;

· monniaux opened on Apr 3, 2023

maintenance request: adapt to coq/coq#17022

Status: Open.

#483 In AbsInt/CompCert;

· andres-erbsen opened on Feb 20, 2023

Suggestion: Val.of_bool and partial evaluation

Status: Open.

#478 In AbsInt/CompCert;

· roconnor-blockstream opened on Feb 1, 2023

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

Status: Open.

#451 In AbsInt/CompCert;

· brad0 opened on Aug 15, 2022