Grégoire Henry
b63b333b1a
Alpha: allow to iter on delegates
2018-02-28 14:59:01 +01:00
Grégoire Henry
54efe8fcd7
Alpha: introduce Delegate_storage
2018-02-28 14:59:01 +01:00
Grégoire Henry
4c1e4bc6cd
Alpha: use 'Data_set' for storing the spendable flag
2018-02-28 14:59:01 +01:00
Grégoire Henry
dcc5bc6b1a
Alpha: remove warning
2018-02-28 14:59:01 +01:00
Pietro Abate
88e67707b7
Alpha: aggregate rolls per delegate
2018-02-28 14:59:01 +01:00
Grégoire Henry
6d900e3e52
Alpha: remove index of public keys
...
For delegate keys, we now use the revealed key of the associated
delegate contract.
2018-02-28 14:59:01 +01:00
Grégoire Henry
92f5ad6212
Alpha: forbid delegation to "unregistred delegate".
...
A "registred delegate" is a delegate that previously revealed its
public key and that registred itself as delegate of its own implicit
contract.
An implicit contract can only be delegated to itself ; it is then
considered as a "delegate contract". A delegate contract cannot be
deleted.
2018-02-28 14:59:01 +01:00
Grégoire Henry
3a057ddad1
Alpha/client: add command "reveal key for <contract>"
2018-02-28 14:48:47 +01:00
Grégoire Henry
86561363b2
Alpha: explicit operation for key revelation
2018-02-28 14:48:47 +01:00
Grégoire Henry
fc2cd7ce5c
Alpha: smaller endorsement operations
...
We don't include the delegate pkh in the operation anymore, and we
allow to group multiple endorsements in the same operations.
2018-02-28 14:48:47 +01:00
Grégoire Henry
a875a5f2e9
Alpha: ignore delegate with unrevealed keys when freezing rolls
2018-02-28 14:48:47 +01:00
Grégoire Henry
c78dd51f3d
Alpha: rename "default contract" into "implicit contract"
2018-02-28 14:48:47 +01:00
Grégoire Henry
16758a5c74
Alpha: remove some alphanet specifics
2018-02-28 14:48:47 +01:00
Grégoire Henry
c125f822f5
Alpha: update storage fees policy.
...
Instead of having a minimal amount for contracts, we now burn
token when increasing the size of a contract storage.
2018-02-28 14:48:47 +01:00
Grégoire Henry
892acb0c72
Alpha: Minor style issue
2018-02-28 14:48:47 +01:00
Pietro Abate
7fcc8fa7f9
Alpha: Minor refactoring to may_start_new_cycle
2018-02-28 14:48:47 +01:00
Pierre Chambart
c92f370930
Add check of snapshot availability
2018-02-22 13:29:01 -05:00
Pierre Chambart
cd30ff95e7
Free roll freeze
2018-02-22 13:29:01 -05:00
Pierre Chambart
3b4490129b
Snapshotable storage
2018-02-22 13:29:01 -05:00
Pierre Chambart
3caa5c2260
Add copy to the proto raw_context
2018-02-22 13:24:51 -05:00
Grégoire Henry
f999524887
Proto/env: add missing type equalities
2018-02-20 18:29:56 +01:00
Grégoire Henry
697b291782
Merge `tezos-protocol-environment-{sigs,client}
2018-02-18 17:11:16 +00:00
Grégoire Henry
0e79a65158
Shell: rename Block_header.proto/data
into protocol_data
2018-02-18 17:11:13 +00:00
Grégoire Henry
6fa1283240
Shell: Rename net_id
into chain_id
2018-02-16 02:57:25 +01:00
Benjamin Canou
e2be3360a9
Client: split client-alpha into lib and commands and extract the baker
2018-02-15 22:54:39 +01:00
Vincent Bernardoff
62f436eda9
Base: use Re_str
instead of non-thread-safe library Str
2018-02-15 18:19:17 +01:00
Vincent Bernardoff
f8ded9ca28
Comparable: add Make
2018-02-15 17:36:42 +01:00
Grégoire Henry
7643fa9b15
Alpha: split Services/Services_registration
and Client_proto_rpcs
2018-02-12 16:56:59 +01:00
Grégoire Henry
3b95f77225
Alpha: split Tezos_hash
multiple source files
2018-02-12 16:56:59 +01:00
Grégoire Henry
5fff7b3c1b
Alpha: rename Tezos_context
-> Alpha_context
2018-02-12 16:56:59 +01:00
Grégoire Henry
6a5a235d42
Client refactor: Proto_alpha.Environment
-> Alpha_environment
2018-02-12 16:56:59 +01:00
Grégoire Henry
91143452e3
Proto/env: allow some Lwt
in the construction of rpc_context
2018-02-12 16:54:08 +01:00
Grégoire Henry
db1f134e45
Client refactor: use the error_monad for all RPC services (protocol)
2018-02-12 16:54:08 +01:00
Grégoire Henry
a70a0788d3
Test: quick and dirty port to alcotest
2018-02-12 02:09:00 +01:00
Grégoire Henry
d417a679e6
Alpha/test: fix symbolic link
2018-02-11 19:17:38 +01:00
Grégoire Henry
db500b5ebd
RPC_service: hide the 'error type parameter
2018-02-08 17:23:30 +01:00
Grégoire Henry
1f0c10bc6f
Client refactor: Rename stdlib-lwt
into stdlib-unix
2018-02-08 17:23:30 +01:00
Grégoire Henry
84d8ae9222
Client refactor: Move Data_encoding_ezjsonm.read_file
into Lwt_utils_unix
2018-02-08 17:23:30 +01:00
Benjamin Canou
75f4946072
Alpha: remove unused function
2018-02-07 12:24:01 +01:00
Grégoire Henry
acffadafae
Jbuilder: fix warning
2018-02-07 11:16:39 +01:00
Vincent Bernardoff
e1d1292c09
Crypto: drop libsodium
...
We now use simpler OCaml bindings much easier to review.
2018-02-07 11:16:39 +01:00
Benjamin Canou
8bec8b7b9c
Michelson: add isolate test for big maps
2018-02-06 17:04:49 +01:00
Milo Davis
79472c727a
Michelson: introducing big maps, limited edition
...
Quick and dirty (yet safe, of course) implementation of lazily
deserialized maps for storing large collections of indexed data.
Only one big_map is allowed, as the left component of the toplevel
storage pair.
Review and bugfixes: Benjamin Canou <benjamin@canou.fr>
2018-02-06 17:00:54 +01:00
Benjamin Canou
3d0ec5deb4
Michelson: remove instruction MAP on sets
2018-02-06 16:32:30 +01:00
Grégoire Henry
575e367026
Update copyright notice (2018)
2018-02-05 23:34:05 +01:00
Grégoire Henry
e28219ad60
Opam: update to jbuilder.1.0+beta17
2018-02-05 23:34:05 +01:00
Grégoire Henry
c4c375dfc2
Proto_alpha/test: module renaming
2018-02-05 23:34:05 +01:00
Grégoire Henry
c6bf7d78b6
Proto_alpha/test: split tests.
2018-02-05 23:34:05 +01:00
Grégoire Henry
7929027793
Proto/test: do not depend on shell
...
For the test suite we only use the in-memory context.
2018-02-05 23:34:05 +01:00
Grégoire Henry
971c3c4b21
Refactor: move Registred_protocol
from State
to Tezos_updater
2018-02-05 23:34:05 +01:00