All issues

Search results

Resident sessions never export instantiation certificates, so replay does not survive a reopen

Status: Open.

#31 In BasisResearch/verus;

· kiranandcode opened on Sep 15, 2026

nl-frontier: pick up the per-argument hosts cvc5 now reports, and check why at stays null

Status: Open.

#30 In BasisResearch/verus;

· kiranandcode opened on Sep 14, 2026

Report inst-pressure and nl-frontier from resident sessions too

enhancementNew feature or requestNew feature or request

Status: Open.

#29 In BasisResearch/verus;

· kiranandcode opened on Sep 14, 2026