John David Pressman
ea661247b6
Add bitwise operators to CameLIGO
...
Right now they're defined as '.bor' and '.band' because of a glitch
in CameLIGO's parser where 'X.Y' leads to a parse error if Y is a
keyword or reserved word in CameLIGO.
2019-10-25 16:12:54 -07:00
Rémi Lesenechal
5a5c3a8dd4
Merge branch 'feature/clean-big-map' into 'dev'
...
Feature/clean big map
See merge request ligolang/ligo!145
2019-10-25 21:30:09 +00:00
Tom Jack
ef05b47dc6
Typecheck address argument to get_contract
2019-10-25 11:27:55 -05:00
Gabriel Alfour
d015f60d66
Merge branch 'fix/update-ide-url' into 'dev'
...
Update website url to point to new ligo web ide
See merge request ligolang/ligo!156
2019-10-25 13:39:32 +00:00
Tom Jack
afbf2ba2db
Less stupid way to combine adjacent drops
2019-10-25 00:42:31 -05:00
Tom Jack
7c99affd4b
Organize prims by their strangeness
2019-10-25 00:00:39 -05:00
Tom Jack
dae4f58297
Combine adjacent DROP
2019-10-24 23:58:21 -05:00
Tom Jack
9ae39bab97
Fix (latent?) Babylon bug in self_michelson pass
2019-10-24 23:58:15 -05:00
John David Pressman
0eb2b73afa
Add CameLIGO test function utilizing multiple subroutines
2019-10-24 15:27:26 -07:00
John David Pressman
99dfd18dea
Add explanatory comment to annotation.ligo
2019-10-24 14:44:07 -07:00
Jev Björsell
34ac419b82
Update website url to point to new ligo web ide
2019-10-24 14:30:10 -07:00
John David Pressman
790dc6c370
Merge branch 'test/cameligo-boolean-and' into test/cameligo-test-parity
2019-10-24 09:14:12 -07:00
John David Pressman
0bf37a2e21
Fix boolean tests for CameLIGO
2019-10-24 09:13:31 -07:00
Tom Jack
09bb74ed51
Merge branch 'archlinux_setup' into 'dev'
...
Make install script works on archlinux
See merge request ligolang/ligo!73
2019-10-24 13:04:16 +00:00
Pierre-Emmanuel Wulfman
f68e91466e
Make install script works on archlinux
2019-10-24 13:04:16 +00:00
Tom Jack
7958508e14
Merge branch 'feature/some-tests' into 'dev'
...
More tests and a few operations
See merge request ligolang/ligo!26
2019-10-24 13:03:39 +00:00
Christian Rinderknecht
150ad6bc38
Merge branch 'rinderknecht-dev' into 'dev'
...
Fixed a regression when removing sub-blocks
See merge request ligolang/ligo!153
2019-10-24 09:15:27 +00:00
Christian Rinderknecht
c0f4aaf0c7
Fixed the regression on case clauses (blocks were removed).
2019-10-24 10:33:22 +02:00
Christian Rinderknecht
4a9150f560
WIP: Fixing a regression (blocks in case clauses as intructions).
2019-10-24 10:33:22 +02:00
John David Pressman
2aa201553c
Add test for the if conditional in CameLIGO
2019-10-23 20:29:32 -07:00
John David Pressman
ddc5b8e36d
Add failing boolean operator test
2019-10-23 18:29:49 -07:00
John David Pressman
2566ebc7d0
Add arithmetic tests for CameLIGO
2019-10-23 17:53:26 -07:00
Suzanne Dupéron
c4e996d5aa
Fixed module issue, thanks Christian
2019-10-23 12:17:18 -04:00
Suzanne Dupéron
535c291b3f
blabla
2019-10-23 10:45:48 -04:00
Suzanne Dupéron
10362426aa
blabla
2019-10-23 10:41:36 -04:00
Tom Jack
e2ea89cf87
Move tests, remove operators
2019-10-23 09:38:45 -05:00
Christian Rinderknecht
4730df6ea1
Merge branch 'rinderknecht-dev' into 'dev'
...
Forbidding empty patches (records, maps, sets)
See merge request ligolang/ligo!148
2019-10-23 10:06:26 +00:00
Christian Rinderknecht
d0553ffee4
Merge branch 'feature/set-size-operator' into 'dev'
...
Add set size op for CameLIGO
See merge request ligolang/ligo!150
2019-10-23 10:05:30 +00:00
John David Pressman
1f50cc8f57
Remove PascaLIGO set_size
2019-10-22 20:24:05 -07:00
John David Pressman
c4cc4fcba9
Add set size op for CameLIGO and PascaLIGO
2019-10-22 19:28:13 -07:00
Christian Rinderknecht
eae3348d51
I forbade empty patches (parser). Fixed AST pretty-printer (PascaLIGO).
...
Changed accordingly the simplifier: the dead code for the error about
empty record patches is no long.
2019-10-23 00:35:29 +02:00
Suzanne Dupéron
79967e9067
Hit a module problem in OCaml.
2019-10-22 08:50:21 -04:00
Lesenechal Remi
e6ee915f1e
updating tests (we don't need the big_map to be in a pair anymore)
2019-10-22 12:23:48 +02:00
Lesenechal Remi
2a2c708b54
adding Big_map.* operators for cameligo
2019-10-22 12:23:48 +02:00
Lesenechal Remi
cefac0d8e7
add big_map injection
2019-10-22 12:23:48 +02:00
Lesenechal Remi
5d040220c0
WIP: add test
2019-10-22 12:23:48 +02:00
Lesenechal Remi
23993a4488
clean big_map tests
2019-10-22 12:23:48 +02:00
Christian Rinderknecht
0467868bb2
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
2019-10-22 10:43:13 +02:00
Christian Rinderknecht
9ad0859a4c
Merge branch 'feature/pascaligo-remove-case-as-expression' into 'dev'
...
Feature/pascaligo add conditional as an expression
See merge request ligolang/ligo!144
2019-10-22 08:42:59 +00:00
Christian Rinderknecht
fa30b7d87d
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
2019-10-22 10:38:32 +02:00
John David Pressman
e47f486349
Merge branch 'feature/cameligo-str-concat' into 'dev'
...
[LIGO-161] Add string concatenation support to CameLIGO
See merge request ligolang/ligo!147
2019-10-22 05:56:04 +00:00
John David Pressman
48515b9f3b
Add explanatory comment to string concatenation test
2019-10-21 16:40:40 -07:00
John David Pressman
8f799321d6
Add string concatenation support to CameLIGO
2019-10-21 15:46:26 -07:00
Christian Rinderknecht
312dc65950
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
2019-10-21 21:42:52 +02:00
John David Pressman
97f2a44a24
Merge branch 'feature/pascaligo-expr-fun' into 'dev'
...
[LIGO-150] Add blockless functions to PascaLIGO
See merge request ligolang/ligo!143
2019-10-20 08:46:15 +00:00
John David Pressman
09230df60a
Remove kwd_expr
2019-10-19 10:55:39 -07:00
John David Pressman
daad15c57d
Write blockless function test and make it pass
2019-10-19 10:46:24 -07:00
John David Pressman
ec67d37f20
Gabriel wants to see the code
2019-10-19 09:11:18 -07:00
John David Pressman
6e0173a9a7
Fix type error when where blockfun types eat regions
2019-10-18 17:46:20 -07:00
Lesenechal Remi
6b55bf3630
cleaning
2019-10-18 17:44:10 +02:00
