Issues

• FV Failure with (select) Function in Pact Modules

  kadena-io/pact#1363 · Filter by author chicodias opened on May 15, 2024

• FV: Unable to use (fold) in @model Property Definitions

  kadena-io/pact#1361 · Filter by author chicodias opened on May 6, 2024

• FV: Unable to use (contains) in schema invariant due to parse error

  kadena-io/pact#1360 · Filter by author thomashoneyman opened on May 5, 2024

• Export Pact code to AST tree

  kadena-io/pact#1353 · Filter by author dbale-arg opened on Mar 19, 2024
  1

• Unexpected 'free variable' in formal verification when using zip

  bug
  kadena-io/pact#1342 · Filter by author thomashoneyman opened on Feb 21, 2024
  2

• #2 Modrefs refSpec: storage in tables AND typed variable binding

  kadena-io/pact#1308 · Filter by author CryptoPascal31 opened on Oct 6, 2023

• (add-time ) overflow => not documented unexpected results

  kadena-io/pact#1301 · Filter by author CryptoPascal31 opened on Sep 16, 2023
  1

• Typechecker does not recognize typed constants

  kadena-io/pact#1299 · Filter by author CryptoPascal31 opened on Sep 7, 2023
  1

• Typecasting a string to Guard via Pact code

  kadena-io/pact#1298 · Filter by author Jad-KMC opened on Sep 1, 2023
  2

• FV: Direct verification failure indication

  enhancementFV
  kadena-io/pact#1297 · Filter by author EnoF opened on Aug 31, 2023

• Typecheck fail with (bind)

  FV
  kadena-io/pact#1267 · Filter by author CryptoPascal31 opened on Aug 3, 2023
  2

• FV: Error reporting on db model before tx invalidated

  FV
  kadena-io/pact#1264 · Filter by author EnoF opened on Jul 31, 2023
  2

• dynamic module ref bug

  kadena-io/pact#1252 · Filter by author rsoeldner opened on Jul 17, 2023
  1

• typecheck does not work with wrong arg count

  kadena-io/pact#1236 · Filter by author Divesh-Otwani opened on May 31, 2023
  3

• Suggestion: Support multiline strings without backslash escapes

  kadena-io/pact#1233 · Filter by author thomashoneyman opened on May 23, 2023
  1

• Suggestion: Sugar syntax of (define-keyset ) should be deprecated

  kadena-io/pact#1210 · Filter by author CryptoPascal31 opened on Apr 27, 2023
  2

• Multi-line comments

  kadena-io/pact#1201 · Filter by author Divesh-Otwani opened on Apr 19, 2023

• Clearly separate code, data, and doc files

  kadena-io/pact#1199 · Filter by author larskuhtz opened on Apr 19, 2023
  2

• Unable to perform FV when doing multiple coin.transfers in 1 function

  FV
  kadena-io/pact#1183 · Filter by author EnoF opened on Apr 5, 2023

• Testing tables cross-chains in repl

  kadena-io/pact#1179 · Filter by author EnoF opened on Apr 3, 2023

• Schema Migration annotations

  kadena-io/pact#1162 · Filter by author EnoF opened on Mar 14, 2023
  1

• When defining a table with not enough arguments the wrong error message gets thrown

  kadena-io/pact#1143 · Filter by author EnoF opened on Feb 15, 2023
  2

• Provide a verify signature function

  kadena-io/pact#1142 · Filter by author EnoF opened on Feb 13, 2023
  5

• Some small Pact feature suggestions

  kadena-io/pact#1140 · Filter by author jwiegley opened on Feb 8, 2023

• Vacuous property warning in fungible-v2 for upcoming 4.6.0 release

  FV
  kadena-io/pact#1136 · Filter by author thomashoneyman opened on Feb 5, 2023
  3