Search results

Yield enodes during instantiation do not match expected body

z3-issueThis can only be fixed in z3This can only be fixed in z3

Status: Open.

#122 In viperproject/smt-scope;

· JonasAlaif opened on Mar 12, 2025

Disabling ENodes and Equaility nodes in the graph is annoying

Status: Open.

#117 In viperproject/smt-scope;

· JonasAlaif opened on Feb 6, 2025

Make test suite more broad

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#83 In viperproject/smt-scope;

· JonasAlaif opened on Dec 9, 2024

Matching Loop Detection Issues

Status: Open.

#71 In viperproject/smt-scope;

· JonasAlaif opened on Nov 20, 2024

Compose Expressions?

z3-issueThis can only be fixed in z3This can only be fixed in z3

Status: Open.

#59 In viperproject/smt-scope;

· Philipp15b opened on Jun 28, 2024

Request: tabular data for quantifier instantiations

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#56 In viperproject/smt-scope;

· jwkai opened on Jun 24, 2024