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 |
|
John David Pressman
|
c09116211f
|
Merge branch 'feature/cameligo-negative-op' into 'dev'
[LIGO-172] Add negative operator to CameLIGO
See merge request ligolang/ligo!161
|
2019-10-29 18:12:17 +00:00 |
|
Christian Rinderknecht
|
b382626145
|
Merge branch 'feature/unsupported-for-loops' into 'dev'
pascaligo.ml: unsupported_for_loops
See merge request ligolang/ligo!132
|
2019-10-29 17:48:21 +00:00 |
|
John David Pressman
|
f0f4c683f2
|
Add more complex negative operator test
|
2019-10-29 10:07:07 -07:00 |
|
John David Pressman
|
dce98c06ec
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/cameligo-negative-op
|
2019-10-29 09:59:37 -07:00 |
|
John David Pressman
|
102ffda7c3
|
Make negative operator test pass
|
2019-10-29 09:28:20 -07:00 |
|
Lesenechal Remi
|
a140e12394
|
add test for nested for collection loops (not supported yet)
|
2019-10-29 16:32:28 +01:00 |
|
Lesenechal Remi
|
402d849cec
|
use intermediary tuple access to get key and value for maps. add tests.
|
2019-10-29 15:43:00 +01:00 |
|
Lesenechal Remi
|
fd901548af
|
add more tests
|
2019-10-29 11:57:15 +01:00 |
|
Lesenechal Remi
|
c288f3c81e
|
simplify the simplifier and now find the free variables with a expression_fold
|
2019-10-29 11:56:21 +01:00 |
|
Lesenechal Remi
|
e86c92bc3b
|
improving simplifier
|
2019-10-29 11:41:59 +01:00 |
|
Lesenechal Remi
|
ba00db2b4c
|
add self_ast_simplified fold_expression
|
2019-10-29 10:43:38 +01:00 |
|
Suzanne Dupéron
|
735bd8e668
|
Implementing subst over the AST
|
2019-10-29 01:55:53 -04:00 |
|
John David Pressman
|
ec3f836605
|
Add test for several function parameters in CameLIGO
|
2019-10-28 22:07:00 -07:00 |
|
John David Pressman
|
c004fd24cd
|
Add option and boolean match tests to CameLIGO
|
2019-10-28 22:01:31 -07:00 |
|
John David Pressman
|
f62481fb0a
|
Add list match test to CameLIGO
|
2019-10-28 21:38:29 -07:00 |
|
Lesenechal Remi
|
e77f3e4903
|
empty for collection loop
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
37570c6a40
|
clean test
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
2ced2e784e
|
add doc
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
e16eac77a6
|
fixes for loop on map.
Untested because of issue with deep tuple access (LIGO-131 LIGO-134)
An error message is in the simplifier
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
1a035f9713
|
tests for sets
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
b71309bfa2
|
proper error message for deep accesses in loops of collection body
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
c7056d200d
|
merging with dev
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
5a77b08aa7
|
cleaning & documenting
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
7eed9b1856
|
test passing !
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
a3deccf352
|
changing the name of the lambda to 'arguments' make its arguments available
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
164e88e818
|
remove shadowing of lambda name over the constant name
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
d651bfb3a3
|
remove misplaced 'skip'
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
0cf7471441
|
prepend the body of the lambda with let_in's
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
7f7f19854a
|
WIP : make test a bit easier
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
91d92e048d
|
special case for pascaligo generated LIST/SET/MAP_FOLD
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
70502f62cb
|
fix the way lambda arguments are accessed
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
db79b6b9da
|
select op_name from collection key word
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
79de96136d
|
Collection for translation without type annotation on record
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
730c130fb3
|
merge step and down reemoval
WIP
WIP
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
536b5648c8
|
some cleaning
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
1d3d57c7c5
|
not complete for collect tryout
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
3058a57c62
|
cleaning and better tests
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
b7961fc8ec
|
cleaning
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
d8e44476ba
|
First version for ForInt loops
|
2019-10-28 20:52:14 +01:00 |
|
Christian Rinderknecht
|
2c4183f008
|
Merge branch 'feature/cameligo-bitwise-operators' into 'dev'
[LIGO-177] Add bitwise operators to CameLIGO
See merge request ligolang/ligo!160
|
2019-10-28 18:13:54 +00:00 |
|
John David Pressman
|
c7e4f3f651
|
Remove lxor, land, and lor from reserved words
|
2019-10-28 09:18:16 -07: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 |
|
John David Pressman
|
cae0dfb1aa
|
Change names to the standard library names for the functions in OCaml
|
2019-10-27 12:05:34 -07:00 |
|
Christian Rinderknecht
|
148d4dabfc
|
Merge branch 'feature/mutez' into 'dev'
Replace "mtz" with "mutez"
See merge request ligolang/ligo!163
|
2019-10-27 17:35:29 +00:00 |
|
Tom Jack
|
0191d8b0ed
|
Replace "mtz" with "mutez"
|
2019-10-27 11:50:24 -05:00 |
|
Tom Jack
|
6956e8751d
|
Add hex michelson output, use enums for format options
|
2019-10-26 12:57:22 -05:00 |
|
Tom Jack
|
076c245724
|
Merge branch 'get-contract-address' into 'dev'
Typecheck address argument to get_contract
See merge request ligolang/ligo!159
|
2019-10-26 13:33:23 +00:00 |
|
Suzanne Dupéron
|
1dc690bbba
|
Bugfix: only one propagator was called. Now they are all (both of them so far) called in turn.
|
2019-10-25 22:30:20 -04:00 |
|