All issues

Search results

Stats of time invested per rule, per step?

enhancementNew feature or requestNew feature or request

Status: Open.

#240 In cvc5/ethos;

· Mallku2 opened on Sep 15, 2026

Adding support for unit testing?

Status: Open.

Feature

#192 In cvc5/ethos;

· Mallku2 opened on Dec 14, 2025

Desugaring applications of type constructors

Status: Open.

#189 In cvc5/ethos;

· ciaran-matthew-dunne opened on Dec 3, 2025