Issues
- 0
FV Failure with (select) Function in Pact Modules
#1363 opened by chicodias - 0
FV: Unable to use (fold) in @model Property Definitions
#1361 opened by chicodias - 0
- 1
Export Pact code to AST tree
#1353 opened by dbale-altoros - 1
``(enforce-pact-version )`` doesn't work with two digits minor version
#1327 opened by CryptoPascal31 - 2
Unable to use (diff-time) in formal verification as a property, contrary to documentation
#1346 opened by thomashoneyman - 2
- 2
Typecheck fail with (bind)
#1267 opened by CryptoPascal31 - 7
Verify DEBUG feature is not working
#1306 opened by d3mage - 2
Divide by 0 in gas computation of `(concat)`
#1316 opened by CryptoPascal31 - 0
- 3
- 1
FV: str-to-int doesn't parse
#1303 opened by EnoF - 1
- 1
Typechecker does not recognize typed constants
#1299 opened by CryptoPascal31 - 2
Typecasting a string to Guard via Pact code
#1298 opened by Jad-KMC - 0
FV: Direct verification failure indication
#1297 opened by EnoF - 0
FV: authorized-by referencing a constant failure
#1294 opened by rsoeldner - 0
- 2
FV: Error reporting on db model before tx invalidated
#1264 opened by EnoF - 1
dynamic module ref bug
#1252 opened by rsoeldner - 2
- 2
- 3
Creating a principal namespace does nothing.
#1283 opened by mvaljento - 9
Weird behavior when computing the hash of a module
#1277 opened by CryptoPascal31 - 4
nix-build fails on master
#1275 opened by Coda-Coda - 6
Suggestion => reduce big operands gas penalty
#1152 opened by CryptoPascal31 - 1
invariant violation: free variable unexpectedly found
#1250 opened by rsoeldner - 0
Sort mismatch failure
#1249 opened by rsoeldner - 1
- 3
typecheck does not work with wrong arg count
#1236 opened by Divesh-Otwani - 1
Formal verification for `create-capability-guard` fails
#1172 opened by EnoF - 0
Sort mismatch with annotated `let` binding
#1182 opened by rsoeldner - 2
Impossible to go back to the root namespace
#1170 opened by CryptoPascal31 - 1
Not fully binding an object results in a FV error
#1180 opened by EnoF - 1
Access to `(at 'block-time (chain-data))` breaks FV
#1173 opened by EnoF - 2
Integer -> Decimal conversion
#1146 opened by CryptoPascal31 - 2
- 1
- 0
Multi-line comments
#1201 opened by Divesh-Otwani - 2
Clearly separate code, data, and doc files
#1199 opened by larskuhtz - 3
(env-data) not initialized when starting REPL
#1186 opened by CryptoPascal31 - 0
- 0
Testing tables cross-chains in repl
#1179 opened by EnoF - 3
Select gas cost too high
#1163 opened by EnoF - 1
Schema Migration annotations
#1162 opened by EnoF - 2
When defining a table with not enough arguments the wrong error message gets thrown
#1143 opened by EnoF - 2
More explanatory error for missing persistence folder
#1147 opened by EnoF - 5
Provide a verify signature function
#1142 opened by EnoF - 0
Some small Pact feature suggestions
#1140 opened by jwiegley