Milo Davis
5bf5f09fbc
Emacs: vertical stack printing and suggestions
2017-08-24 21:07:58 +02:00
Milo Davis
bbf9df021b
Fix bug in launch node script
2017-08-24 21:07:58 +02:00
Milo Davis
62a10de372
Michelson: adds SIZE for sets and maps
2017-08-24 16:02:23 +02:00
Milo Davis
13c147016f
Adds test for default account creation/deletion
2017-08-24 16:00:28 +02:00
Grégoire Henry
2c8b46a835
Utils: fix Utils.take_n in presence of duplicates
2017-08-22 22:07:29 +02:00
Zhenya Roubinchtein
662cc6a8ee
Michelson: small documentation fix-up.
2017-08-22 20:40:26 +02:00
Alex Coventry
04ce0c1f5d
Utils: various doc improvements
2017-08-22 20:39:59 +02:00
Alex Coventry
59b5b2df49
Utils: fix list_rev complexity.
...
Using fold_left here iterates over the entire list, whereas you only
need to iterate over the first `n` elements.
2017-08-22 20:22:27 +02:00
Grégoire Henry
4c7d4a8348
P2p: comment out dead code
2017-08-22 14:56:15 +02:00
Grégoire Henry
ba6e78900c
Makefile: fix compat issue with macOS.
2017-08-22 14:55:46 +02:00
Grégoire Henry
90f9ab4200
Makefile: fix node.top
2017-08-19 12:45:09 +02:00
Grégoire Henry
777ff19dcd
Michelson: remove a spurious rule
...
This should have been removed when floats were removed from the
language.
2017-08-19 12:13:13 +02:00
Grégoire Henry
0585be23a5
Update Readme.md
2017-08-19 12:03:06 +02:00
Henrik Jonsson
f7d596ac50
scripts: Set 'echo -e' to make text colors work in alphanet.sh
...
Before this change, output from `alphanet.sh` looked like the following:
```
New contract alias 'my_account' saved.
Contract memorized as my_account.
\033[32mThe node is now running.\033[0m
\033[32mThe baker is now running.\033[0m
\033[32mThe endorser is now running.\033[0m
\033[33mWarning: the container contains a new version of 'alphanet.sh'.\033[0m
\033[33mYou might run './scripts/alphanet.sh update_script' to synchronize.\033[0m
```
I.e. control characters showed up, instead of modifying the color of the text
output. Repro'd on Container Linux (CoreOS) 1492.3.0.
After this change, `The node is now running` shows up in green &c.
2017-08-19 11:06:15 +02:00
Bayle Shanks
1436286fd6
doc typo set::MEM (again)
...
This pull request is identical to recently closed #19 , but applied to the current head. I think #19 may have been closed erroneously. If MEM takes as an input a set of elements of type 'elt, then if it also takes another input which is an element to test for membership, clearly that other input must be of type 'elt.
If #19 was not closed erroneously, then please explain, and i will stop reopening this issue.
2017-08-19 10:55:09 +02:00
Milo Davis
8d852993ff
Michelson: Add LAMBDA to the language spec
2017-08-18 19:09:46 +00:00
Milo Davis
804c3a4886
Michelson: Enforces ordering on data
2017-08-18 18:20:13 +02:00
Milo Davis
fe871e9ecd
Michelson: Fixes reversed list bug
2017-08-18 18:14:17 +02:00
Grégoire Henry
ebbb3a1ac0
CI: minor bugfix
2017-08-17 19:26:13 +02:00
Benjamin Canou
7c586aaf25
Reset the chain (on-disk storage updated)
2017-08-17 14:54:34 +02:00
Grégoire Henry
a31bb86a63
CI: minor tweaks
2017-08-17 13:12:22 +02:00
Grégoire Henry
a01f786de4
Update to irmin.1.3
2017-08-16 11:12:51 +02:00
Grégoire Henry
571e87dacb
Update to mtime.1.0
2017-08-16 10:53:43 +02:00
Grégoire Henry
b8ccfeb0cf
Makefile: fix utop rules
2017-08-16 10:52:36 +02:00
Grégoire Henry
67bbf11a12
CI: use our own docker image of opam
2017-08-16 10:52:36 +02:00
Benjamin Canou
9ae9f3f4b7
Node: fix misplaced logging message
2017-08-11 15:24:38 +02:00
Milo Davis
762e36abab
Adds sandbox launching script
2017-08-11 13:01:46 +00:00
Milo Davis
299ebe3865
Testing: Tests multiple nodes
2017-08-11 13:01:46 +00:00
Grégoire Henry
bd7596005f
Add CHANGES.alphanet.
2017-08-11 14:49:24 +02:00
Grégoire Henry
af16d9d62c
Add scripts/README.alphanet.
2017-08-10 16:08:58 +00:00
Milo Davis
4c31d084e1
Improves error messages and defaults for transfer -arg
2017-08-10 09:03:28 +00:00
Grégoire Henry
58b53d79c5
CI: fix the 'deploy' rules of alphanet/zeronet
2017-08-09 21:55:59 +02:00
Milo Davis
866b316993
Michelson: adds tests for DEFAULT_ACCOUNT
2017-08-08 16:07:47 +00:00
Grégoire Henry
30b2cd3e0e
Update protocol version
2017-08-08 16:49:56 +02:00
Milo Davis
953a319022
Michelson-mode: async, cache, and refactorings
2017-08-08 14:06:24 +00:00
Milo Davis
3255fc8cd8
Alphanet: automatically copy files into container
2017-08-08 14:06:24 +00:00
OCamlPro-Iguernlala
fbacfff9e6
P2p: use incremental encoding/decoding
2017-08-08 11:22:05 +02:00
Grégoire Henry
32fa712e13
Prevalidation: minor bugfix.
2017-08-07 08:29:52 +02:00
Grégoire Henry
eed9e7581d
Update CI
2017-08-04 18:32:52 +02:00
Grégoire Henry
974d4ddd9e
Fix .dockerignore
2017-08-04 18:32:11 +02:00
Grégoire Henry
a30d1a615c
Update to ocaml.4.04.2
2017-08-04 18:31:31 +02:00
Benjamin Canou
31a2728909
Michelson: fix typo in runtime error message
2017-07-28 15:05:23 +02:00
Milo Davis
69736ec55b
Michelson: updates test suite to use int and nat
2017-07-27 18:24:08 +02:00
Milo Davis
98c96be749
Michelson: updates spec to use int and nat
2017-07-27 18:24:08 +02:00
Fabrice Le Fessant
ed04fc3d01
Michelson: add the .mli of the typechecker
2017-07-26 15:19:05 +02:00
Fabrice Le Fessant
4dd1ef9988
Michelson: replace all numbers with only int and nat
2017-07-26 15:19:05 +02:00
Milo Davis
efdf8c74eb
Michelson: better propagation and printing of errors to the client
2017-07-26 14:08:49 +02:00
Justin Carter
df2d6713b5
Alpha: fix spelling of substraction
2017-07-25 17:46:36 +02:00
Justin Carter
8ba1130ee3
Client: derive the public key from the secret key when adding to wallet
...
That way we do not need to require the public key be added before hand
making the workflow nicer.
2017-07-25 17:46:25 +02:00
Wyatt Sullivan
cca69e409d
Node: fix typo in config variable name
2017-07-25 17:46:05 +02:00
