Lesenechal Remi
|
9de04123d3
|
--balance option and updated tests
|
2020-03-05 20:52:47 +01:00 |
|
Tom Jack
|
d10b95357f
|
Detect gas exhaustion while typechecking
|
2020-03-05 10:43:40 -06:00 |
|
Tom Jack
|
1e77bd82c8
|
Revert "Use unlimited gas for typechecking contract"
This reverts commit 97aad1c5ea65375d464a278495cb3dc696c28c70.
|
2020-03-05 10:43:40 -06:00 |
|
Tom Jack
|
acf3f9284e
|
More gas for typechecking etc
|
2020-03-05 15:38:08 +00:00 |
|
Tom Jack
|
23353b0e27
|
Clarify internal sender/source options
|
2020-02-20 12:17:31 -06:00 |
|
Lesenechal Remi
|
e63f2407c2
|
carthage update:
* update dune & opam files
* update modules in source
|
2020-02-17 13:10:51 +01:00 |
|
Lesenechal Remi
|
e834e2ac20
|
More informative errors when calling michelson typecheck function
|
2020-01-03 15:25:37 +01:00 |
|
Lesenechal Remi
|
2086dd9ab5
|
add predecessor timestamp to the CLI
|
2019-12-20 12:18:36 +01:00 |
|
Tom Jack
|
d7bea52d44
|
Unignore dune-project
|
2019-12-19 19:53:10 +00:00 |
|
Tom Jack
|
172038cef0
|
Kill warning 45 by reusing Pervasives.result for Trace
|
2019-12-18 21:20:35 +00:00 |
|
Lesenechal Remi
|
ea343760b2
|
compile_parameter and compile_storage CLI commands now gets their input checked
|
2019-12-18 16:47:23 +01:00 |
|
Lesenechal Remi
|
46623ceb77
|
contract are now typecheck (at least in the CLI)
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
385961503f
|
add unparse_ty to ligo-utils (thanks alpha monad)
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
725176a59d
|
allow to pack message (aka lambda of type unit -> operation list)
|
2019-11-19 23:27:43 +01:00 |
|
Lesenechal Remi
|
f7d6a5ea58
|
allow to catch failwith's in our tests
|
2019-11-19 15:38:23 +01:00 |
|
Tom Jack
|
f739624185
|
Prepare for tezos upgrade
|
2019-11-02 17:38:39 -05:00 |
|
galfour
|
56269231b3
|
upgrade to babylon
|
2019-10-17 11:45:27 +02:00 |
|
Tom Jack
|
09496ce4ca
|
Generate field annotations for sum/record
|
2019-09-26 11:39:35 -05:00 |
|
Tom Jack
|
c867a4c4d4
|
Remove dune-project files
|
2019-09-09 13:59:08 -07:00 |
|
Tom Jack
|
e0b5910627
|
Try to fix CI again
|
2019-09-08 12:37:11 -07:00 |
|
galfour
|
f831793fbd
|
y e s s s
|
2019-09-05 15:21:01 +02:00 |
|
galfour
|
33101820ec
|
add set tests
|
2019-07-19 14:35:47 +02:00 |
|
Galfour
|
8c81432281
|
modify trace; oldify multifix
|
2019-06-03 10:33:13 +00:00 |
|
Georges Dupéron
|
7c8c6515b8
|
move before merging repositories
|
2019-05-27 11:08:26 +02:00 |
|