Issues

• Performance problem in type_compatible

  GaloisInc/cclyzerpp#164 · Filter by author 1396510211 opened on May 11, 2023
  14

• Configurable entrypoints

  enhancement
  GaloisInc/cclyzerpp#163 · Filter by author 1396510211 opened on Apr 27, 2023
  4

• Upgrade to Souffle 2.4

  GaloisInc/cclyzerpp#159 · Filter by author langston-barrett opened on Mar 18, 2023

• Warning: No rules/facts defined for relation atomic_operation_f{add,sub}

  GaloisInc/cclyzerpp#142 · Filter by author langston-barrett opened on Nov 6, 2022

• FactGenerator: Duplication between Main.cpp and Wrapper.cpp

  GaloisInc/cclyzerpp#121 · Filter by author langston-barrett opened on Oct 28, 2022
  1

• cmake: FactGenerator is built twice

  infrastructure
  GaloisInc/cclyzerpp#118 · Filter by author langston-barrett opened on Oct 28, 2022

• cmake: LTO for releases

  infrastructure
  GaloisInc/cclyzerpp#117 · Filter by author langston-barrett opened on Oct 28, 2022

• dl: Adapt to opaque pointers

  GaloisInc/cclyzerpp#113 · Filter by author langston-barrett opened on Oct 28, 2022

• dl: Offset-based memory model

  enhancement
  GaloisInc/cclyzerpp#112 · Filter by author langston-barrett opened on Oct 28, 2022

• cmake, ci: Lint with include-what-you-use

  infrastructure
  GaloisInc/cclyzerpp#109 · Filter by author langston-barrett opened on Oct 27, 2022
  1

• Correctness tests

  GaloisInc/cclyzerpp#104 · Filter by author langston-barrett opened on Oct 27, 2022
  1

• ci: Build and release artifacts for multiple LLVM versions

  infrastructure
  GaloisInc/cclyzerpp#98 · Filter by author langston-barrett opened on Oct 25, 2022

• bug: All globals with initializers should have sizes

  bug
  GaloisInc/cclyzerpp#96 · Filter by author langston-barrett opened on Oct 25, 2022

• LLVM type relations are both inputs and computed

  GaloisInc/cclyzerpp#86 · Filter by author langston-barrett opened on Oct 13, 2022
  

• Semantic versioning

  GaloisInc/cclyzerpp#62 · Filter by author langston-barrett opened on Oct 7, 2022

• Unify FactGenerator/Datalog relation names

  refactor
  GaloisInc/cclyzerpp#42 · Filter by author langston-barrett opened on Oct 6, 2022
  2

• Single source of truth for output relations

  GaloisInc/cclyzerpp#41 · Filter by author langston-barrett opened on Oct 6, 2022

• Naming conventions

  GaloisInc/cclyzerpp#39 · Filter by author langston-barrett opened on Oct 6, 2022
  2

  

• ci: Lint with clang-tidy

  GaloisInc/cclyzerpp#32 · Filter by author langston-barrett opened on Oct 6, 2022

• A wrapper executable

  enhancement
  GaloisInc/cclyzerpp#24 · Filter by author langston-barrett opened on Oct 5, 2022

• Provide executables

  enhancementinfrastructure
  GaloisInc/cclyzerpp#15 · Filter by author langston-barrett opened on Oct 4, 2022
  1

• Migrate library function signatures from MATE

  enhancement
  GaloisInc/cclyzerpp#13 · Filter by author langston-barrett opened on Aug 23, 2022

• Upgrade to the latest LLVM

  GaloisInc/cclyzerpp#12 · Filter by author langston-barrett opened on Aug 11, 2022
  2

• Missing facts due to not modeling memset

  bug/unsoundness
  GaloisInc/cclyzerpp#11 · Filter by author langston-barrett opened on Aug 11, 2022
  1

• Program fails assert_every_pointer_constant_points_to_something

  GaloisInc/cclyzerpp#10 · Filter by author langston-barrett opened on Aug 11, 2022