Search results

Data race with tracing_nb_lidrup_env_var_method as per valgrind's helgrind

Status: Open.

#155 In arminbiere/cadical;

· msoos opened on Dec 13, 2025

Possible data race in Options?

Status: Open.

#154 In arminbiere/cadical;

· msoos opened on Dec 13, 2025

Internal::init_preprocessing_limits casts infinity from double to long

Status: Open.

#150 In arminbiere/cadical;

· vedadux opened on Nov 28, 2025

CaDiCaL >= 2.2.0 no longer builds clean with -Wswitch-enum

Status: Open.

#149 In arminbiere/cadical;

· tautschnig opened on Nov 25, 2025

Unexpected results of simplify in ver. 2.2.0

enhancement

Status: Open.

#147 In arminbiere/cadical;

· marekpiotrow opened on Nov 21, 2025

Broken CFLAGS

bug

Status: Open.

#146 In arminbiere/cadical;

· marmitar opened on Nov 20, 2025

[IPASIR UP] Request for API call to use or activate a variable

Status: Open.

#140 In arminbiere/cadical;

· amarshah1 opened on Aug 19, 2025

[IPASIR UP] Proposal to add callback <code>cb_add_observed_var</code>

Status: Open.

#139 In arminbiere/cadical;

· amarshah1 opened on Aug 4, 2025

Slightly confusing documentation of <code>propagate</code>

enhancement

Status: Open.

#129 In arminbiere/cadical;

· chrjabs opened on Feb 11, 2025

Build uses low optimization option "-O" instead of the one provided from outside

Status: Open.

#101 In arminbiere/cadical;

· yurivict opened on Jun 5, 2024

Maybe try 'hint' instead of 'phase' to select decision phase (at most) once

enhancement

Status: Open.

#93 In arminbiere/cadical;

· arminbiere opened on Mar 4, 2024

Large Performance Overhead during Initialization

Status: Open.

#86 In arminbiere/cadical;

· SimonKlx opened on Jan 30, 2024