Sander Spies
|
6f9134834f
|
Remove original Cameligo and rename Ligodity to Cameligo.
|
2019-12-12 14:35:07 +01:00 |
|
Lesenechal Remi
|
1842d50ef1
|
some Ast_simplified PP improvements
|
2019-12-12 12:15:18 +01:00 |
|
Lesenechal Remi
|
61fd91a0d4
|
optional init file
|
2019-12-12 12:15:18 +01:00 |
|
Lesenechal Remi
|
a80ffae897
|
add interpret command
|
2019-12-12 12:15:18 +01:00 |
|
Lesenechal Remi
|
c62f147a01
|
MR requests
|
2019-12-12 11:00:04 +01:00 |
|
Lesenechal Remi
|
df0dfb029b
|
better error message when a contract in invalid
|
2019-12-11 20:02:54 +01:00 |
|
Lesenechal Remi
|
c0472629b9
|
application at ast_simplified level
|
2019-12-11 20:02:54 +01:00 |
|
Lesenechal Remi
|
ebd073f5e2
|
Separate aggregation case for contract and expression
|
2019-12-11 20:02:54 +01:00 |
|
Lesenechal Remi
|
9d83159e89
|
merge with dev
|
2019-12-10 16:01:26 +01:00 |
|
Lesenechal Remi
|
5ac25bfe21
|
easy to interpret expressions. evaluate-value does the job. CLI refactoring might be necessary
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
1c346ead28
|
remove useless code in test helper
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
16fc55482d
|
Remove wrapper. Flatten everything for now.
Now have a run function for contracts and a run function for everything else.
Run function for contract is only used in CLI dry-run
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
bbf6b7b860
|
sséssaoupa?
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
974fa6432b
|
Revert "unify a little more"
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
85cffdfc52
|
remove comented function
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
255b9a6e00
|
type compile_main function in contracts tests
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
6ed2f2b3ae
|
unify a little more
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
26f26171e6
|
Tests clean
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
d1f6c37f62
|
CLI clean
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
46623ceb77
|
contract are now typecheck (at least in the CLI)
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
0cae4302cd
|
WIP: introduce compiled_expression and unify dry-run and compile-contract
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
8edeb27321
|
add a function to fetch (param,storage) in a contract's lambda
|
2019-12-10 15:58:53 +01:00 |
|
Sander
|
95a7e19be6
|
Add ReasonLIGO support
|
2019-12-10 13:47:31 +00:00 |
|
Christian Rinderknecht
|
04a770e22d
|
To enable local builds of the PascaLIGO parser.
|
2019-12-09 15:52:17 +00:00 |
|
John David Pressman
|
f043135df1
|
Add Michelson map membership to CameLIGO and PascaLIGO
|
2019-12-06 09:35:08 -08:00 |
|
Pierre-Emmanuel Wulfman
|
034c92a64c
|
Use ADT for types and move type to ast_common
and Making name, type_variable, built-in, constructor, label and string uncompatible types in ligo (weird bug with types in ligodity)
|
2019-12-04 11:40:58 +00:00 |
|
John David Pressman
|
6a4d58d467
|
Overkill the tuple ordering bug
|
2019-12-03 11:10:53 -08:00 |
|
John David Pressman
|
085a756ed3
|
Fix bug where tuples are destructured with the members in the wrong order
|
2019-12-03 10:49:58 -08:00 |
|
John David Pressman
|
8609196bac
|
Fix IMPLICIT_ACCOUNT
|
2019-12-03 00:00:01 -08:00 |
|
Tom Jack
|
317313ecc6
|
Rename executable to fix merlin confusion
|
2019-12-01 23:08:05 +00:00 |
|
John David Pressman
|
0b3e057819
|
Add self address to CameLIGO and PascaLIGO
|
2019-12-01 21:56:49 +00:00 |
|
John David Pressman
|
03dd86c9ad
|
Expose address operator in PascaLIGO and CameLIGO
|
2019-12-01 21:56:49 +00:00 |
|
John David Pressman
|
694c3aea97
|
Add implicit_account to operators
|
2019-12-01 21:56:49 +00:00 |
|
Rémi Lesenechal
|
4be2d6fb6a
|
Refactoring eval run functions
|
2019-11-29 21:22:56 +00:00 |
|
Tom Jack
|
a121766a89
|
Fix semantic merge conflict w/ expect tests
|
2019-11-29 10:00:58 -06:00 |
|
Gabriel Alfour
|
c1dac64af3
|
Merge branch 'feature/inlining2' into 'dev'
Substitution-based inlining
See merge request ligolang/ligo!227
|
2019-11-29 14:17:25 +00:00 |
|
Gabriel Alfour
|
bfb01d371a
|
Merge branch 'feature/more-subtraction' into 'dev'
Type subtraction also as nat->int->int and int->nat->int
See merge request ligolang/ligo!228
|
2019-11-29 10:13:29 +00:00 |
|
Tom Jack
|
49586b65be
|
Type subtraction also as nat->int->int and int->nat->int
|
2019-11-28 06:48:24 -06:00 |
|
Tom Jack
|
0040b1f460
|
Mention subcommand --help only once
|
2019-11-27 11:00:21 -06:00 |
|
Tom Jack
|
e3fbc58e7a
|
Show help instead of "Do ligo --help"
|
2019-11-27 11:00:21 -06:00 |
|
Tom Jack
|
32625bb075
|
Use doc not docs in cli
|
2019-11-27 11:00:21 -06:00 |
|
Tom Jack
|
06603b594a
|
Mini_c: Identify more pure constants
|
2019-11-27 09:06:36 -06:00 |
|
Tom Jack
|
66d2cda107
|
Mini_c: Inlining optimization
|
2019-11-27 09:06:31 -06:00 |
|
Lesenechal Remi
|
e7195c4c41
|
mutisig v2 some renaming and counter reset fix
|
2019-11-26 19:21:51 +01:00 |
|
Lesenechal Remi
|
39c7766b08
|
multisig v2 comments
|
2019-11-26 19:11:30 +01:00 |
|
Lesenechal Remi
|
cf540a1a78
|
multisigv2 default entry point
|
2019-11-26 19:11:30 +01:00 |
|
Lesenechal Remi
|
c8eb1a3fa6
|
multisigv2 with less user uncertainty
|
2019-11-26 19:11:30 +01:00 |
|
Lesenechal Remi
|
b82383751c
|
multisigv2 more robust to spam
Set limits to the number of approvals and message sizes
|
2019-11-26 19:11:30 +01:00 |
|
Lesenechal Remi
|
652138b115
|
new 'expect' test helpers working on expressions
|
2019-11-26 19:11:30 +01:00 |
|
Lesenechal Remi
|
00def6d20e
|
Fix a bug, test added:
A never accounted message was not adding anything to the map
|
2019-11-26 19:11:30 +01:00 |
|