-
Notifications
You must be signed in to change notification settings - Fork 100
Issues: kadena-io/pact
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
FV: Unable to use (contains) in schema invariant due to parse error
#1360
opened May 5, 2024 by
thomashoneyman
Unexpected 'free variable' in formal verification when using zip
bug
#1342
opened Feb 21, 2024 by
thomashoneyman
#2 Modrefs refSpec: storage in tables AND typed variable binding
#1308
opened Oct 6, 2023 by
CryptoPascal31
(add-time )
overflow => not documented unexpected results
#1301
opened Sep 16, 2023 by
CryptoPascal31
FV: Direct verification failure indication
enhancement
FV
Formal verification
#1297
opened Aug 31, 2023 by
EnoF
FV: Error reporting on db model before tx invalidated
FV
Formal verification
#1264
opened Jul 31, 2023 by
EnoF
Suggestion: Support multiline strings without backslash escapes
#1233
opened May 23, 2023 by
thomashoneyman
Suggestion: Sugar syntax of (define-keyset ) should be deprecated
#1210
opened Apr 27, 2023 by
CryptoPascal31
Unable to perform FV when doing multiple coin.transfers in 1 function
FV
Formal verification
#1183
opened Apr 5, 2023 by
EnoF
When defining a table with not enough arguments the wrong error message gets thrown
#1143
opened Feb 15, 2023 by
EnoF
Vacuous property warning in fungible-v2 for upcoming 4.6.0 release
FV
Formal verification
#1136
opened Feb 5, 2023 by
thomashoneyman
Previous Next
ProTip!
Adding no:label will show everything without a label.