Search results

FV Failure with (select) Function in Pact Modules

Status: Open.

#1363 In kadena-io/pact;

· chicodias opened on May 15, 2024

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

Status: Open.

#1361 In kadena-io/pact;

· chicodias opened on May 6, 2024

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

Status: Open.

#1360 In kadena-io/pact;

· thomashoneyman opened on May 5, 2024

Export Pact code to AST tree

Status: Open.

#1353 In kadena-io/pact;

· dbale-altoros opened on Mar 19, 2024

Unexpected 'free variable' in formal verification when using zip

bug

Status: Open.

#1342 In kadena-io/pact;

· thomashoneyman opened on Feb 21, 2024

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

Status: Open.

#1308 In kadena-io/pact;

· CryptoPascal31 opened on Oct 6, 2023

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

Status: Open.

#1301 In kadena-io/pact;

· CryptoPascal31 opened on Sep 16, 2023

Typechecker does not recognize typed constants

Status: Open.

#1299 In kadena-io/pact;

· CryptoPascal31 opened on Sep 7, 2023

Typecasting a string to Guard via Pact code

Status: Open.

#1298 In kadena-io/pact;

· Jad-KMC opened on Sep 1, 2023

FV: Direct verification failure indication

enhancement

FVFormal verificationFormal verification

Status: Open.

#1297 In kadena-io/pact;

· EnoF opened on Aug 31, 2023

Typecheck fail with (bind)

FVFormal verificationFormal verification

Status: Open.

#1267 In kadena-io/pact;

· CryptoPascal31 opened on Aug 3, 2023

FV: Error reporting on db model before tx invalidated

FVFormal verificationFormal verification

Status: Open.

#1264 In kadena-io/pact;

· EnoF opened on Jul 31, 2023

dynamic module ref bug

Status: Open.

#1252 In kadena-io/pact;

· rsoeldner opened on Jul 17, 2023

typecheck does not work with wrong arg count

Status: Open.

#1236 In kadena-io/pact;

· Divesh-Otwani opened on May 31, 2023

Suggestion: Support multiline strings without backslash escapes

Status: Open.

#1233 In kadena-io/pact;

· thomashoneyman opened on May 23, 2023

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

Status: Open.

#1210 In kadena-io/pact;

· CryptoPascal31 opened on Apr 27, 2023

Multi-line comments

Status: Open.

#1201 In kadena-io/pact;

· Divesh-Otwani opened on Apr 19, 2023

Clearly separate code, data, and doc files

Status: Open.

#1199 In kadena-io/pact;

· larskuhtz opened on Apr 19, 2023

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

FVFormal verificationFormal verification

Status: Open.

#1183 In kadena-io/pact;

· EnoF opened on Apr 5, 2023

Testing tables cross-chains in repl

Status: Open.

#1179 In kadena-io/pact;

· EnoF opened on Apr 3, 2023

Schema Migration annotations

Status: Open.

#1162 In kadena-io/pact;

· EnoF opened on Mar 14, 2023

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

Status: Open.

#1143 In kadena-io/pact;

· EnoF opened on Feb 15, 2023

Provide a verify signature function

Status: Open.

#1142 In kadena-io/pact;

· EnoF opened on Feb 13, 2023

Some small Pact feature suggestions

Status: Open.

#1140 In kadena-io/pact;

· jwiegley opened on Feb 8, 2023

Vacuous property warning in fungible-v2 for upcoming 4.6.0 release

FVFormal verificationFormal verification

Status: Open.

#1136 In kadena-io/pact;

· thomashoneyman opened on Feb 5, 2023