Search results

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 <code>next</code> 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

instance procedure calls use modified values

Status: Open.

#156 In uclid-org/uclid;

· adwait opened on Feb 21, 2022

Record literals not type-checking properly

Status: Open.

#155 In uclid-org/uclid;

· noloerino opened on Feb 11, 2022