Proto/Michelson: new gas costs

- The cost functions in Michelson_v1_gas were to a large extent
  automatically generated. Please refer to meta_model.ml
- The (abstract) cost model makes large use of floating-point
  coefficient. These were converted to either integer
  multiplication/divisions or to statically generated fixed-point
  computations.
53 jobs for gas-update-005 in 12 minutes and 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #255155473
gitlab-org
build

00:03:55

passed #255155471
gitlab-org
check_linting

00:01:38

passed #255155466
gitlab-org
check_opam_deps

00:02:36

passed #255155469
gitlab-org
check_opam_lint

00:01:27

 
  Test
passed #255155587
gitlab-org
documentation:build

00:04:07

passed #255155590
gitlab-org allowed to fail
documentation:linkcheck

00:05:15

passed #255155542
gitlab-org
integration:baker_endorser

00:04:28

passed #255155544
gitlab-org
integration:basic

00:03:31

passed #255155510
gitlab-org
integration:basic.sh

00:02:46

passed #255155550
gitlab-org
integration:contract

00:02:57

passed #255155551
gitlab-org
integration:contract_baker

00:02:22

passed #255155513
gitlab-org
integration:contracts.sh

00:02:34

passed #255155518
gitlab-org
integration:contracts_macros.sh

00:02:53

passed #255155521
gitlab-org
integration:contracts_mini_scenarios.sh

00:02:37

passed #255155515
gitlab-org
integration:contracts_opcode.sh

00:03:21

passed #255155552
gitlab-org
integration:cors

00:02:21

passed #255155582
gitlab-org
integration:double_endorsement

00:02:34

passed #255155526
gitlab-org
integration:inject.sh

00:00:51

passed #255155553
gitlab-org
integration:injection

00:02:30

passed #255155554
gitlab-org
integration:many_bakers

00:01:09

passed #255155557
gitlab-org
integration:many_nodes

00:02:44

passed #255155561
gitlab-org
integration:mempool

00:02:30

passed #255155564
gitlab-org
integration:multinode

00:02:36

passed #255155523
gitlab-org
integration:multinode.sh

00:03:51

passed #255155530
gitlab-org
integration:proto:sandbox

00:00:39

passed #255161943
gitlab-org
integration:proto_demo_noops

00:02:23

passed #255155565
gitlab-org
integration:rpc

00:02:55

passed #255155537
gitlab-org
integration:sandboxes:acc-baking

00:03:04

passed #255155541
gitlab-org
integration:sandboxes:acc-endorsement

00:02:42

passed #255155533
gitlab-org allowed to fail
integration:sandboxes:voting

00:07:41

passed #255155584
gitlab-org
integration:snapshot

00:02:43

passed #255162284
gitlab-org
integration:tls

00:01:02

passed #255155580
gitlab-org
integration:voting

00:02:35

passed #255155527
gitlab-org
integration:voting.sh

00:01:54

passed #255161557
gitlab-org
unit:crypto

00:00:30

passed #255155481
gitlab-org
unit:data_encoding

00:00:39

passed #255155506
gitlab-org
unit:micheline

00:00:34

passed #255155500
gitlab-org
unit:p2p:banned_peers

00:02:13

passed #255155489
gitlab-org
unit:p2p:io-scheduler

00:00:53

passed #255155498
gitlab-org
unit:p2p:ipv6set

00:02:11

passed #255155497
gitlab-org
unit:p2p:peerset

00:00:33

passed #255155491
gitlab-org
unit:p2p:pool

00:02:28

passed #255155490
gitlab-org
unit:p2p:socket

00:00:34

passed #255155495
gitlab-org
unit:proto_alpha:lib_client

00:02:14

passed #255155493
gitlab-org
unit:proto_alpha:lib_protocol

00:06:36

passed #255155486
gitlab-org
unit:shell

00:02:26

passed #255155475
gitlab-org
unit:stdlib

00:02:15

passed #255155477
gitlab-org
unit:stdlib_unix

00:02:07

passed #255155483
gitlab-org
unit:storage

00:02:12

passed #255155504
gitlab-org
unit:validation

00:00:32

failed #255155585
gitlab-org
integration:proto_demo_noops

00:02:18

failed #255155570
gitlab-org
integration:tls

00:02:18

failed #255155485
gitlab-org
unit:crypto

00:00:31