balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,840 Commits 2 Branches 0 Tags 65 MiB
892f813a6c
Commit Graph

4840 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Benjamin Canou
d72746c990 Michelson (docs): fixed forward example. 2017-01-20 13:25:28 +01:00
Benjamin Canou
52ec257e1d Michelson (docs): fixed scrutable reservoir example. 2017-01-20 13:25:28 +01:00
Benjamin Canou
5e06b9c719 Michelson (docs): fixed reservoir example. 2017-01-20 13:25:28 +01:00
Benjamin Canou
3a149af667 Utils: include error id in the default error pretty printer. 2017-01-20 13:25:28 +01:00
Benjamin Canou
c472dbdfa4 Michelson: towards better typechecking error reports. 2017-01-20 13:25:28 +01:00
Benjamin Canou
3cce0f3d1d Michelson: fix and extend macro expansion. 
fixes #114
fixes #115
 2017-01-20 13:25:14 +01:00
Benjamin Canou
507c46bbcb Michelson: get rid of tagged data notation. 2017-01-20 13:25:14 +01:00
Benjamin Canou
26e1adc143 Michelson: rename void into unit. 2017-01-20 13:25:14 +01:00
Benjamin Canou
98859dbf30 Michelson (docs): rewrite intro + doc fixes. 2017-01-20 13:25:09 +01:00
Benjamin Canou
6bfbb0d300 Michelson: enforce case sensitivity. 2017-01-20 13:24:46 +01:00
Benjamin Canou
8b8ce63590 Michelson: fix missing type equality. 
fixes #111
 2017-01-20 13:24:24 +01:00
Grégoire Henry
77ccf7ad34 Merge branch 'p2p' into 'master' 
Split the p2p layer in multiple files

See merge request !132
 2017-01-19 10:31:50 +01:00
Grégoire Henry
26ce72bc18 P2p: remove functors and rename recv into recv_any. 
This allows to export the underlying `P2p_connection_pool.recv`
that will be used in the refactored distributed DB.
 2017-01-19 10:26:45 +01:00
Grégoire Henry
ef514eb70e OPAM: ugly temporary hack for typerex-build to compile 2017-01-19 10:26:45 +01:00
Grégoire Henry
eee67406a5 CI: some unit tests for the p2p layer 2017-01-19 10:26:45 +01:00
Vincent Bernardoff
e1692ed9bf Shell: use the new P2P backend 2017-01-19 10:26:45 +01:00
Grégoire Henry
d9fc93a5c0 Shell: implement P2p_{maintenance,discovery}. 2017-01-19 10:26:45 +01:00
Grégoire Henry
b694a62810 Shell: implement P2p_{connection_pool,welcome} 2017-01-19 10:26:45 +01:00
Grégoire Henry
6d47cb2c8f Shell: implement P2p_connection 2017-01-19 10:21:21 +01:00
Grégoire Henry
2ed8bf2cfa Shell: implement P2p_io_scheduler 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
7f091b38b9 Shell: add Crypto_box.Public_key_hash 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
0b6aa16ca7 Shell: improve logging (prepend the current time) 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
5eb8d0077a Shell: add Data_encoding.Binary.fixed_length 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
22ae4dbf45 Shell: simplify the signature of Hash.Hash_table 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
1f7f9b369d Shell: improve Lwt_pipe 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
6b3e002285 Shell: improve Lwt_utils 2017-01-19 10:21:21 +01:00
Vincent Bernardoff
0027d70158 Shell: improve Error_monad 2017-01-19 10:21:17 +01:00
Vincent Bernardoff
98fd45ab9f Shell: add Ring 2017-01-19 10:21:17 +01:00
Vincent Bernardoff
ad035d7679 Shell: add Time.{Map,Set,Table} 2017-01-19 10:21:17 +01:00
Vincent Bernardoff
a891e23741 Shell: improve Utils 
- unopt_map
- list_{sub,rev_sub}
- take_n
- Bounded
 2017-01-19 10:21:17 +01:00
Grégoire Henry
df81d95614 Shell: update to lwt.2.7.0 2017-01-14 13:12:55 +01:00
Grégoire Henry
7689021810 CI: less build artifacts 2017-01-02 14:49:56 +01:00
Eitan Chatav
28b4c8e6ef Minimal attacker node. 2017-01-02 13:33:11 +01:00
Grégoire Henry
61bea21033 Merge branch 'rpc-tls' into 'master' 
Rpc tls

See merge request !128
 2017-01-02 09:36:39 +01:00
Grégoire Henry
77ba592448 Opam: depends on ssl. 2017-01-02 09:21:36 +01:00
Arthur Breitman
86039e5d88 typo left/right in language description 2016-12-25 08:39:49 -08:00
Jeremie Dimino
b54a473196 114.20+69 2016-12-23 15:32:23 +00:00
Jeremie Dimino
61368ef5d3 114.20+69 2016-12-15 11:20:46 +00:00
Benjamin Canou
63aeab5bb9 RPC: use the external TLS implementation. 2016-12-14 16:45:37 +01:00
Benjamin Canou
8360b4e407 RPC: fixes some comments. 2016-12-14 16:40:42 +01:00
Benjamin Canou
8264ec111a Client: do not eat some error messages. 2016-12-14 16:39:42 +01:00
Benjamin Canou
19d3604441 Merge branch 'fix-node-exit' into 'master' 
Node: catch correct P2P exn

See merge request !127
 2016-12-14 12:04:04 +01:00
Vincent Bernardoff
cdb34ca7d3 RPC: TLS bugfixes 2016-12-13 01:52:55 +01:00
Vincent Bernardoff
59881cde32 RPC: Add TLS on the client 2016-12-13 00:47:23 +01:00
Vincent Bernardoff
77506ac4b5 RPC: Fix doc 2016-12-13 00:45:46 +01:00
Vincent Bernardoff
42b30f7bd2 RPC: Add TLS 2016-12-13 00:45:46 +01:00
Vincent Bernardoff
01fe34bc4b Node: catch correct P2P exn 2016-12-09 18:18:59 +01:00
Grégoire Henry
5c428a5ea3 CI: avoids broken packages 
Otherwise:

```
The actions to process have cyclic dependencies:
  - install bos.0.1.4 -> install base64.2.1.2 -> install js_of_ocaml.2.8.3 -> install mtime.0.8.3 -> install bos.0.1.4
  - install bos.0.1.4 -> install base64.2.1.2 -> install js_of_ocaml.2.8.3 -> install logs.0.6.2 -> install bos.0.1.4
```
 2016-12-09 11:19:24 +01:00
damian
37124411df Fix issues with relative paths, fix code style 2016-12-09 10:38:42 +01:00
Grégoire Henry
f7f5f21e46 Fix make build-deps 
The amended script is now able to handle new dependency in the opam file.
It also abloe to handle `test` attributes.
 2016-12-08 16:33:01 +01:00