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 |
|
Christian Rinderknecht
|
cae817309c
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-24 11:56:46 +02:00 |
|
Christian Rinderknecht
|
340d32eca1
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-24 11:54:21 +02:00 |
|
Galfour
|
0f7f726d13
|
extend camligo simplifier
|
2019-04-24 09:14:43 +00:00 |
|
Christian Rinderknecht
|
561073ca54
|
Minor refactoring of the parser.
Added local subdirectory containing an OCaml stub to build with my own
system (not dune).
|
2019-04-24 11:13:55 +02:00 |
|
Galfour
|
212ccd56c7
|
extend variant cases
|
2019-04-23 17:54:45 +00:00 |
|
Galfour
|
f68d592653
|
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
|
2019-04-23 15:17:39 +00:00 |
|
Galfour
|
ba9b8c4a68
|
make better cli
|
2019-04-23 15:17:28 +00:00 |
|
Georges Dupéron
|
eb20191704
|
Conditional for tests is 'with-test', not 'test'.
|
2019-04-23 16:26:09 +02:00 |
|
Georges Dupéron
|
6d9334a60d
|
opam install --build-test to install the test-only dependencies
|
2019-04-23 15:28:02 +02:00 |
|
Georges Dupéron
|
b57a06de8a
|
Removed dependency on getopt. Explicitly list modules in pascaligo, excluded the Mains and LexerLog
|
2019-04-23 15:21:51 +02:00 |
|
Georges Dupéron
|
ff4804269f
|
Missing dependency: alcotest
|
2019-04-23 14:28:06 +02:00 |
|
Georges Dupéron
|
4dc231956f
|
Missing build-time dependency: rsync
|
2019-04-23 13:59:10 +02:00 |
|
Galfour
|
097c5ca0fb
|
change bin display
|
2019-04-23 07:30:43 +00:00 |
|
Galfour
|
1814d8cbfa
|
add super-counter
|
2019-04-23 07:12:11 +00:00 |
|
Galfour
|
0aa01ddcd8
|
add variant expression pattern-matching
|
2019-04-22 18:56:13 +00:00 |
|
Galfour
|
72f5698c3d
|
add variants
|
2019-04-22 18:15:39 +00:00 |
|
Galfour
|
0a83ea5227
|
dune-capsulate
|
2019-04-22 07:21:59 +00:00 |
|
Galfour
|
55bff7b530
|
lift tests to ast_simplify
|
2019-04-22 03:29:21 +00:00 |
|