Search results

Issue when using delphi as the solver

Status: Open.

#264 In uclid-org/uclid;

· ktpss97094 opened on Oct 28, 2025

Error while trying to use the synthesis feature

Status: Open.

#263 In uclid-org/uclid;

· sderrien opened on Oct 26, 2025

SMTLIB declaration dependencies ignored

Status: Open.

#255 In uclid-org/uclid;

· FedericoAureliano opened on Jul 4, 2024

ADT Type Confusion

bugSomething isn't workingSomething isn't working

Status: Open.

#253 In uclid-org/uclid;

· FedericoAureliano opened on Jul 4, 2024

ADT is facing some canonicalization issue during module instantiation

bugSomething isn't workingSomething isn't working

Status: Open.

#248 In uclid-org/uclid;

· adwait opened on May 11, 2024

Can an ADT reuse same field names for different constructors?

documentation

questionFurther information is requestedFurther information is requested

Status: Open.

#246 In uclid-org/uclid;

· adwait opened on May 11, 2024

ADT TODOs

Status: Open.

#240 In uclid-org/uclid;

· polgreen opened on May 7, 2024

Different verification results produced when there is only a variable name difference

Status: Open.

#198 In uclid-org/uclid;

· zpzigi754 opened on Feb 1, 2023

TODO: printing of enums in synth functions

Status: Open.

#197 In uclid-org/uclid;

· polgreen opened on Dec 21, 2022

Assertions on values of variables changed by child modules in next block have inconsistent values

Status: Open.

#163 In uclid-org/uclid;

· noloerino opened on Apr 28, 2022

Variables sometimes fail to update in counterexamples

Status: Open.

#160 In uclid-org/uclid;

· noloerino opened on Mar 4, 2022

Z3 array not converted to string in counterexample

Status: Open.

#159 In uclid-org/uclid;

· noloerino opened on Mar 4, 2022