pacti-org/pacti

Issues

• [BUG] Format strings error in creating contracts

  #347 opened 7 months ago by ayush9pandey
  0

• [Feature request] Equality optimization

  #344 opened a year ago by NicolasRouquette
  1

• [Feature request] Deploy pacti on conda-forge

  #346 opened 9 months ago by elac-safran
  1

• [BUG] missing library stubs or py.typed marker

  #343 opened a year ago by NicolasRouquette
  2

• [Feature request] Improve runtime for contains_behavior for PolyhedralIoContractCompound

  #342 opened a year ago by jgraeb
  1

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

  #341 opened a year ago by iincer
  0

• Contract parameters and support for dimensions on parameters and variables.

  #340 opened a year ago by NicolasRouquette
  0

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

  #339 opened a year ago by NicolasRouquette
  0

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

  #338 opened a year ago by NicolasRouquette
  0

• [Feature request] Adding division operation to the parser

  #337 opened a year ago by jgraeb
  2

• [Feature request] Add a model finder using SMT

  #325 opened a year ago by havelund
  1

• Improve test coverage

  #280 opened a year ago by iincer
  0

• [BUG] Code quality of parser

  #321 opened a year ago by iincer
  0

• [Feature request] Sorted contract pretty printing

  #317 opened 2 years ago by NicolasRouquette
  2

• [BUG] Documentation of to_symbolic has wrong result in example

  #323 opened a year ago by iincer
  0

• [BUG] Documentation of Var has the wrong accessor function

  #324 opened a year ago by havelund
  1

• plot_utils and contract_utils not defined[BUG]

  #322 opened a year ago by Bri2030
  2

• [BUG] Space mission test has typing issues

  #295 opened a year ago by iincer
  2

• [Feature request] Support plotting of 1-to-many variables.

  #319 opened 2 years ago by NicolasRouquette
  4

• [BUG] IndexError: too many indices for array: array is 0-dimensional, but 1 were indexed

  #320 opened 2 years ago by NicolasRouquette
  2

• [Feature request] instrumentation support

  #316 opened 2 years ago by NicolasRouquette
  6

• [Feature request] Setup rich monitors for Pacti

  #294 opened 2 years ago by iincer
  8

• How to maintain changelog

  #237 opened 2 years ago by iincer
  2

• [Feature request] Have a method for inquiring Pacti's version

  #310 opened 2 years ago by iincer
  0

• [Feature request] Fix Pacti's README

  #291 opened 2 years ago by iincer
  0

• [Feature request] Decrease numpy version to support Google Colab

  #306 opened 2 years ago by iincer
  0

• [Feature request] Clean examples folder

  #296 opened 2 years ago by iincer
  0

• [BUG] TypeError: bad operand type for unary -: 'NoneType'

  #289 opened 2 years ago by NicolasRouquette
  0

• [Feature request] Allow pacti to work w/ Python 3.11.2

  #287 opened 2 years ago by NicolasRouquette
  0

• [Feature request] Place case studies in their own repos

  #273 opened 2 years ago by iincer
  0

• [BUG] Behavior tests are failing

  #284 opened 2 years ago by iincer
  5

• add `__hash__` to contracts/terms

  #272 opened 2 years ago by iincer
  0

• [BUG] Multiple composition

  #245 opened 2 years ago by iincer
  1

• [BUG] Some exceptions do not print well on jupyter notebooks

  #281 opened 2 years ago by iincer
  0

• Windows / python 3.8 issues

  #271 opened 2 years ago by iincer
  1

• [Feature request] Support testing locally on multiple python versions

  #278 opened 2 years ago by iincer
  0

• Make commands do not work across OSs

  #275 opened 2 years ago by iincer
  0

• [BUG] Printing rounds off numbers

  #264 opened 2 years ago by iincer
  1

• [BUG] flake8 v6.0.0 error with "ignore" keyword

  #266 opened 2 years ago by ayush9pandey
  7

• [Feature request] Support read/write for compound contracts

  #263 opened 2 years ago by iincer
  1

• [Feature request] Add support for Term and Contract ID

  #247 opened 2 years ago by NicolasRouquette
  11

• Bug in loss of guarantee?

  #240 opened 2 years ago by iincer
  0

• [BUG] Error with Quotient after switching to Polyhedral Contract

  #243 opened 2 years ago by abadithela
  1

• [BUG] figure out why _tactic4 only works for refinement

  #258 opened 2 years ago by iincer
  0

• [BUG] Difference in feasibility of constraints when changing optimization objective

  #254 opened 2 years ago by iincer
  0

• [BUG] Pacti contract, term, and termlist API operations should be pure functions

  #246 opened 2 years ago by NicolasRouquette
  10

• [BUG] Spurious assumptions

  #244 opened 2 years ago by iincer
  0

• [Feature request] API-level provenance recording

  #248 opened 2 years ago by NicolasRouquette
  0

• Error with merge when inputs are not the same

  #241 opened 2 years ago by abadithela
  3

• Computational complexity of Pacti's operations

  #233 opened 2 years ago by NicolasRouquette
  0