Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update README.md #130

Closed
wants to merge 595 commits into from
Closed

Update README.md #130

wants to merge 595 commits into from

Conversation

FloorLamp
Copy link

Fix formatting typo

Dynamic Ledger Solutions, Inc added 30 commits December 11, 2016 16:34
…MBytes.get_double should be used instead of MBytes.get_float (Float _ encodes doubles in the encoding, not singles)
…ytes.set_double should be used instead of MBytes.set_float (Float _ encodes doubles in the encoding, not singles)
The minimal header now (classically) contains the root of a Merkle tree,
wrapping a list of lists of operations. Currently, the validator only
accept a single list of operations, but the 3+pass validator will
requires at least two lists.
Dynamic Ledger Solutions, Inc and others added 26 commits September 11, 2017 15:15
It was missing the initial 'hop' by `Storage.first_level`.
Fix small delay in nonce revelations when the current head is the last
block of a cycle.
This patch is co-authored with: cagdas.bozman@ocamlpro.com

With this patch the economic protocol is now compiled as as
"functor-pack", parameterized over the environment. This will ease the
protocol reusability outside of the tezos source tree (e.g. for a
michelson Web IDE) and will allow proper unit testing of the economic
protocol.

This functorization allows to break the dependency of the
'tezos-protocol-compiler' on various '.mli' of the node, and hence
we don't need anymore the unusual compilation schema:

  a.mli -> b.mli -> b.ml -> a.ml

where 'A' is linked after 'B' but 'a.mli' should still be compiled
before 'b.mli'. This will simplify a switch to 'ocp-build' or 'jbuiler'.
Fix formatting typo
@hnrgrgr
Copy link
Contributor

hnrgrgr commented Feb 2, 2019

Closing all MR in github, please use https://gitlab.com/tezos/tezos instead.

@hnrgrgr hnrgrgr closed this Feb 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants