Search results

Add support for cvc5

enhancement

Status: Open.

#78 In loonwerks/jkind;

· iamundson opened on Dec 29, 2024

· 

v4.5.3

How can I generate result files in SMT2 format?

Status: Open.

#77 In loonwerks/jkind;

· ZechenWei opened on Sep 6, 2024

Abnormal termination exit code -8 during IVC reduction

Status: Open.

#76 In loonwerks/jkind;

· kfhoech opened on Apr 3, 2024

Add support for '$' as an identifier character

Status: Open.

#74 In loonwerks/jkind;

· mww-aws opened on Sep 27, 2022

The constrained output type in output variables with enum type

Status: Open.

#73 In loonwerks/jkind;

· verifierlife opened on Aug 31, 2022

user specified precision in rational printing

enhancement

Status: Open.

#67 In loonwerks/jkind;

· lgwagner opened on Oct 8, 2021

Flag unguarded pre results in counterexamples

enhancement

Status: Open.

#13 In loonwerks/jkind;

· agacek opened on Aug 7, 2013

Allow proposed invariants

enhancement

Status: Open.

#12 In loonwerks/jkind;

· agacek opened on Apr 2, 2013

Handle assertions and properties in subnodes

enhancement

Status: Open.

#10 In loonwerks/jkind;

· agacek opened on Apr 1, 2013

Differentiate unknown results

enhancement

Status: Open.

#9 In loonwerks/jkind;

· agacek opened on Apr 1, 2013