Search results

Could not open btor2 file

Status: Open.

#487 In stanford-centaur/pono;

· doofin opened on Oct 29, 2025

BMC check satisfiable but can not print counterexample

Status: Open.

#370 In stanford-centaur/pono;

· zhaoxuying opened on Mar 3, 2025

Allow out-of-tree dependencies

enhancementNew feature or requestNew feature or request

Status: Open.

#313 In stanford-centaur/pono;

· CyanoKobalamyne opened on Oct 25, 2022

Failure for a small btor2 case

Status: Open.

#309 In stanford-centaur/pono;

· CoriolisSP opened on Oct 9, 2022

Improve infrastructure for transferring between solvers

enhancementNew feature or requestNew feature or request

Status: Open.

#273 In stanford-centaur/pono;

· makaimann opened on May 27, 2021

Revisit input formalism

Status: Open.

#262 In stanford-centaur/pono;

· makaimann opened on May 7, 2021

Improve interface with original TS

Status: Open.

#256 In stanford-centaur/pono;

· makaimann opened on Apr 22, 2021

Consider changing logger implementation

enhancementNew feature or requestNew feature or request

Status: Open.

#166 In stanford-centaur/pono;

· makaimann opened on Jan 4, 2021

Use constant references for iteration

enhancementNew feature or requestNew feature or request

Status: Open.

#140 In stanford-centaur/pono;

· makaimann opened on Dec 20, 2020

Make better interface for TS abstraction

enhancementNew feature or requestNew feature or request

refactor

structuralInterface or structural changes to the code (not just internal refactoring)Interface or structural changes to the code (not just internal refactoring)

Status: Open.

#123 In stanford-centaur/pono;

· makaimann opened on Nov 20, 2020

Link error when building in github actions environment

Status: Open.

#110 In stanford-centaur/pono;

· leonardt opened on Oct 26, 2020

Handle multi-property monitors better

enhancementNew feature or requestNew feature or request

Status: Open.

#105 In stanford-centaur/pono;

· makaimann opened on Oct 20, 2020