balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,182 Commits 2 Branches 0 Tags 65 MiB
bdb8c5a612
Commit Graph

5182 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Christian Rinderknecht
221359ca64 Merge branch 'boolean-operations' into 'dev' 
Add list of boolean operations

See merge request ligolang/ligo!541
 2020-04-02 11:29:04 +00:00
Christian Rinderknecht
e543c2cf9a Merge branch 'tutorial-tezos-prefixes' into 'dev' 
Use Tezos. prefix in Tutorial.

See merge request ligolang/ligo!539
 2020-04-02 11:23:57 +00:00
Sander Spies
a7d4f6691b Forgot a word. 2020-04-02 13:02:44 +02:00
Sander Spies
d0094addd2 Add markdown files to md_file_tests 2020-04-02 12:40:55 +02:00
Sander Spies
5c453354fc Merge. 2020-04-02 12:38:25 +02:00
Sander Spies
7e2a09e81e Improve inline attribute description. 2020-04-02 12:29:32 +02:00
Sander Spies
951235d105 Merge 2020-04-02 10:31:52 +02:00
Tom Jack
fdb53381d1 Merge branch 'delete-deploy-flake' into 'dev' 
Delete flaky webide test (for now)

See merge request ligolang/ligo!523
 2020-04-01 23:10:53 +00:00
Tom Jack
d756f94c0c Merge branch 'better-pp' into 'dev' 
Somewhat better PP for ast_core and mini_c

See merge request ligolang/ligo!514
 2020-04-01 20:43:21 +00:00
Tom Jack
803222f646 Merge branch 'no-dexter' into 'dev' 
Remove dexter.ligo

See merge request ligolang/ligo!544
 2020-04-01 20:20:28 +00:00
Tom Jack
6fed8998bb Somewhat better PP for ast_core and mini_c 2020-04-01 14:32:52 -05:00
Tom Jack
57fc351907 Remove dexter.ligo 2020-04-01 14:22:05 -05:00
Christian Rinderknecht
f5e0dad979 Added # line directive at the start to recover the file name. Continued integration. 2020-04-01 19:22:46 +02:00
Sander Spies
3e46e226c0 Add toplevel page for API reference. 2020-04-01 19:00:39 +02:00
Sander Spies
86de9d27e7 Add errors for properly handling let x = _ cases. 2020-04-01 18:08:31 +02:00
Sander
60070cc8d0 Merge branch 'syntax-switch-fix' into 'dev' 
Add background-color to options of Syntax Switch.

See merge request ligolang/ligo!542
 2020-04-01 14:41:47 +00:00
Sander Spies
ec7c6e8ad9 Error message shows up again. 2020-04-01 16:34:36 +02:00
Sander Spies
c764f89881 Merge 2020-04-01 15:50:59 +02:00
Sander Spies
3d3da33e3e Add background-color to options of Syntax Switch. 2020-04-01 15:44:53 +02:00
Pierre-Emmanuel Wulfman
037c1cb302 Merge branch 'ast/e_cond_sugar' into 'dev' 
Add E_cond as sugar (if .. then .. else ..) for match_bool

See merge request ligolang/ligo!536
 2020-04-01 13:12:36 +00:00
Sander Spies
1202ffc8df Add list of boolean operations 2020-04-01 14:49:56 +02:00
Pierre-Emmanuel Wulfman
9dc7e7fcb9 Add E_cond as sugar (if .. then .. else ..) for match_bool 2020-04-01 14:14:20 +02:00
Christian Rinderknecht
968e73b342 Integrated the library for preprocessing. 
The build with Makefile works. Dune build to be tested.
 2020-03-31 19:44:10 +02:00
Pierre-Emmanuel Wulfman
1fff3dee21 Merge branch 'ast/tuples_are_back' into 'dev' 
Adding tuples in ast_sugar

See merge request ligolang/ligo!521
 2020-03-31 16:04:19 +00:00
Sander
059bbc8457 Merge branch 'wrong-type-mutez' into 'dev' 
API docs: change not existing mutez type to existing tez type

See merge request ligolang/ligo!540
 2020-03-31 16:04:16 +00:00
Pierre-Emmanuel Wulfman
c9e509f636 review 1 2020-03-31 17:05:42 +02:00
Pierre-Emmanuel Wulfman
13e9405dee adding tuples in ast_sugar 2020-03-31 17:04:53 +02:00
Sander Spies
0d46be7425 Change not existing mutez type to existing tez type 2020-03-31 17:00:17 +02:00
Sander Spies
257821a764 Use Tezos prefix in Tutorial. 2020-03-31 14:39:26 +02:00
Sander Spies
9fc3c3f01b merge 2020-03-31 14:15:32 +02:00
Sander Spies
c8175a7550 Inline attribute documentation 2020-03-31 14:11:22 +02:00
Pierre-Emmanuel Wulfman
9cd750442a Merge branch 'ast/move_ds_to_constant' into 'dev' 
Remove extra AST cases

See merge request ligolang/ligo!499
 2020-03-30 16:50:56 +00:00
Pierre-Emmanuel Wulfman
aac7dd3462 review 1 2020-03-30 17:56:17 +02:00
Pierre-Emmanuel Wulfman
6a9547e910 add type map_or_big_map to solve issue of typing big_map_empty from map_add 2020-03-30 17:55:02 +02:00
Pierre-Emmanuel Wulfman
330c48e66a remove Map and BIG_Map 2020-03-30 17:55:02 +02:00
Pierre-Emmanuel Wulfman
a39c900b72 remove set and list 2020-03-30 17:55:00 +02:00
Pierre-Emmanuel Wulfman
c5d9c9ffa3 remove look_up 2020-03-30 17:54:16 +02:00
Pierre-Emmanuel Wulfman
3cbd8f0113 Merge branch 'ast/e_assing_is_back' into 'dev' 
Adding E_assign to AST_imperative

See merge request ligolang/ligo!532
 2020-03-30 13:37:26 +00:00
Pierre-Emmanuel Wulfman
d91753e493 remove case e_sequance (e_assing, expr) 2020-03-30 14:40:28 +02:00
Pierre-Emmanuel Wulfman
21e8298a4e add assign back 2020-03-30 14:28:31 +02:00
Christian Rinderknecht
ebff258882 The emitted line directives now have the exact same contents as with 
cpp. A line made of blanks is now correctly copied out (instead of
single newline).
 2020-03-27 19:30:39 +01:00
Pierre-Emmanuel Wulfman
63793ddc76 Merge branch 'ast/loop_construct_for_ast_imperative' into 'dev' 
Add for, for_each, while construct in ast_imperatve

See merge request ligolang/ligo!531
 2020-03-27 18:28:52 +00:00
Sander
54af2138bf Merge branch 'describe-nested-immutable-path' into 'dev' 
Describe nested updates.

See merge request ligolang/ligo!526
 2020-03-27 16:07:19 +00:00
Pierre-Emmanuel Wulfman
4003aa4e06 add for, for_each, while construct in ast_imperatve;\n Move the treatment of loops and handling of the assignment in imperative_to_sugar 2020-03-27 16:52:44 +01:00
Sander Spies
1ac6835726 Some changes to get around the negative test errors. 2020-03-27 16:29:50 +01:00
Sander Spies
3c65eafa7b Merge. 2020-03-27 09:18:08 +01:00
Sander Spies
62d1a77b3d ReasonLIGO: Add support for _ as an argument 2020-03-26 20:40:18 +01:00
Christian Rinderknecht
b5a3fb9367 The directive #include is now recursive. 2020-03-26 19:32:48 +01:00
Sander
c28a0f0a60 Merge branch 'remaining-460-docs' into 'dev' 
Remaining doc changes of #460

See merge request ligolang/ligo!505
 2020-03-26 17:08:47 +00:00
Christian Rinderknecht
9e84d29326 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc 2020-03-26 18:03:38 +01:00