Search results

Bug: Rvalue::Aggregate for a newtype struct ignores Model::Ty, causing call-site sort mismatch

Status: Open.

#73 In coord-e/thrust;

· coord-e opened on May 3, 2026

ICE: elaborate_unused_args panics when ZST local appears in START block liveness

bugSomething isn't workingSomething isn't working

Status: Open.

#72 In coord-e/thrust;

· coord-e opened on May 3, 2026

Ability to refer to pre-/post-conditions of closures in specifications

Status: Open.

#71 In coord-e/thrust;

· coeff-aij opened on May 1, 2026

Drop old annotation parser implementation

Status: Open.

#70 In coord-e/thrust;

· coord-e opened on May 1, 2026

Enable to specify backend CHC solver via attributes

Status: Open.

#69 In coord-e/thrust;

· coord-e opened on Apr 30, 2026

Docker container process remain to run after the timeout of thrust-pcsat-wrapper

Status: Open.

#49 In coord-e/thrust;

· coeff-aij opened on Feb 13, 2026

Undefined sort name in SMT2 when predicate argument is a struct containing a closure

Status: Open.

#47 In coord-e/thrust;

· coeff-aij opened on Feb 10, 2026

Weaken the closure parameters in calls using rust-call

bugSomething isn't workingSomething isn't working

Status: Open.

#46 In coord-e/thrust;

· coord-e opened on Feb 9, 2026

Mutation by a closure in a struct field leads to unsoundness

bugSomething isn't workingSomething isn't working

Status: Open.

#41 In coord-e/thrust;

· coord-e opened on Feb 7, 2026

Update nightly

Status: Open.

#26 In coord-e/thrust;

· coord-e opened on Feb 2, 2026