Commits · master · Alex Kuprienko / tezos

Browse files

Jan 21, 2022
- Merge branch 'pierrick@check_dupable_ty-gas-monad' into 'master' · 31a164ea
  Marge Bot authored Jan 21, 2022
  31a164ea
- Proto/Michelson: introduce Gas_monad into check_dupable_ty · bb433cb6
  Pierrick Couderc authored Jan 20, 2022 and Marge Bot committed Jan 21, 2022
  
  bb433cb6
- Proto/Michelson: add return_unit to Gas_monad · b468f60d
  Pierrick Couderc authored Jan 21, 2022 and Marge Bot committed Jan 21, 2022
  
  b468f60d
- Merge branch 'shrmtv@update-changelog' into 'master' · 6d1e68a8
  Marge Bot authored Jan 21, 2022
  6d1e68a8
- Doc: Update Alpha changelog · 0ac432d9
  Fedor Sheremetyev authored Jan 18, 2022 and Marge Bot committed Jan 21, 2022
  0ac432d9
- Merge branch 'vch9@proto-client-qcheck2' into 'master' · 69956180
  Marge Bot authored Jan 21, 2022
  69956180
- proto_*/lib_client: upgrade qcheck to qcheck2 · 24843075
  Valentin Chaboche authored Jan 14, 2022 and Marge Bot committed Jan 21, 2022
  
  24843075
Jan 20, 2022
- Merge branch 'hai@round_repr_simplify_round_and_offset' into 'master' · d38e25aa
  Marge Bot authored Jan 20, 2022
  d38e25aa
- Add qcheck test for new function · 23504029
  Richard Bonichon authored Dec 07, 2021 and Marge Bot committed Jan 20, 2022
  
  23504029
- Proto/Alpha/Test: Adapt test in Round_repr and restrict round samples · 5bba317b
  Hai Nguyen Van authored Jan 14, 2022 and Marge Bot committed Jan 20, 2022
  
  5bba317b
- Proto/Alpha: Optimize Round.round_and_offset into O(log max_int) (5x speed-up) · cd8b255d
  Hai Nguyen Van authored Dec 06, 2021 and Marge Bot committed Jan 20, 2022
  
  cd8b255d
- Merge branch 'vicall@store_metrics' into 'master' · df9ce91c
  Marge Bot authored Jan 20, 2022
  df9ce91c
- Store: Introduce store metrics · 11b4bd3b
  Victor Allombert authored Jan 14, 2022 and Marge Bot committed Jan 20, 2022
  
  11b4bd3b
- Store: minor refactoring · 8a36239d
  Victor Allombert authored Jan 14, 2022 and Marge Bot committed Jan 20, 2022
  
  8a36239d
- Store: add prometheus to dune and opam · 0623f6ba
  Victor Allombert authored Jan 14, 2022 and Marge Bot committed Jan 20, 2022
  
  0623f6ba
- Merge branch 'smelc@qcheck-rpc-fix-launch-command' into 'master' · 8ba4f272
  Marge Bot authored Jan 20, 2022
  8ba4f272
- tezt: qcheck_rpc: fix invocation command · cfaf1498
  Clément Hurlin authored Jan 19, 2022 and Marge Bot committed Jan 20, 2022
  
  cfaf1498
- Merge branch 'vch9@ometrics-base-commit' into 'master' · 4c94fd95
  Marge Bot authored Jan 20, 2022
  4c94fd95
- CI: default code quality report on master · bd7aae56
  Valentin Chaboche authored Jan 13, 2022 and Marge Bot committed Jan 20, 2022
  
  bd7aae56
- Merge branch 'mehdi@ignore_annotations_3' into 'master' · 24794e22
  Marge Bot authored Jan 20, 2022
  24794e22
- Proto/Michelson: remove dead values · a1807010
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  
  a1807010
- Proto/Doc: add entry in changelog · ae85e5b5
  Mehdi Bouaziz authored Jan 13, 2022 and Marge Bot committed Jan 20, 2022
  
  ae85e5b5
- Proto/Tests: adapt script cache hard-coded values · 20defc3c
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  
  20defc3c
- Tests/Python: regenerate typechecking traces · f424d030
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  
  f424d030
- Proto/Tests: bump lambda size expected mean · 09c7cb9d
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  09c7cb9d
- Proto/Michelson: update ty_size · 79e5dc5b
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  
  79e5dc5b
- Proto/Michelson: optimize type metadata · 81c11b69
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  
  81c11b69
- Proto/Michelson: rename parse_var_type_annot into check_var_type_annot · 75b3a88b
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  
  75b3a88b
- Proto/Michelson: rename parse_var_annot into check_var_annot · 4387b306
  Mehdi Bouaziz authored Jan 12, 2022 and Marge Bot committed Jan 20, 2022
  
  4387b306
- Proto/Michelson: remove useless calls to merge_type_metadata · d168d97b
  Mehdi Bouaziz authored Jan 06, 2022 and Marge Bot committed Jan 20, 2022
  d168d97b
- Proto/Michelson: simplify smart type constructors · f44b46bf
  Mehdi Bouaziz authored Jan 06, 2022 and Marge Bot committed Jan 20, 2022
  
  f44b46bf
- Proto/Michelson: simplify parse_var_type_annot · 99d6e3c3
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  99d6e3c3
- Proto/Michelson: simplify parse_constr_annot · bd27332d
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  bd27332d
- Proto/Michelson: simplify parse_composed_type · 1cacd759
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  1cacd759
- Proto/Michelson: simplify parse_type_annot · 0a399148
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  0a399148
- Proto/Michelson: minor simplification in parse_ty · e21b4f08
  Mehdi Bouaziz authored Jan 06, 2022 and Marge Bot committed Jan 20, 2022
  
  e21b4f08
- Proto/Michelson: unparse_type_annot None is [] · a11ed9b9
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  
  a11ed9b9
- Proto/Michelson: simplify merge_type_metadata · 505d81c3
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  505d81c3
- Proto/Michelson: remove merge_type_annot · 61a1dba1
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  61a1dba1
- Proto/Tests: remove type_annot from type metadata · d117c1a1
  Mehdi Bouaziz authored Jan 11, 2021 and Marge Bot committed Jan 20, 2022
  
  d117c1a1