Galfour
372c488dd7
parse sample file
2019-04-11 23:16:14 +00:00
Georges Dupéron
dffdc766fc
Lazy construction of error and trace messages so that the happy path is faster
2019-04-11 18:56:36 +02:00
Galfour
c0b5ad05cf
refactor mini_c
2019-04-10 12:47:55 +00:00
Galfour
6bca49fb8b
more heaps
2019-04-10 12:09:32 +00:00
Galfour
c8bd6c8893
add map update
2019-04-10 09:28:52 +00:00
Galfour
95d901a43d
tmp
2019-04-09 20:42:04 +00:00
Galfour
55622c3c1b
add loop ; fix bug in sub-scope affectation
2019-04-09 13:25:14 +00:00
Galfour
2eeea19ecb
non-atomic commit: refactor ; add Nat to lexer and parser ; improve multifix ; start heap tests
2019-04-09 09:05:08 +00:00
Galfour
d98f92ce9c
more housekeeping ; add programs to multifix-parser
2019-04-07 16:29:14 +00:00
Galfour
d12ec7d4eb
housekeeping
2019-04-07 14:01:50 +00:00
Galfour
8f518a508f
tests pasS
2019-04-07 13:59:36 +00:00
Galfour
e9f90858a2
integration
2019-04-06 11:18:55 +00:00
Galfour
7d6ce14a70
pass tests
2019-04-06 07:34:48 +00:00
Galfour
91618eda7f
generating token files
2019-04-05 21:27:34 +00:00
Galfour
8657509bd7
moving stuff around
2019-04-05 17:54:10 +00:00
Galfour
aca086e5e7
multifix + restructure
2019-04-05 15:37:37 +00:00
Georges Dupéron
8edada0f6c
Refactoring: remove make_ combinators in ast_typed and use optional argument instead
2019-04-02 18:38:38 +02:00
Christian Rinderknecht
206a3dbd35
Added traces for system and command errors. Added handling of #include.
2019-04-02 17:21:08 +02:00
Georges Dupéron
ee190174fe
Fixed README
2019-04-02 16:49:30 +02:00
Christian Rinderknecht
3a1ec72ed1
Removal of Georges' first typechecker.
2019-04-02 16:47:21 +02:00
Christian Rinderknecht
e0cac4bd50
Factored the parsing of case constructs for expressions and instructions.
2019-04-02 10:22:47 +02:00
Christian Rinderknecht
5829982c65
Preprocessed file has now extension .pp.ligo.
2019-04-01 21:01:45 +02:00
Christian Rinderknecht
99defca21a
Added alternate syntax for "case" constructs (both expression and instruction).
...
New syntax: case ... of [ ... ]
2019-04-01 20:59:37 +02:00
Christian Rinderknecht
9a4ff35fc7
Factorised the "case" constructs into one.
2019-04-01 18:16:06 +02:00
Georges Dupéron
e54c5e0c42
Renaming (WIP)
2019-04-01 15:48:12 +02:00
Christian Rinderknecht
24b9b9f5ce
Forgot to patch simplify.ml to accept the new AST (for record types).
2019-04-01 15:02:13 +02:00
Christian Rinderknecht
0d98252fa0
Added alternate syntax for record types, with brackets.
...
New syntax: record [...]
2019-04-01 14:51:07 +02:00
Georges Dupéron
b1502106e9
Fixed shadowing issue
2019-04-01 14:18:41 +02:00
Georges Dupéron
f81c9868f8
Typo
2019-04-01 13:56:03 +02:00
Galfour
5cf1dc7270
rename mini-c
2019-04-01 10:45:39 +00:00
Galfour
7bb594af0c
rename ast-typed
2019-04-01 09:37:40 +00:00
Galfour
2de68d4a00
rename ast-simplified
2019-04-01 09:03:38 +00:00
Galfour
f8dcca8a12
add expression pattern-matching
2019-04-01 08:12:48 +00:00
Galfour
c7a7f0065a
mend
2019-03-30 22:06:10 +00:00
Galfour
f19f3fd785
map tests
2019-03-30 18:38:21 +00:00
Galfour
941dadeb3b
added matching tests
2019-03-30 00:53:11 +00:00
Galfour
0e8ba13660
added tuples
2019-03-29 19:44:14 +00:00
Galfour
f5d9fa8266
added maps
2019-03-29 15:47:56 +00:00
Galfour
c3c4473a0b
tests for multiple parameters + records
2019-03-29 14:05:43 +00:00
Georges Dupéron
c6f74061ef
Test for lambda
2019-03-28 17:24:12 +01:00
Georges Dupéron
e58cf2a19d
Refactored typer tests + test for constructor
2019-03-28 15:56:32 +01:00
Galfour
e184903a4f
power merge
2019-03-28 14:43:49 +00:00
Galfour
3bc925cac3
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
2019-03-28 13:43:11 +00:00
Galfour
7f52774c06
multiple parameters allegedly work
2019-03-28 10:55:24 +00:00
Galfour
2ae73f80a9
multiple parameters
2019-03-28 10:26:25 +00:00
Christian Rinderknecht
98cf3a689d
The only reserved name now is "args", for the backends' sake.
2019-03-28 09:21:32 +01:00
Christian Rinderknecht
01128b6518
Fixed pattern matching of lists.
...
New syntax: nil -> ... | list [...] -> ... | list .... end -> ...
2019-03-27 18:17:23 +01:00
Christian Rinderknecht
baffeeb6eb
Series of instructions can now be interleaved with data declarations.
2019-03-27 16:13:57 +01:00
Galfour
4025e9e169
rewriting
2019-03-27 13:02:38 +00:00
Georges Dupéron
7f617263db
Unplugged AST2 and Typecheck2 which are not used anymore and break the build
2019-03-27 11:31:16 +01:00
Georges Dupéron
4bf32a8378
Disable git commit in Version.ml for now
...
It does not work well with opam install, especially if the dune file is not at the root of the repository.
2019-03-27 11:21:45 +01:00
Georges Dupéron
813b405a04
Turn ligo-parser into a library (was executable)
2019-03-27 11:21:10 +01:00
Georges Dupéron
b5dc0c9e64
Merge AST_with_records into master
2019-03-27 11:17:20 +01:00
Georges Dupéron
4ffccb8dad
Moved all files into src/ligo/ligo-parser prior to merge into the main code base
2019-03-27 11:16:20 +01:00
Georges Dupéron
ea358f7101
Removed manual copy of ligo-parser prior to merging Christian's history
2019-03-27 11:13:15 +01:00
Galfour
89a7821e87
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
2019-03-27 06:30:14 +00:00
Galfour
7716f78139
more tests
2019-03-27 06:30:05 +00:00
Georges Dupéron
e342c278d7
Some typer tests for expressions
2019-03-26 16:20:40 +01:00
Galfour
5507482b2d
test for condition
2019-03-26 09:59:20 +00:00
Galfour
1fe74323be
more tests
2019-03-26 08:36:22 +00:00
Galfour
043387ec14
better test
2019-03-26 07:28:01 +00:00
Galfour
10bcecc490
basic top level
2019-03-25 20:52:09 +00:00
Georges Dupéron
984fa24ca6
Installation seems to work using README_INSTALL
2019-03-25 17:16:46 +01:00
Georges Dupéron
1ec945fa4b
Installation commands (temporary)
2019-03-25 14:38:06 +01:00
Georges Dupéron
afca07d888
This version of OCaml (4.06.1 with dune/opam) seems to not like shadowing vs. open
...
The shadowing worked fine with a standalone ocaml 4.07.1 (no dune or opam use)
2019-03-25 14:38:06 +01:00
Georges Dupéron
3cb9a311ee
Disable git commit in Version.ml for now
...
It does not work well with opam install, especially if the dune file is not at the root of the repository.
2019-03-25 14:38:06 +01:00
Georges Dupéron
f614c692d1
Initial import of Rope library
2019-03-25 14:38:06 +01:00
Galfour
f08b0e155b
fixed tezos-utils.opam
2019-03-25 07:48:43 +00:00
Galfour
7ba31d4d7d
introspection
2019-03-24 18:53:20 +00:00
Galfour
47c8e96e95
more basic structure
2019-03-24 17:35:43 +00:00
Galfour
ccd4a17aac
pipeline works
2019-03-23 13:47:18 +00:00
Galfour
ecefa598f7
ez run main
2019-03-23 12:48:20 +00:00
Galfour
9adbbb34bc
pipeline ok
2019-03-23 10:52:25 +00:00
Galfour
0ffd3d4b64
tmp
2019-03-22 20:08:37 +00:00
Galfour
66974949b2
first working example of the whole pipeline
2019-03-21 21:37:44 +00:00
Galfour
0975f71059
tmp
2019-03-21 14:53:09 +00:00
Galfour
8819422542
pre big modif
2019-03-20 22:04:39 +00:00
Galfour
d23c49920c
tmp
2019-03-20 17:25:32 +00:00
Galfour
a9f88e3ddf
tmp
2019-03-20 17:06:12 +00:00
Galfour
1918bc00d1
tmp
2019-03-20 14:54:30 +00:00
Galfour
fa4b570950
translations from typed-ligo to mini-c
2019-03-14 18:22:51 +00:00
Galfour
7cc6a681b1
add ligo-parser
2019-03-13 21:04:02 +00:00
Galfour
84dbf1f7ee
add ligo
...
remove old lib_ligo
modified ligo opam
2019-03-13 14:17:19 +00:00
Galfour
ff48226748
add ligo-helpers
...
moved helpers
modified ligo-helpers opam
2019-03-13 14:14:45 +00:00
Galfour
c449a76841
add meta-michelson
...
moved meta-michelson
modified meta-michelson
2019-03-13 14:11:55 +00:00
Galfour
b197c30299
modify proto-alpha
2019-03-13 11:56:49 +00:00
Galfour
4b4c450b9a
add tezos-utils
2019-03-13 11:12:15 +00:00
Galfour
cd86fea0e2
add memory-protocol-alpha
2019-03-13 10:26:29 +00:00
Elliot Cameron
6ce10791b0
Ledger: add deauth APDU support, better get-authorized-key support, and friendlier CLI
2019-03-06 16:05:23 +00:00
Grégoire Henry
c842ef6a2d
Opam: fix protocol packaging
2019-03-06 15:25:56 +01:00
Pierre Boutillier
7e4a70fac8
Remove peer from active_peers when Peer_validator.create has failed
2019-03-06 10:35:55 +01:00
Grégoire Henry
3e2172b2dd
Distributed_db: don't fail when receiving a notification for a closing worker
2019-03-06 10:35:55 +01:00
Grégoire Henry
a3379065ea
Distributed_db: fix concurency issue on Peer_validator creation
2019-03-06 10:35:54 +01:00
Benjamin Canou
eba7f5ac8c
Dune: fix dune.inc for added file in proto demo
2019-03-06 00:42:06 +01:00
Grégoire Henry
28f680ab91
Dune: remove src in proto_*/lib_protocol
2019-03-05 22:45:21 +00:00
Grégoire Henry
c3dd98dc0f
Dune: do not use the infamous "OCaml syntax" anymore
...
In the process, we merged the two opam file and the functorized
version now properly reads `TEZOS_PROTOCOL`.
2019-03-05 22:45:21 +00:00
Grégoire Henry
b7c2546e5b
Daemon: await_bootstrapped_node now retries on Connection_failed
...
This allows the baker/endorser/accuser to wait a litlle bit for the
node to initialize itself and to open its RPC port.
By default, the deamon retries 6 times with a total waiting time
around 20 seconds, before to fail.
2019-03-05 17:33:02 +01:00
Marco Stronati
32a1d2647c
Opam: remove unused dependencies from alpha-{baker,endorser,accuser}
2019-02-28 13:05:19 +01:00
Grégoire Henry
9abcd0e55f
P2p: change configuration of P2p_maintenance
...
It feels more coherent not to configure `P2p_pool` with parameters
only for `P2p_maintenance`.
2019-02-28 13:45:11 +08:00
Sebastien Mondet
10c37f153d
Make 2-min sleep configurable (P2p_maintenance)
2019-02-28 13:45:05 +08:00
