Issues

• snprintf: spec, and how to specify variadic functions

  SkyLabsAI/brick-libcpp#212 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• vector iterators stay usable after invalidation

  SkyLabsAI/brick-libcpp#211 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• strdup: spec

  SkyLabsAI/brick-libcpp#210 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• std::stack: spec

  SkyLabsAI/brick-libcpp#209 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• std::copy, std::uninitialized_copy: specs

  SkyLabsAI/brick-libcpp#208 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• std::string: specs for c_str, data, operator[] that borrow the contents

  SkyLabsAI/brick-libcpp#207 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• std::binary_search: spec, generic in the comparison

  SkyLabsAI/brick-libcpp#206 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• std::min, std::max: specs, generic in the comparison

  SkyLabsAI/brick-libcpp#205 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• mem* specs only accept unsigned char buffers

  SkyLabsAI/brick-libcpp#201 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  1

  

• memmove spec excludes overlapping buffers

  SkyLabsAI/brick-libcpp#200 · Filter by author jhaag-skylabs-ai opened on Oct 14, 2026
  

• std::array comparison specifications (operator==, operator!=)

  SkyLabsAI/brick-libcpp#192 · Filter by author skylabs-Usama opened on Oct 6, 2026
  

• mutex should not be able to lock twice

  SkyLabsAI/brick-libcpp#174 · Filter by author dkxb opened on Sep 10, 2026
  1

  

• std::find spec lacks coherence between model equality and operator==

  SkyLabsAI/brick-libcpp#158 · Filter by author mahadkhan811 opened on Aug 27, 2026
  1

  

• Locale-sensitive cctype specs lack a current-locale premise

  SkyLabsAI/brick-libcpp#157 · Filter by author mahadkhan811 opened on Aug 27, 2026

• vector push_back and resize specs exclude lvalue aliases into the vector

  SkyLabsAI/brick-libcpp#156 · Filter by author mahadkhan811 opened on Aug 27, 2026

• shared_mutex::lock_shared lacks a fractionality requirement for P

  SkyLabsAI/brick-libcpp#154 · Filter by author mahadkhan811 opened on Aug 27, 2026
  2

  

• mutex::lock contract does not exclude same-thread relocking

  SkyLabsAI/brick-libcpp#153 · Filter by author mahadkhan811 opened on Aug 27, 2026
  2

  

• vector(size_type, ...) specs use allocator by value and do not attach

  SkyLabsAI/brick-libcpp#148 · Filter by author mahadkhan811 opened on Aug 27, 2026
  

• instantiate axiomatized ghost state

  SkyLabsAI/brick-libcpp#26 · Filter by author pgiarrusso-sl opened on Dec 10, 2025

• Automate updating _CoqProject

  SkyLabsAI/brick-libcpp#21 · Filter by author pgiarrusso-sl opened on Nov 17, 2025
  1

  

• Release <atomic> specifications

  enhancement
  Feature

  SkyLabsAI/brick-libcpp#19 · Filter by author gmalecha-at-skylabs opened on Nov 14, 2025
  1

  

• Specifications for shared_ptr

  enhancement
  Feature

  SkyLabsAI/brick-libcpp#14 · Filter by author gmalecha-at-skylabs opened on Nov 11, 2025
  1

• Generalize semaphore specifications

  enhancement
  Feature

  SkyLabsAI/brick-libcpp#9 · Filter by author gmalecha-at-skylabs opened on Oct 28, 2025