Search results

Improve the UX of <code>veriq edit</code>

Status: Open.

#148 In ut-issl/veriq;

· shunichironomura opened on Jan 19, 2026

Support time-expanded simulation

Status: Open.

Feature

#147 In ut-issl/veriq;

· shunichironomura opened on Jan 19, 2026

Use the output file as a cache in <code>veriq trace</code> comamnd

Status: Open.

#144 In ut-issl/veriq;

· shunichironomura opened on Jan 19, 2026

Support bounded model in <code>vq.Table</code>

Status: Open.

#133 In ut-issl/veriq;

· shunichironomura opened on Jan 18, 2026

Use Pydantic's default value of the field in <code>veriq init</code>

Status: Open.

#118 In ut-issl/veriq;

· shunichironomura opened on Jan 16, 2026

Get the dependency graph from the command line

Status: Open.

#117 In ut-issl/veriq;

· shunichironomura opened on Jan 15, 2026

Reuse of calculation

Status: Open.

#82 In ut-issl/veriq;

· shunichironomura opened on Dec 5, 2025

Feature: Output verification summary as a Markdown file

Status: Open.

#72 In ut-issl/veriq;

· shunichironomura opened on Nov 15, 2025

Support per-scope TOML file

Status: Open.

#71 In ut-issl/veriq;

· shunichironomura opened on Nov 15, 2025

Support lower Python versions

Status: Open.

#66 In ut-issl/veriq;

· shunichironomura opened on Nov 15, 2025

Force model to have a specified interface

Status: Open.

#59 In ut-issl/veriq;

· shunichironomura opened on Nov 14, 2025

Add assersion node

Status: Open.

#51 In ut-issl/veriq;

· shunichironomura opened on Nov 7, 2025