Search results

Adding the unary <code>bswap</code> operation

Status: Open.

#101 In kroening/fastsynth;

· fvrmatteo opened on Jun 28, 2025

assumptions causing spurious candidate solutions from synthesis engine

Status: Open.

#89 In kroening/fastsynth;

· polgreen opened on Oct 13, 2019

conjunctions in assertion causing violated invariants

Status: Open.

#88 In kroening/fastsynth;

· polgreen opened on Oct 13, 2019

local search + incremental doesn't work

Status: Open.

#78 In kroening/fastsynth;

· polgreen opened on Jul 26, 2019

SMT front end bugs

Status: Open.

#69 In kroening/fastsynth;

· polgreen opened on Nov 14, 2018

try Riss as replacement for minisat

implementation

Status: Open.

#58 In kroening/fastsynth;

· polgreen opened on Feb 7, 2018

termination benchmarks

benchmarking

Status: Open.

#57 In kroening/fastsynth;

· kroening opened on Feb 6, 2018

Backport SMT-LIB2 front-end into CBMC

implementation

Status: Open.

#55 In kroening/fastsynth;

· polgreen opened on Feb 6, 2018

Sygus/SMT-LIB2 type checker

implementation

Status: Open.

#54 In kroening/fastsynth;

· polgreen opened on Feb 6, 2018

Try implications in synthesis encoding instead of ? : chain

implementation

Status: Open.

#53 In kroening/fastsynth;

· polgreen opened on Feb 6, 2018

Can we use the _values_ in the synthesis SAT instance? i.e., inputs?

implementation

Status: Open.

#52 In kroening/fastsynth;

· polgreen opened on Feb 6, 2018

Does generating more counterexamples help?

implementation

Status: Open.

#51 In kroening/fastsynth;

· polgreen opened on Feb 6, 2018