Issues

• Support for typeof_unqual()

  C features
  Feature

  rems-project/cerberus#1035 · Filter by author kmemarian opened on Oct 28, 2026

• Fix support for offsetof()

  C features
  rems-project/cerberus#1034 · Filter by author kmemarian opened on Oct 28, 2026
  

• Support for GNU extension: __int128

  enhancementGNU extension
  Feature

  rems-project/cerberus#1033 · Filter by author kmemarian opened on Oct 28, 2026
  

• Support for bit-fields

  C featuresenhancement
  Feature

  rems-project/cerberus#1032 · Filter by author kmemarian opened on Oct 27, 2026
  

• Support for GNU extension: GNU Attribute Syntax

  enhancementGNU extension
  Feature

  rems-project/cerberus#1031 · Filter by author kmemarian opened on Oct 27, 2026
  

• Support for GNU extension: Local Labels

  enhancementGNU extension
  Feature

  rems-project/cerberus#1030 · Filter by author kmemarian opened on Oct 27, 2026
  

• Support for GNU extension: __auto_type

  enhancementGNU extension
  Feature

  rems-project/cerberus#1029 · Filter by author kmemarian opened on Oct 27, 2026

• Anonymous union members have different addresses

  rems-project/cerberus#1028 · Filter by author gauss-mathematics-inc opened on Oct 26, 2026

• Duplicated integer annotations on some effectful expressions

  cnquestiontechnical debt
  rems-project/cerberus#1000 · Filter by author dc-mak opened on Mar 27, 2026
  2

• bug: Building web server fails

  rems-project/cerberus#995 · Filter by author RossSmyth opened on Feb 13, 2026
  1

  

• Can't build runtime/libc when parent path has a whitespace

  bug
  rems-project/cerberus#987 · Filter by author kmemarian opened on Nov 7, 2025
  

• Cerb magic end position is off-by-one

  rems-project/cerberus#967 · Filter by author dc-mak opened on Jun 24, 2025
  1

• [CN] Improve error message for bad ordering of ghost arguments in function specifications

  cn
  rems-project/cerberus#964 · Filter by author dimecon opened on Jun 10, 2025

• Empty provenance does not lead to more UB/adding provenance info introduces UB

  rems-project/cerberus#954 · Filter by author dc-mak opened on May 15, 2025
  1

• Exclude unused builtins from Core file

  technical debt
  rems-project/cerberus#945 · Filter by author dc-mak opened on Apr 2, 2025

• Support skipping variadic functions

  blockingcn
  rems-project/cerberus#943 · Filter by author r-ross opened on Mar 26, 2025
  5

• Include specified directories before system directories

  blockingcn
  rems-project/cerberus#942 · Filter by author r-ross opened on Mar 26, 2025
  4

• [CN] Cannot mark preexisting variable as not changing value in a loop

  bugcn
  rems-project/cerberus#938 · Filter by author peterohanley opened on Mar 17, 2025
  2

• Tidy up #866

  technical debt
  rems-project/cerberus#928 · Filter by author dc-mak opened on Mar 10, 2025
  1

  

• [CN-Exec] Struct initializer issues

  blockingbugCN spec testingcnCN-exec
  Bug

  rems-project/cerberus#925 · Filter by author ZippeyKeys12 opened on Mar 10, 2025
  5

  

• CN: Make assert optional

  cnlanguageui/ux
  rems-project/cerberus#922 · Filter by author dc-mak opened on Mar 8, 2025
  4

  

• CN: Fix source location in resourceInference.ml

  cnui/ux
  rems-project/cerberus#914 · Filter by author dc-mak opened on Mar 6, 2025
  1

  

• CN: Potential bug in loop/focus related resource reasoning

  bugcnresource reasoning
  rems-project/cerberus#913 · Filter by author dc-mak opened on Mar 6, 2025
  1

  

• Record not found in map

  bugcnCN-exec
  rems-project/cerberus#912 · Filter by author yav opened on Mar 6, 2025

• [CN-Test-Gen] Automatically compile and verify bug counterexample code.

  CN spec testingcnenhancement
  Feature

  rems-project/cerberus#911 · Filter by author ZippeyKeys12 opened on Mar 5, 2025