Skip to content

Instantly share code, notes, and snippets.

View serialize.typed_ir.ml
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)
View multicore.json
{
"name": "minecraft-bizarre-adventures",
"esy": {
"build": "dune build -p minecraft-ml",
"install": "esy-installer minecraft-ml.install"
},
"scripts": {
"start": "esy x minecraft-ml"
},
"dependencies": {
View my.dcps.changes.ml
(* 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
View weird.results.re
// 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);
View input.lsp.txt
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
View becnhmark.michelson.md

Setup

  • Ryzen 9 3950x
  • 16gb DDR4 3200mhz

complete pipeline, fa1.2 and detexter

classic

View fact.michelson
{ parameter int ;
storage int ;
code { PUSH int 1 ;
SWAP ;
CAR ;
PAIR ;
LEFT int ;
LOOP_LEFT
{ DUP ;
CAR ;
View fact.nocost.ml
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
View fact.cost.ml
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
View show.ml
(*****************************************************************************)
(* *)
(* 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, *)