Suzanne Dupéron
|
801efeed46
|
tests for automatic fold generator + fold_config hook to update the state before a node has been transformed, without transforming it.
|
2020-01-09 18:16:02 +00:00 |
|
Suzanne Dupéron
|
fe5f8d9f64
|
fold_config hook to update the state after a node has been transformed, without transforming it.
|
2020-01-09 18:16:02 +00:00 |
|
Suzanne Dupéron
|
8b98898dbf
|
first executable version of the auto-generation of folds
|
2020-01-09 18:16:02 +00:00 |
|
Suzanne Dupéron
|
3605768bb0
|
Started auto-generation of folds on ADTs (part of the code is generated, not all)
|
2020-01-09 18:16:02 +00:00 |
|
Lesenechal Remi
|
d885eb8d4a
|
check key_hash format
|
2020-01-06 22:52:30 +01:00 |
|
Lesenechal Remi
|
7e05b7d276
|
now removes the entry-point declaration from the program before aggregation
|
2020-01-06 18:41:53 +01:00 |
|
Lesenechal Remi
|
e8d1e359f4
|
exclude PPs from coverage
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c8339ed2ef
|
first try
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
bdd1d09c04
|
t_operator can not throw exceptions
|
2019-12-24 12:43:32 +01:00 |
|
John David Pressman
|
1bf04574c1
|
Merge branch 'dev' into feature/set-delegate
|
2019-12-20 08:37:01 -08:00 |
|
Tom Jack
|
71e2670572
|
Fix one hex printing bug
|
2019-12-19 13:05:30 -06:00 |
|
Suzanne Dupéron
|
e5acdc4228
|
All typer errors in ast_typed/misc.ml are covered it seems.
|
2019-12-19 17:27:17 +00:00 |
|
Lesenechal Remi
|
f9fcf1fbc3
|
Also perform Ast_typed check
|
2019-12-18 16:47:23 +01:00 |
|
John David Pressman
|
7067644b1d
|
Merge branch 'dev' into feature/set-delegate
|
2019-12-17 12:17:02 -08:00 |
|
Suzanne Dupéron
|
1bf3d8f02a
|
First negative tests for the old typer & improvement of error messages
|
2019-12-17 18:18:49 +00:00 |
|
John David Pressman
|
20285f2b9e
|
Add broken set_delegate test to LIGO, get to typer error
|
2019-12-16 16:26:39 -08:00 |
|
Lesenechal Remi
|
1842d50ef1
|
some Ast_simplified PP improvements
|
2019-12-12 12:15:18 +01:00 |
|
Lesenechal Remi
|
c62f147a01
|
MR requests
|
2019-12-12 11:00:04 +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
|
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
|
85cffdfc52
|
remove comented function
|
2019-12-10 15:58:53 +01:00 |
|
Lesenechal Remi
|
d1f6c37f62
|
CLI clean
|
2019-12-10 15:58:53 +01: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 |
|
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 |
|
Tom Jack
|
66d2cda107
|
Mini_c: Inlining optimization
|
2019-11-27 09:06:31 -06:00 |
|
Lesenechal Remi
|
c8eb1a3fa6
|
multisigv2 with less user uncertainty
|
2019-11-26 19:11:30 +01:00 |
|
Lesenechal Remi
|
30a410413a
|
mulisig contract v2 and test
|
2019-11-22 15:41:30 +01:00 |
|
Lesenechal Remi
|
88a0f33fca
|
add key_hash type and crypto_key_hash operator to pascaligo
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
1185b8abda
|
add chain_id type and operator
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
2fa78bd0bd
|
add key and signature types
|
2019-11-21 17:19:11 +01:00 |
|
Tom Jack
|
81c49f4342
|
Fix/simplify big_maps using Babylon
|
2019-11-21 08:18:18 -06:00 |
|
Tom Jack
|
5b60109606
|
Improve purity test for dead code elimination
|
2019-11-13 14:05:22 -06:00 |
|
Pierre-Emmanuel Wulfman
|
29a86ad411
|
Fix: deep access
|
2019-11-12 17:07:09 +00:00 |
|
Pierre-Emmanuel Wulfman
|
f91de985d0
|
remove 'Access_Map'
|
2019-11-12 14:28:58 +00:00 |
|
Pierre-Emmanuel Wulfman
|
e741531041
|
Merge branch 'clean-sts-solver' into 'dev'
New typer in a separate folder along with old typer
See merge request ligolang/ligo!166
|
2019-11-06 11:28:03 +00:00 |
|
Tom Jack
|
e30b7faa9d
|
Mini_c: Remove T_deep_closure and D_function
|
2019-11-02 18:43:46 -05:00 |
|
Tom Jack
|
cccbd424a8
|
Implement Mini_c.Free_variables
|
2019-11-02 18:43:46 -05:00 |
|
Suzanne Dupéron
|
1e06c24325
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into clean-sts-solver
|
2019-10-31 17:18:09 -04:00 |
|
Suzanne Dupéron
|
dce15a79c6
|
WIP on understanding where in the AST we need the subst.
|
2019-10-31 13:21:05 -04:00 |
|
Lesenechal Remi
|
f341527aa6
|
add signature type
|
2019-10-31 16:46:07 +01:00 |
|
Pierre-Emmanuel Wulfman
|
770bdda9df
|
commenting a little bit the typesystem
|
2019-10-30 19:35:35 +01:00 |
|
Suzanne Dupéron
|
c0397f68a0
|
Wrap type names with a constructor Type_name, so that merlin does not think that all strings are type names
|
2019-10-30 12:50:19 -04:00 |
|
Suzanne Dupéron
|
3f0b9346a5
|
More but not enough of the fold. Filled in holes with failwith, need to implement enough that it passes a test.
|
2019-10-29 20:14:42 -04:00 |
|
Suzanne Dupéron
|
735bd8e668
|
Implementing subst over the AST
|
2019-10-29 01:55:53 -04:00 |
|
Suzanne Dupéron
|
dcf5a975d4
|
More of subst
|
2019-10-28 01:10:26 -04:00 |
|
Suzanne Dupéron
|
174c028406
|
Fixing issues in the new typer
|
2019-10-27 23:24:21 -04:00 |
|
Tom Jack
|
0191d8b0ed
|
Replace "mtz" with "mutez"
|
2019-10-27 11:50:24 -05:00 |
|