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 |
|
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 |
|
Suzanne Dupéron
|
3bbb8bfd8b
|
Fixed merge issues with new merge of dev
|
2019-10-11 17:01:28 -04:00 |
|
Suzanne Dupéron
|
5a58559edc
|
Merge remote-tracking branch 'origin/dev' into HEAD
|
2019-10-11 16:59:45 -04:00 |
|
Suzanne Dupéron
|
4fa54dd2c1
|
More progress on merging new typer and new dev
|
2019-10-10 01:23:55 -04:00 |
|
Suzanne Dupéron
|
5de98259dc
|
Trying to merge new typer and new dev
|
2019-10-09 00:51:29 -04:00 |
|
Suzanne Dupéron
|
a0461d0622
|
Renamed
|
2019-10-08 18:46:55 -04:00 |
|
John David Pressman
|
f990dc8a0f
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into gardening/code-comments
|
2019-10-08 13:46:25 -07:00 |
|
Tom Jack
|
4a5e41faa4
|
Resolve mli merge conflict
|
2019-10-07 13:56:48 -05:00 |
|
Christian Rinderknecht
|
9c1be8f3a3
|
Merge branch 'feature/unsupported-string-catenation' into 'dev'
feature/unsupported_string_catenation
See merge request ligolang/ligo!120
|
2019-10-07 16:30:39 +00:00 |
|
Lesenechal Remi
|
44767c4b8e
|
Simplifier now emit CONCAT constant
|
2019-10-07 17:16:03 +02:00 |
|
Pierre-Emmanuel Wulfman
|
59cb210b83
|
Interface for Ocaml code
|
2019-10-07 14:18:32 +00:00 |
|
John David Pressman
|
0207d1f88f
|
Add .mli for SAST pretty printer with minimal comments
|
2019-10-04 15:33:50 -07:00 |
|
Lesenechal Remi
|
a7565145d5
|
add map_expression function in self_mini_c pass helpers
|
2019-10-02 18:31:15 +02:00 |
|
Gabriel Alfour
|
0c6f233507
|
Merge branch 'feature/auto-field-annotations' into 'dev'
Generate field annotations for sum/record
See merge request ligolang/ligo!78
|
2019-09-27 07:34:51 +00:00 |
|
galfour
|
7974469159
|
remove fail
|
2019-09-26 19:30:17 +02:00 |
|
Tom Jack
|
09496ce4ca
|
Generate field annotations for sum/record
|
2019-09-26 11:39:35 -05:00 |
|
Tom Jack
|
8a04ee8097
|
Fix bug for compile-parameter and compile-storage
|
2019-09-25 13:40:32 -05:00 |
|
galfour
|
e6ac10f0ce
|
switch from tz to mtz
|
2019-09-24 14:29:18 +02:00 |
|
galfour
|
b6ee28d704
|
add map literals in cameligo
|
2019-09-24 13:54:34 +02:00 |
|
galfour
|
b41b676eb8
|
add list fold
|
2019-09-23 23:33:25 +02:00 |
|
galfour
|
96fd0b4660
|
yay
|
2019-09-22 23:39:52 +02:00 |
|
galfour
|
720ef99c69
|
solve conflict
|
2019-09-22 22:17:28 +02:00 |
|
galfour
|
ad79188c4f
|
add list pattern matching
|
2019-09-21 09:12:00 +02:00 |
|
galfour
|
e3179bd7c7
|
tests pass again
|
2019-09-19 12:59:07 +02:00 |
|
galfour
|
015e197183
|
back on track
|
2019-09-19 01:34:37 +02:00 |
|
galfour
|
5566095e49
|
more stuff
|
2019-09-11 13:56:39 +02:00 |
|
galfour
|
cdfffcf8ec
|
more refactoring
|
2019-09-10 12:42:49 +02:00 |
|
galfour
|
cb1aa44ff4
|
moving stuff around
|
2019-09-08 12:17:24 +02:00 |
|