Commits · sapling-integration · Metastate / tezos

18 Nov, 2020 40 commits
- Doc: add Sapling integration · 7b510172
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
Co-Authored-By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>
Co-Authored-By: Danny Willems <contact@danny-willems.be>
```
  7b510172
- Tests_python: add Sapling integration tests · 8cb1a097
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
Co-Authored-By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>
Co-Authored-By: Danny Willems <contact@danny-willems.be>
```
  8cb1a097
- Proto/Client: add support for sapling commands · 7e22cfe7
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
Co-Authored-By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>
Co-Authored-By: Danny Willems <contact@danny-willems.be>
```
  7e22cfe7
- Proto/Test: tests for Sapling · 82aabf32
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Several tests at raw_context, alpha_context and interpreter level.

Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
```
  82aabf32
- Proto/Migration: init Sapling storage · 3bc51e08
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  3bc51e08
- Proto/Sapling: add final gas model · 884f2254
  Ilias Garnier authored Nov 04, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  884f2254
- Proto: integrate Sapling into storage and Michelson interpreter · 8b8fe948
  Marco Stronati authored Jul 28, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
Co-Authored-By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>
```
  8b8fe948
- Proto: expose Lazy_storage.apply for writing tests · 852e53ef
  Marco Stronati authored Jul 28, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  852e53ef
- Proto/Storage: add Carbonated_data_set_storage · 85142973
  Mehdi Bouaziz authored Jul 28, 2020
  
  85142973
- Env1: expose lib_sapling · 5a034401
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
Co-Authored-By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>
```
  5a034401
- add lib_sapling · 6d4b3f59
  Marco Stronati authored Jul 02, 2020 and Mehdi Bouaziz committed Nov 18, 2020
```
Co-Authored-By: Marco Stronati <marco@stronati.org>
Co-Authored-By: Marc beunardeau <marc.beunardeau@nomadic-labs.com>
Co-Authored-By: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>
Co-Authored-By: Danny Willems <contact@danny-willems.be>
```
  6d4b3f59
- Tests/Python: FAILWITH on bigmaps is not disallowed · 73163896
  Mehdi Bouaziz authored Nov 17, 2020
  
  73163896
- Proto/Michelson: restrict FAILWITH to packable types · 5deb0b5f
  Mehdi Bouaziz authored Nov 12, 2020
  
  5deb0b5f
- Protocol/coq-of-ocaml: ignore a coq-of-ocaml linting error · d794cd46
  Guillaume Claret authored Nov 17, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  d794cd46
- Protocol/coq-of-ocaml: use plain modules at the top-level of the environment · 917553e6
  Guillaume Claret authored Aug 17, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  917553e6
- Protocol/coq-of-ocaml: replace 'with module' by 'with type' · 3a372e63
  Guillaume Claret authored Oct 16, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  3a372e63
- Protocol/coq-of-ocaml: Name the signatures of the environment · a13d0cd5
  Guillaume Claret authored Mar 24, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  a13d0cd5
- Protocol/coq-of-ocaml: Name the tag_size type · e0945a9f
  Guillaume Claret authored May 04, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  e0945a9f
- Protocol/coq-of-ocaml: Name the key_or_dir type · 990faaae
  Guillaume Claret authored Apr 22, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  990faaae
- Python: update regtest · 2f391b46
  Lucas Randazzo authored Nov 17, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  2f391b46
- Proto/Gas: update gas models for Combs · 5eaae62b
  Lucas Randazzo authored Nov 17, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  5eaae62b
- Tests/Python: regenerate regression traces · be47616f
  Ilias Garnier authored Nov 16, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  be47616f
- Proto/Gas: improve accounting for typechecking set and map literals · c4e6f2f4
  Ilias Garnier authored Oct 09, 2020 and Mehdi Bouaziz committed Nov 18, 2020
  
  c4e6f2f4
- Proto/Michelson: do parse_comparable_data correctly · b1c5ec63
  Mehdi Bouaziz authored Nov 13, 2020
  
  b1c5ec63
- Proto/Michelson: split parse_data, part 2 · 8bb015e6
  Mehdi Bouaziz authored Nov 13, 2020
  
  8bb015e6
- Proto/Michelson: add depth to comb_witness · 8332ca79
  Mehdi Bouaziz authored Nov 13, 2020
  
  8332ca79
- Proto/Michelson: split parse_data, part 1 · 2f13e9c9
  Mehdi Bouaziz authored Nov 13, 2020
  
  2f13e9c9
- Tests/Python: update regression traces · 6bbcfc90
  Mehdi Bouaziz authored Nov 13, 2020
  
  6bbcfc90
- Tests/Proto: use comparable type for big_map key type · 73dc9f67
  Mehdi Bouaziz authored Nov 13, 2020
  
  73dc9f67
- Proto/Michelson: use comparable_ty for big_map key type · f1ec5b78
  Mehdi Bouaziz authored Nov 13, 2020
  
  f1ec5b78
- Proto/Michelson: expose comparable type/data functions · 7f1f6725
  Mehdi Bouaziz authored Nov 13, 2020
  
  7f1f6725
- Proto/Michelson: add hash_comparable_data · 0066b384
  Mehdi Bouaziz authored Nov 13, 2020
  
  0066b384
- Proto/Michelson: split hash_data · c5b54c85
  Mehdi Bouaziz authored Nov 13, 2020
  
  c5b54c85
- Proto/Michelson: split pack_data · efdc1b78
  Mehdi Bouaziz authored Nov 13, 2020
  
  efdc1b78
- Proto/Michelson: use unparse_comparable_data when needed · dcaa9fe2
  Mehdi Bouaziz authored Nov 13, 2020
  
  dcaa9fe2
- Proto/Michelson: add unparse_comparable_data · 0f1a989d
  Mehdi Bouaziz authored Nov 13, 2020
  
  0f1a989d
- Proto/Michelson: split unparse_data, part 2 · 6c83bc97
  Mehdi Bouaziz authored Nov 12, 2020
  
  6c83bc97
- Proto/Michelson: split unparse_data, part 1 · a1315aac
  Mehdi Bouaziz authored Nov 12, 2020
  
  a1315aac
- Proto/Michelson: reuse unparse_items in unparse_data for maps · 271f33a1
  Mehdi Bouaziz authored Nov 12, 2020
  
  271f33a1
- Tests/python: activate_protocol delay · 676fa2a3
  Philippe B. authored Nov 18, 2020 and Marco Stronati committed Nov 18, 2020
```
By default, protocol were activated one year in the past (one year delay)
in client.activate_protocol.

Activating in the past is useful for tests which bake blocks manually
using the client.bake command (it avoids waiting). But it's problematic for tests which launch
bakers and expect them to bake with proper delay between block baking
(blocks are baked faster than they are communicated which leads to many
forks).

In particular, test_baker_endorser.py fails spuriously for this reason.

This commit changes the default delay to zero, and updates the test
which bake manually so that activation is done in the past
(this is only needed for performance...).
```
  676fa2a3