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.

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
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

Issues list

Export Pact code to AST tree
#1353 opened Mar 19, 2024 by dbale-altoros
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
FV: Error reporting on db model before tx invalidated FV Formal verification
#1264 opened Jul 31, 2023 by EnoF
dynamic module ref bug
#1252 opened Jul 17, 2023 by rsoeldner
Multi-line comments
#1201 opened Apr 19, 2023 by Divesh-Otwani
Testing tables cross-chains in repl
#1179 opened Apr 3, 2023 by EnoF
Schema Migration annotations
#1162 opened Mar 14, 2023 by EnoF
Provide a verify signature function
#1142 opened Feb 13, 2023 by EnoF
Some small Pact feature suggestions
#1140 opened Feb 8, 2023 by jwiegley
11 tasks
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.