Search results

Performance problem in type_compatible

Status: Open.

#164 In GaloisInc/cclyzerpp;

· 1396510211 opened on May 11, 2023

Configurable entrypoints

enhancementNew feature or requestNew feature or request

Status: Open.

#163 In GaloisInc/cclyzerpp;

· 1396510211 opened on Apr 27, 2023

Upgrade to Souffle 2.4

Status: Open.

#159 In GaloisInc/cclyzerpp;

· langston-barrett opened on Mar 18, 2023

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

Status: Open.

#142 In GaloisInc/cclyzerpp;

· langston-barrett opened on Nov 6, 2022

FactGenerator: Duplication between Main.cpp and Wrapper.cpp

Status: Open.

#121 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 28, 2022

cmake: FactGenerator is built twice

infrastructure

Status: Open.

#118 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 28, 2022

cmake: LTO for releases

infrastructure

Status: Open.

#117 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 28, 2022

dl: Adapt to opaque pointers

Status: Open.

#113 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 28, 2022

dl: Offset-based memory model

enhancementNew feature or requestNew feature or request

Status: Open.

#112 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 28, 2022

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

infrastructure

Status: Open.

#109 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 27, 2022

Correctness tests

Status: Open.

#104 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 27, 2022

ci: Build and release artifacts for multiple LLVM versions

infrastructure

Status: Open.

#98 In GaloisInc/cclyzerpp;

· langston-barrett opened on Oct 25, 2022