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