EduardoRFS

open Alpha_context
open Script_typed_ir

let rec serialize_stack_prefix_preservation_witness :
    type b a b_s b_a.
    (b, a, b_s, b_a) stack_prefix_preservation_witness -> string = function
  | Prefix next ->
      Format.sprintf
        "(Prefix (%s))"
        (serialize_stack_prefix_preservation_witness next)

EduardoRFS

{
  "name": "minecraft-bizarre-adventures",
  "esy": {
    "build": "dune build -p minecraft-ml",
    "install": "esy-installer minecraft-ml.install"
  },
  "scripts": {
    "start": "esy x minecraft-ml"
  },
  "dependencies": {

EduardoRFS

(* the test below was run using flambda + profile=release *)
(*
v: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
v: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
v: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
v: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
v: 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
Estimated testing time 50s (5 benchmarks x 10s). Change using '-quota'.
┌──────────┬──────────┬─────────┬──────────┬──────────┬────────────┐
│ Name   

EduardoRFS

// include Example;
// include DCPS;

module DCPS = {
  type instr('b, 'a) =
    | Add(instr((int, 'rest), 'a)): instr((int, (int, 'rest)), 'a)
    | Sub(instr((int, 'rest), 'a)): instr((int, (int, 'rest)), 'a)
    | Gt(instr((bool, 'rest), 'a)): instr((int, (int, 'rest)), 'a)
    | If(instr('bef, 'aft), instr('bef, 'aft)): instr((bool, 'bef), 'aft)
    | Halt: instr('b, 'b);

EduardoRFS

Content-Length: 2902

{"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":0,"clientInfo":{"name":"vscode","version":"1.51.0-insider"},"rootPath":"/","rootUri":"file:///","capabilities":{"workspace":{"applyEdit":true,"workspaceEdit":{"documentChanges":true,"resourceOperations":["create","rename","delete"],"failureHandling":"textOnlyTransactional"},"didChangeConfiguration":{"dynamicRegistration":true},"didChangeWatchedFiles":{"dynamicRegistration":true},"symbol":{"dynamicRegistration":true,"symbolKind":{"valueSet":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]}},"executeCommand":{"dynamicRegistration":true},"configuration":true,"workspaceFolders":true},"textDocument":{"publishDiagnostics":{"relatedInformation":true,"versionSupport":false,"tagSupport":{"valueSet":[1,2]}},"synchronization":{"dynamicRegistration":true,"willSave":true,"willSaveWaitUntil":true,"didSave":true},"completion":{"dynamicRegistration":true,"contextSupport":true,"completionItem":{"snippetSupport":true

EduardoRFS

Setup

• Ryzen 9 3950x
• 16gb DDR4 3200mhz

complete pipeline, fa1.2 and detexter

classic

EduardoRFS

{ parameter int ;
    storage int ;
    code { PUSH int 1 ;
           SWAP ;
           CAR ;
           PAIR ;
           LEFT int ;
           LOOP_LEFT
             { DUP ;
               CAR ;

EduardoRFS

type 'a input =
  | Input of 'a 
open Tezos_protocol_environment_alpha.Environment
open Pervasives
open Tezos_raw_protocol_alpha.Script_typed_ir
open Tezos_raw_protocol_alpha.Alpha_context
module Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator
let tz_compiled_0 (Input (stack, v_0)) =
  let stack = (v_0, stack) in
  let stack = let (vi, (vo, rest)) = stack in (vo, (vi, rest)) in

EduardoRFS

type 'a input =
  | Input of 'a 
open Tezos_protocol_environment_alpha.Environment
open Pervasives
open Tezos_raw_protocol_alpha.Script_typed_ir
open Tezos_raw_protocol_alpha.Alpha_context
module Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator
module Interp_costs =
  Tezos_raw_protocol_alpha.Michelson_v1_gas.Cost_of.Interpreter
module Script_interpreter = Tezos_raw_protocol_alpha.Script_interpreter

EduardoRFS

(*****************************************************************************)
(*                                                                           *)
(* Open Source License                                                       *)
(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com>     *)
(* Copyright (c) 2020 Metastate AG <hello@metastate.dev>                     *)
(*                                                                           *)
(* Permission is hereby granted, free of charge, to any person obtaining a   *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)