Search results

<code>What4.Protocol.SMTLib2</code>: Remove Z3-specific hack for declaring datatypes

enhancementNew feature or requestNew feature or request

Status: Open.

#309 In GaloisInc/what4;

· RyanGlScott opened on Jun 25, 2025

Add CI for <code>what4-{abc,blt,transition-system}</code>

CIIssues related to continuous integrationIssues related to continuous integration

Status: Open.

Task

#304 In GaloisInc/what4;

· RyanGlScott opened on Apr 1, 2025

ci: The <code>save-state</code> command is deprecated

CIIssues related to continuous integrationIssues related to continuous integration

Status: Open.

#294 In GaloisInc/what4;

· langston-barrett opened on Mar 25, 2025

Inconsistent treatment of Yices timeout config option

Status: Open.

#287 In GaloisInc/what4;

· danmatichuk opened on Feb 24, 2025

Support GHC 9.12

Status: Open.

#286 In GaloisInc/what4;

· langston-barrett opened on Feb 12, 2025

<code>int mux</code> test is maybe flaky

CIIssues related to continuous integrationIssues related to continuous integration

Status: Open.

#285 In GaloisInc/what4;

· langston-barrett opened on Feb 5, 2025

Haddocks for normal forms of boolean expressions

Status: Open.

#284 In GaloisInc/what4;

· langston-barrett opened on Feb 5, 2025

More consistent use of <code>mkIte</code>

good first issueGood for newcomersGood for newcomers

Status: Open.

#281 In GaloisInc/what4;

· langston-barrett opened on Feb 4, 2025

<code>BaseEq</code> should probably always sort its operands

good first issueGood for newcomersGood for newcomers

Status: Open.

#280 In GaloisInc/what4;

· langston-barrett opened on Feb 4, 2025

CVC 1.8 timeout tests failing in CI

bugSomething isn't workingSomething isn't working

CIIssues related to continuous integrationIssues related to continuous integration

performanceIssues related to compile-time or runtime performanceIssues related to compile-time or runtime performance

Status: Open.

#278 In GaloisInc/what4;

· langston-barrett opened on Feb 4, 2025

Move Verilog modules to a separate package

Status: Open.

#276 In GaloisInc/what4;

· langston-barrett opened on Jan 30, 2025

Prettier printing for annotated values

good first issueGood for newcomersGood for newcomers

Status: Open.

#275 In GaloisInc/what4;

· langston-barrett opened on Jan 30, 2025