Skip to content

Issues: pacti-org/pacti

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

24 Open 138 Closed
24 Open 138 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[BUG] Format strings error in creating contracts
#347 opened Jun 13, 2024 by ayush9pandey
@NicolasRouquette
[Feature request] Deploy pacti on conda-forge
#346 opened Mar 27, 2024 by elac-safran
1
[Feature request] Equality optimization
#344 opened Dec 31, 2023 by NicolasRouquette
1
[BUG] missing library stubs or py.typed marker
#343 opened Dec 30, 2023 by NicolasRouquette
2
[Feature request] Improve runtime for contains_behavior for PolyhedralIoContractCompound
#342 opened Nov 29, 2023 by jgraeb
@iincer
1
[BUG] Some contract compositions yield guarantees that only involve inputs
#341 opened Oct 19, 2023 by iincer
Contract parameters and support for dimensions on parameters and variables.
#340 opened Oct 16, 2023 by NicolasRouquette
[Feature request] Provide explanations for all contract-level operations.
#339 opened Oct 2, 2023 by NicolasRouquette
[Feature request] Provide details about Cannot compose contracts due to feedback
#338 opened Oct 2, 2023 by NicolasRouquette
[Feature request] Add a model finder using SMT
#325 opened Aug 15, 2023 by havelund
1
[BUG] IndexError: too many indices for array: array is 0-dimensional, but 1 were indexed
#320 opened Jun 2, 2023 by NicolasRouquette
2
[Feature request] Support plotting of 1-to-many variables.
#319 opened Jun 2, 2023 by NicolasRouquette
4
[Feature request] Sorted contract pretty printing
#317 opened May 18, 2023 by NicolasRouquette
2
[Feature request] Decrease numpy version to support Google Colab
#306 opened Apr 1, 2023 by iincer
[Feature request] Clean examples folder
#296 opened Mar 25, 2023 by iincer
[BUG] figure out why _tactic4 only works for refinement
#258 opened Mar 14, 2023 by iincer
[BUG] Difference in feasibility of constraints when changing optimization objective
#254 opened Mar 13, 2023 by iincer
[Feature request] API-level provenance recording
#248 opened Mar 11, 2023 by NicolasRouquette
[BUG] Multiple composition bug Something isn't working
#245 opened Mar 11, 2023 by iincer
@pierg
1
running selected jupyter notebooks as part of a test suite
#225 opened Mar 4, 2023 by NicolasRouquette
11
Jupyter plotting widgets with sliders for variables. enhancement New feature or request user experience
#167 opened Feb 18, 2023 by NicolasRouquette
2
Develop introductory Jupyter notebook that shows Pacti's use cases documentation Improvements or additions to documentation
#298 opened Feb 17, 2023 by iincer
5 of 10 tasks
1
Traceability of computed contracts enhancement New feature or request user experience
#146 opened Feb 14, 2023 by iincer
Add support for describing variables. enhancement New feature or request user experience
#145 opened Feb 14, 2023 by NicolasRouquette v0.0.0
@NicolasRouquette
6
ProTip! Type g i on any issue or pull request to go back to the issue listing page.