issues
search
pacti-org
/
pacti
A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
18
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[BUG] Format strings error in creating contracts
#347
ayush9pandey
opened
1 month ago
0
[Feature request] Deploy pacti on conda-forge
#346
elac-safran
opened
3 months ago
1
[Feature request] Equality optimization
#344
NicolasRouquette
opened
6 months ago
1
[BUG] missing library stubs or py.typed marker
#343
NicolasRouquette
opened
6 months ago
2
[Feature request] Improve runtime for contains_behavior for PolyhedralIoContractCompound
#342
jgraeb
opened
7 months ago
1
[BUG] Some contract compositions yield guarantees that only involve inputs
#341
iincer
opened
9 months ago
0
Contract parameters and support for dimensions on parameters and variables.
#340
NicolasRouquette
opened
9 months ago
0
[Feature request] Provide explanations for all contract-level operations.
#339
NicolasRouquette
opened
9 months ago
0
[Feature request] Provide details about `Cannot compose contracts due to feedback`
#338
NicolasRouquette
opened
9 months ago
0
[Feature request] Adding division operation to the parser
#337
jgraeb
closed
10 months ago
2
Performance benchmarking
#336
NicolasRouquette
closed
10 months ago
4
280 improve test coverage
#333
iincer
closed
10 months ago
1
280 improve test coverage
#332
iincer
closed
10 months ago
0
Plots UI
#331
iincer
closed
10 months ago
0
Plotting transforms
#330
iincer
closed
10 months ago
1
Feedback amp
#329
iincer
closed
10 months ago
0
Reorg imports
#328
iincer
closed
10 months ago
1
Iincer/issue321
#327
iincer
closed
10 months ago
1
New tactic
#326
iincer
closed
10 months ago
1
[Feature request] Add a model finder using SMT
#325
havelund
opened
11 months ago
1
[BUG] Documentation of Var has the wrong accessor function
#324
havelund
closed
11 months ago
1
[BUG] Documentation of to_symbolic has wrong result in example
#323
iincer
closed
10 months ago
0
plot_utils and contract_utils not defined[BUG]
#322
Bri2030
closed
11 months ago
2
[BUG] Code quality of parser
#321
iincer
closed
10 months ago
0
[BUG] IndexError: too many indices for array: array is 0-dimensional, but 1 were indexed
#320
NicolasRouquette
opened
1 year ago
2
[Feature request] Support plotting of 1-to-many variables.
#319
NicolasRouquette
opened
1 year ago
4
[Feature request] Sorted contract pretty printing
#317
NicolasRouquette
opened
1 year ago
2
[Feature request] instrumentation support
#316
NicolasRouquette
closed
1 year ago
6
Add coverage workflow to all CIs
#314
ayush9pandey
closed
1 year ago
0
Fix Codecov
#313
ayush9pandey
closed
1 year ago
3
Issue 129
#312
NicolasRouquette
closed
1 year ago
6
Versioning in Pacti
#311
ayush9pandey
closed
1 year ago
0
[Feature request] Have a method for inquiring Pacti's version
#310
iincer
closed
1 year ago
0
Generating changelog automatically
#309
ayush9pandey
closed
1 year ago
2
Trying to add changelog
#308
ayush9pandey
closed
1 year ago
0
Adding project information
#307
iincer
closed
1 year ago
0
[Feature request] Decrease numpy version to support Google Colab
#306
iincer
opened
1 year ago
0
Badges in README
#305
ayush9pandey
closed
1 year ago
6
Update
#304
iincer
closed
1 year ago
0
Update
#303
iincer
closed
1 year ago
0
Update
#302
iincer
closed
1 year ago
0
Updates
#301
iincer
closed
1 year ago
0
Updates
#300
iincer
closed
1 year ago
0
Updating
#299
iincer
closed
1 year ago
0
Cleaning development process
#297
iincer
closed
1 year ago
0
[Feature request] Clean examples folder
#296
iincer
opened
1 year ago
0
[BUG] Space mission test has typing issues
#295
iincer
closed
1 year ago
2
[Feature request] Setup rich monitors for Pacti
#294
iincer
closed
1 year ago
8
Update CONTRIBUTING.md
#292
ayush9pandey
closed
1 year ago
0
[Feature request] Fix Pacti's README
#291
iincer
closed
1 year ago
0
Next