Commit Graph

3759 Commits

Author SHA1 Message Date
Galfour
aa7ea94034 update repository 2019-05-12 22:43:02 +00:00
Galfour
9b8da7451e update repository 2019-05-12 22:23:13 +00:00
Galfour
a010bf2327 update repository 2019-05-12 22:10:43 +00:00
Galfour
b1711ca86d initial commit 2019-05-12 21:13:37 +00:00
Galfour
1edfd8ea06 initial commit 2019-05-12 20:57:30 +00:00
Galfour
0290504a6a initial commit 2019-05-12 20:50:18 +00:00
Galfour
d02475f1bf big commit, will surely need to be reversed 2019-05-12 19:18:33 +00:00
Galfour
260c56ad58 fix bug in string; add address in expressions in pascaligo; add type annotations for expressions in pascaligo 2019-05-10 17:37:59 +00:00
Christian Rinderknecht
14ad75892c
Added support for mtz literals. 2019-05-10 14:53:34 +02:00
Galfour
72aabf1f49 add cast from string to address 2019-05-08 13:50:41 +00:00
Galfour
89308bcf4e add better error message when parsing expressions 2019-05-08 13:46:16 +00:00
Galfour
f3db37a7b1 add compile-storage to the cli 2019-05-08 12:21:33 +00:00
Galfour
f47d32de2e fix dispatch error 2019-05-07 14:59:12 +00:00
Galfour
1e9760bb07 add tests for dispatch 2019-05-06 19:28:21 +00:00
Galfour
0545dac1ac more tests 2019-05-06 16:14:57 +00:00
Galfour
4485cb3b61 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos 2019-05-06 09:29:25 +00:00
Galfour
775b286a39 more coase; better tests 2019-05-06 09:24:13 +00:00
Galfour
a5971a3b54 add crypto primitives; more coase; better tests 2019-05-06 06:36:26 +00:00
Galfour
a2caec9939 coase contracts in new ligo 2019-05-05 22:50:37 +00:00
Galfour
5ae00aeb01 pass regression tests 2019-05-05 17:25:33 +00:00
Galfour
c5aab2cf85 close to finishing 2019-05-05 13:05:32 +00:00
Galfour
fe79b2bcf6 more with regular stacks 2019-05-04 22:50:50 +00:00
Galfour
6e30690f2f it types now 2019-05-04 21:52:44 +00:00
Christian Rinderknecht
bdec7d0add
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos 2019-05-04 23:14:20 +02:00
Christian Rinderknecht
0c4181bb60
I added the syntax "record [...]" for record expressions. 2019-05-04 23:12:40 +02:00
Galfour
9ebd206494 tmp 2019-05-04 16:36:24 +00:00
Galfour
7df3f68f77 better coase tests ; TODO list 2019-05-04 13:59:01 +00:00
Galfour
9c80d060ed add first coase test 2019-05-04 10:04:45 +00:00
Galfour
ad5cc8b2d4 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos 2019-05-04 09:45:09 +00:00
Galfour
90a7be6754 fix records and tuples 2019-05-04 09:44:54 +00:00
Galfour
ffe73169ec fix records and tuples 2019-05-04 09:40:48 +00:00
Galfour
5e51043637 fix error in records ; add more regular smart-contract primitives 2019-05-04 03:45:13 +00:00
Galfour
ca2cb2ac17 add more features for regular smart-contracts 2019-05-03 21:18:40 +00:00
Galfour
26ffdf0808 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos 2019-05-02 21:14:32 +00:00
Galfour
931366059e more jsonized 2019-05-02 21:09:57 +00:00
Christian Rinderknecht
7892175350
Removed the option "-o" when calling CPP (now ">").
This should fix the bug report from Jun about running ligo-compile on
MacOS, as "cpp" in XCode does not seem to support the "-o" option.
2019-05-02 16:46:05 +02:00
Galfour
b8e5203d65 start coase; start simplify 2019-05-02 11:10:16 +00:00
Galfour
76163aa855 add deep closures 2019-04-30 16:57:46 +00:00
Galfour
2dc6b4a263 add div and mod ; stabilize before adding deep closures 2019-04-30 12:02:22 +00:00
Galfour
2674e84199 add heap tests ; discover error with SLASH 2019-04-30 08:41:06 +00:00
Galfour
6cb341b162 extend camligo and ligo 2019-04-29 13:30:28 +00:00
Galfour
c5f6fe670a Merge branch 'master' of gitlab.com:gabriel.alfour/tezos 2019-04-27 11:12:08 +00:00
Galfour
a18dba2049 complete camligo simplify 2019-04-27 07:57:51 +00:00
Georges Dupéron
840e8d8c50 Dependency on ppx_deriving 2019-04-26 16:28:39 +02:00
Galfour
d19c0058a7 more camligo 2019-04-26 14:00:10 +00:00
Galfour
6603b259ca minor fix 2019-04-26 13:45:04 +00:00
Galfour
912fe211b6 more camligo 2019-04-26 13:09:08 +00:00
Galfour
fdc62b5ebc add leading VBAR to sum types in pascaligo 2019-04-24 18:46:11 +00:00
Christian Rinderknecht
669945d4f3
Fixed lexer rule for literal naturals. Fixed reset_buffer (offset). 2019-04-24 15:11:33 +02:00
Christian Rinderknecht
b361f71845 Generated files which are promote-until-clean have now their basenames
suffixed with _generated.
2019-04-24 14:34:15 +02:00