Search results

FuncDecl Refactor

enhancementNew feature or requestNew feature or request

Status: Open.

#447 In prove-rs/z3.rs;

· toolCHAINZ opened on Sep 11, 2025

Reorganizing the doc.rs documentation

breakingA change that will likely break compatibilityA change that will likely break compatibility

docDocumentation updatesDocumentation updates

refactorSomething exists and works but needs to be rethoughtSomething exists and works but needs to be rethought

Status: Open.

#421 In prove-rs/z3.rs;

· Pat-Lafon opened on Aug 23, 2025

Converting <code>Vec&lt;Dynamic&gt;</code> to <code>&amp;[&amp;dyn Ast]</code>

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#351 In prove-rs/z3.rs;

· niooss-ledger opened on Jun 20, 2025

Retrieve non-unsat proof attempts via on_clause callback

enhancementNew feature or requestNew feature or request

Status: Open.

#343 In prove-rs/z3.rs;

· LeskovarLukas opened on Apr 6, 2025

Exposing application parameters

enhancementNew feature or requestNew feature or request

Status: Open.

#238 In prove-rs/z3.rs;

· dp1 opened on May 2, 2023

Feature request: domain, range and params on FuncDecl

enhancementNew feature or requestNew feature or request

Status: Open.

#189 In prove-rs/z3.rs;

· cassanof opened on Mar 18, 2022

Strongly typed bitvector-lengths

enhancementNew feature or requestNew feature or request

Status: Open.

#162 In prove-rs/z3.rs;

· djrenren opened on Sep 28, 2021

Examples

docDocumentation updatesDocumentation updates

questionFurther information is requestedFurther information is requested

Status: Open.

#151 In prove-rs/z3.rs;

· cryslith opened on Jul 20, 2021

How can I have recursive datatypes with arrays?

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#149 In prove-rs/z3.rs;

· LEAFERx opened on Jul 7, 2021