Search results

[BUG] Wrong result with quotient using polyhedral contracts

Status: Open.

#356 In pacti-org/pacti;

· StefanPanjkovicFBK opened on Jul 15, 2025

[BUG] Installation error in proptest branch - proposed workaround

Status: Open.

#348 In pacti-org/pacti;

· jgraeb opened on Apr 1, 2025

[BUG] Format strings error in creating contracts

Status: Open.

#347 In pacti-org/pacti;

· ayush9pandey opened on Jun 13, 2024

[Feature request] Deploy pacti on conda-forge

Status: Open.

#346 In pacti-org/pacti;

· elac-safran opened on Mar 27, 2024

[Feature request] Equality optimization

Status: Open.

#344 In pacti-org/pacti;

· NicolasRouquette opened on Dec 31, 2023

[BUG] missing library stubs or py.typed marker

Status: Open.

#343 In pacti-org/pacti;

· NicolasRouquette opened on Dec 30, 2023

[Feature request] Improve runtime for contains_behavior for PolyhedralIoContractCompound

Status: Open.

#342 In pacti-org/pacti;

· jgraeb opened on Nov 29, 2023

[BUG] Some contract compositions yield guarantees that only involve inputs

Status: Open.

#341 In pacti-org/pacti;

· iincer opened on Oct 19, 2023

Contract parameters and support for dimensions on parameters and variables.

Status: Open.

#340 In pacti-org/pacti;

· NicolasRouquette opened on Oct 16, 2023

[Feature request] Provide explanations for all contract-level operations.

Status: Open.

#339 In pacti-org/pacti;

· NicolasRouquette opened on Oct 2, 2023

[Feature request] Provide details about Cannot compose contracts due to feedback

Status: Open.

#338 In pacti-org/pacti;

· NicolasRouquette opened on Oct 2, 2023

[Feature request] Add a model finder using SMT

Status: Open.

#325 In pacti-org/pacti;

· havelund opened on Aug 15, 2023