Skip to content

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.

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

97 Open 298 Closed
97 Open 298 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Export Pact code to AST tree
#1353 opened Mar 19, 2024 by dbale-altoros
1
Unexpected 'free variable' in formal verification when using zip bug
#1342 opened Feb 21, 2024 by thomashoneyman
2
#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
1
Typechecker does not recognize typed constants
#1299 opened Sep 7, 2023 by CryptoPascal31
1
Typecasting a string to Guard via Pact code
#1298 opened Sep 1, 2023 by Jad-KMC
2
FV: Direct verification failure indication enhancement FV Formal verification
#1297 opened Aug 31, 2023 by EnoF
Typecheck fail with (bind) FV Formal verification
#1267 opened Aug 3, 2023 by CryptoPascal31
2
FV: Error reporting on db model before tx invalidated FV Formal verification
#1264 opened Jul 31, 2023 by EnoF
2
dynamic module ref bug
#1252 opened Jul 17, 2023 by rsoeldner
1
typecheck does not work with wrong arg count
#1236 opened May 31, 2023 by Divesh-Otwani
3
Suggestion: Support multiline strings without backslash escapes
#1233 opened May 23, 2023 by thomashoneyman
1
Suggestion: Sugar syntax of (define-keyset ) should be deprecated
#1210 opened Apr 27, 2023 by CryptoPascal31
2
Multi-line comments
#1201 opened Apr 19, 2023 by Divesh-Otwani
Clearly separate code, data, and doc files
#1199 opened Apr 19, 2023 by larskuhtz
2
Unable to perform FV when doing multiple coin.transfers in 1 function FV Formal verification
#1183 opened Apr 5, 2023 by EnoF
Testing tables cross-chains in repl
#1179 opened Apr 3, 2023 by EnoF
Schema Migration annotations
#1162 opened Mar 14, 2023 by EnoF
1
When defining a table with not enough arguments the wrong error message gets thrown
#1143 opened Feb 15, 2023 by EnoF
2
Provide a verify signature function
#1142 opened Feb 13, 2023 by EnoF
5
Some small Pact feature suggestions
#1140 opened Feb 8, 2023 by jwiegley
11 tasks
Vacuous property warning in fungible-v2 for upcoming 4.6.0 release FV Formal verification
#1136 opened Feb 5, 2023 by thomashoneyman
3
Properties within defpact are treaded as invariants bug FV Formal verification
#1124 opened Jan 16, 2023 by rsoeldner
1
Some (print ) are not printed
#1119 opened Jan 10, 2023 by CryptoPascal31
2
Verify | OutputFailure: Analysis doesn't support this construct yet
#1114 opened Jan 6, 2023 by Stelfinity
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.