balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,820 Commits 2 Branches 0 Tags 65 MiB
fcec030d51
Commit Graph

46 Commits

Author SHA1 Message Date
Alain Mebsout
1fccffb61c Michelson: keep field annotations in SET_CADR, MAP_CADR macros 2018-06-14 18:09:32 +02:00
Alain Mebsout
040fa2a075 Michelson: special annotations %@ and @% 2018-06-14 18:09:32 +02:00
Alain Mebsout
fcd9b61084 Michelson: annotations must start with _a-zA-Z or be empty 
Empty annotations are used to mean no annotation, or as a wildcard when
destructing pairs for instance.
 2018-06-14 18:09:32 +02:00
Alain Mebsout
6dacd8f6a5 Michelson: Force annotations of the same kind to be grouped 2018-06-14 18:09:32 +02:00
Alain Mebsout
1748f370fc Michelson: Remove binding annotations 
Use RENAME in code blocks instead.
 2018-06-14 18:09:32 +02:00
Alain Mebsout
b61df9d816 Doc: fix LOOP_LEFT type 2018-06-14 18:09:32 +02:00
Alain Mebsout
703a12f681 Michelson: new (nop) opcodes CAST and RENAME 
Removes RENAME macro
 2018-06-14 18:09:32 +02:00
Alain Mebsout
e8329b1fc3 Michelson: do not infer pair field names and fail when fields differ 2018-06-14 18:09:32 +02:00
Alain Mebsout
821c6255dc Michelson: annotation fixes to match the spec 2018-06-14 18:09:32 +02:00
Alain Mebsout
c63e9b6960 Doc: Documentation for Michelson annotations and new macros 2018-06-14 18:09:32 +02:00
bruno
5452d89f6c Documentation: minor improvements 
- link to OPAM2 rc2
- fix some broken links
- add x86_64 restriction for the installation scripts
- misc rephrasing.
 2018-06-14 00:15:46 +00:00
Grégoire Henry
022944c662 Doc: minor typo 2018-06-04 14:07:53 +02:00
Raphaël Proust
c3ff6867a1 Whitedoc/POS: typo 2018-06-04 13:53:29 +02:00
Raphaël Proust
17457ef0a3 Whitedoc/Michelson: minor improvements 2018-06-04 08:41:46 +08:00
Benjamin Canou
a425b3dc27 Michelson: cleanup iterator opcodes 2018-05-28 17:09:03 +02:00
Benjamin Canou
c57458ea01 Michelson: fix inconsistency when reading and printing strings 2018-05-28 17:09:03 +02:00
Benjamin Canou
530427c813 Michelson: unpair input of CHECK_SIGNATURE 2018-05-28 17:09:03 +02:00
Benjamin Canou
a11e0000e7 Michelson: add SET_DELEGATE opcode 2018-05-28 17:09:03 +02:00
Benjamin Canou
af5a8939cf Alpha: originations from contracts are now internal operations 2018-05-28 17:09:03 +02:00
Benjamin Canou
303c43b742 Michelson: add AND of int and nat 2018-05-28 17:09:03 +02:00
Benjamin Canou
3cc88d0d81 Docs: update Michelson spec to the new address type 2018-05-28 17:09:03 +02:00
Benjamin Canou
5579d3cc97 Michelson: add untyped address type, and instructions ADDRESS and CONTRACT 2018-05-28 17:09:03 +02:00
Benjamin Canou
46efb6f3b3 Docs: update Michelson spec to the new semantics 2018-05-28 17:09:03 +02:00
Benjamin Canou
be4deb44bf Michelson: minor fix in documentation 2018-05-28 17:09:03 +02:00
Benjamin Canou
676a64b81f Michelson: rename DEFAULT_ACCOUNT to IMPLICIT_ACCOUNT 2018-05-28 17:09:03 +02:00
Vincent Bernardoff
add0d12963 Doc: typo 2018-05-25 10:12:48 +02:00
Grégoire Henry
f8247ff6c9 Doc/Proof_of_stake: minor update 2018-05-12 23:09:17 +02:00
Raphaël Proust
771f937792 Doc: typo fixes 
Note: this is only fixing typos highlighted by a spellchecker. More
typos and errors probably still lurk.
 2018-05-10 12:46:16 +08:00
Pietro
0f1916981b [doc] Reword section in gretlist in p2p.rst 2018-05-03 16:03:01 +02:00
Pietro
a436b81a35 Doc: Typo 2018-05-03 16:03:01 +02:00
Vincent Bernardoff
b3df4e63c8 [P2P] ACLs: cosmetics, renamings, comments 2018-05-03 16:03:01 +02:00
Pietro
02838a4cbc p2p,node,client: Add Greylists 
- add admin commands to ban and unban ips and peers
- add greylist_timeout option to configuration file (node)
- Add greylist modules + RPC
 2018-05-03 16:03:01 +02:00
Jonathan
92ee761451 Doc: fixed typo s/developper/developer/ 2018-04-18 14:21:42 +02:00
Vincent Bernardoff
684fe1110b P2P: doc and associated minor changes. 2018-03-01 14:16:33 +01:00
Vincent Bernardoff
79e39b15eb Docs: fix typos in validation 2018-03-01 14:16:33 +01:00
Benjamin Canou
ac0a685769 Docs: add doc on OPAM packages/source code architecture 2018-02-20 22:40:42 +00:00
Benjamin Canou
138407d33a Docs: s/net/chain/ in validation drawing 2018-02-20 22:40:40 +00:00
Grégoire Henry
6fa1283240 Shell: Rename net_id into chain_id 2018-02-16 02:57:25 +01:00
Benjamin Canou
4820aa6098 Docs: document the validator structure 2018-02-12 03:04:40 +01:00
bruno
0241ccd8b0 Docs: Michelson: fix typos 2018-02-07 12:44:33 +01:00
Milo Davis
c108b0cfd8 Michelson: document big maps 2018-02-06 17:04:49 +01:00
Bruno Bernardo
ec86dea35f Docs: various small fixes in Michelson spec 2018-02-06 16:32:39 +01:00
Bruno Bernardo
518a07d5e4 Docs: add missing semantics for some Michelson instructions 
Co-authored with: Benjamin Canou <benjamin@canou.fr>
 2018-02-06 16:32:34 +01:00
Benjamin Canou
3d0ec5deb4 Michelson: remove instruction MAP on sets 2018-02-06 16:32:30 +01:00
Arthur B
5823c0e6f7 PoS doc 2018-01-26 17:13:33 +00:00
Benjamin Canou
adf860ea40 Docs: new documentation structure using Sphinx/RST 
- Provides a toplevel documentation structure using Sphinx
 - Adds a `doc-html` target to the main Makefile
 - Converts existing documentation to RST format
 - Add some new documentation / tutorials
 - Links the developer manual and OCaml documentation
 - Synchronized documentation on Gitlab pages

This patch is co-authored by:
 - Benjamin Canou <benjamin@canou.fr>
 - Bruno Bernardo <bernardobruno@gmail.com>
 - Pietro Abate <pietro.abate@inria.fr>
 2018-01-23 08:02:17 +01:00