Skip to content

Instantly share code, notes, and snippets.

@shubhamkumar13

shubhamkumar13/414_domains_parallel.log

Last active July 29, 2021 14:16
Show Gist options
  • Save shubhamkumar13/1b9c45365fd1f987367b9e7698ec89ca to your computer and use it in GitHub Desktop.
Save shubhamkumar13/1b9c45365fd1f987367b9e7698ec89ca to your computer and use it in GitHub Desktop.
Download ZIP
414_trunk_sandmark_update_logs
Raw
414_domains_parallel.log
make: 'multicore_parallel_run_config_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered_2domains.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit 1b6fa1fce3bd339e85b87a4e4a2d914072034620
Author: shubhamkumar13 <[email protected]>
Date: Wed Jul 28 14:25:52 2021 +0530
remove previous version of ocamlfind
Linking to system dune files found at: /home/shubham/.opam/4.14.0+trunk
/home/shubham/.opam/4.14.0+trunk/bin/dune --version = 2.9.0
ln -s /home/shubham/.opam/4.14.0+trunk/bin/dune /home/shubham/sandmark_domains_effects_test/_opam/sys_dune/bin/dune
ln -s /home/shubham/.opam/4.14.0+trunk/bin/jbuilder /home/shubham/sandmark_domains_effects_test/_opam/sys_dune/bin/jbuilder
ln -s /home/shubham/.opam/4.14.0+trunk/lib/dune /home/shubham/sandmark_domains_effects_test/_opam/sys_dune/lib/dune
rm -rf dependencies/packages/ocaml/ocaml.4.12.0+domains
rm -rf dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains
mkdir -p dependencies/packages/ocaml/ocaml.4.12.0+domains
cp -R dependencies/template/ocaml/* dependencies/packages/ocaml/ocaml.4.12.0+domains/
mkdir -p dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains
cp -R dependencies/template/ocaml-base-compiler/* \
dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains/
{ url="$(jq -r '.url // empty' ocaml-versions/4.12.0+domains.json)"; echo "url { src: \"$url\" }"; echo "setenv: [ [ ORUN_CONFIG_ocaml_url = \"$url\" ] ]"; } \
>> dependencies/packages/ocaml-base-compiler/ocaml-base-compiler.4.12.0+domains/opam
opam update
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file:///home/shubham/sandmark_domains_effects_test/dependencies
OCAMLRUNPARAM="" OCAMLCONFIGOPTION="" opam switch create --keep-build-dir --yes 4.12.0+domains ocaml-base-compiler.4.12.0+domains
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.12.0+domains] downloaded from https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains.tar.gz
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-base-compiler.4.12.0+domains
-> installed ocaml-config.1
-> installed ocaml.4.12.0+domains
Done.
# Run eval $(opam env) to update the current shell environment
opam pin add -n --yes --switch 4.12.0+domains eventlog-tools https://github.com/ocaml-multicore/eventlog-tools.git#multicore
Package eventlog-tools does not exist, create as a NEW package? [Y/n] y
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev: git]
[eventlog-tools.~dev] synchronised from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
[WARNING] Failed checks on eventlog-tools package definition from source at git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore:
warning 58: Found `test` variable, predefined one is `with-test`
eventlog-tools is now pinned to git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore (version ~dev)
opam pin add -n --yes --switch 4.12.0+domains orun orun/
Package orun does not exist, create as a NEW package? [Y/n] y
[orun.~dev: rsync]
[orun.~dev] synchronised from file:///home/shubham/sandmark_domains_effects_test/orun
[WARNING] Failed checks on orun package definition from source at file:///home/shubham/sandmark_domains_effects_test/orun:
warning 35: Missing field 'homepage'
warning 36: Missing field 'bug-reports'
orun is now pinned to file:///home/shubham/sandmark_domains_effects_test/orun (version 0.1)
opam pin add -n --yes --switch 4.12.0+domains rungen rungen/
Package rungen does not exist, create as a NEW package? [Y/n] y
[rungen.~dev: rsync]
[rungen.~dev] synchronised from file:///home/shubham/sandmark_domains_effects_test/rungen
[WARNING] Failed checks on rungen package definition from source at file:///home/shubham/sandmark_domains_effects_test/rungen:
warning 35: Missing field 'homepage'
warning 36: Missing field 'bug-reports'
rungen is now pinned to file:///home/shubham/sandmark_domains_effects_test/rungen (version 0.1)
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file:///home/shubham/sandmark_domains_effects_test/dependencies
<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
[orun.0.1] no changes from file:///home/shubham/sandmark_domains_effects_test/orun
[rungen.0.1] no changes from file:///home/shubham/sandmark_domains_effects_test/rungen
[eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
opam install --switch=4.12.0+domains --keep-build-dir --yes rungen orun
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[orun.0.1] no changes from file:///home/shubham/sandmark_domains_effects_test/orun
[rungen.0.1] no changes from file:///home/shubham/sandmark_domains_effects_test/rungen
The following actions will be performed:
- install seq base [required by re]
- install dune 2.9.0 [required by yojson, re, sexplib0]
- install cmdliner 1.0.4 [required by orun]
- install result 1.5 [required by dune-configurator]
- install re 1.9.0 [required by orun]
- install easy-format 1.3.2 [required by yojson]
- install cppo 1.6.7 [required by yojson]
- install csexp 1.3.2 [required by dune-configurator]
- install biniou 1.2.1 [required by yojson]
- install dune-configurator 2.9.0 [required by sexplib0]
- install yojson 1.7.0 [required by orun, rungen]
- install sexplib0 v0.14.0 [required by rungen]
- install orun 0.1*
- install rungen 0.1*
===== 14 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from https://github.com/dbuenzli/cmdliner/archive/v1.0.4.tar.gz
[cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache/
[biniou.1.2.1] downloaded from cache at https://opam.ocaml.org/cache/
[csexp.1.3.2] downloaded from cache at https://opam.ocaml.org/cache/
[easy-format.1.3.2] downloaded from cache at https://opam.ocaml.org/cache/
[dune.2.9.0] downloaded from cache at https://opam.ocaml.org/cache/
[re.1.9.0] downloaded from cache at https://opam.ocaml.org/cache/
[sexplib0.v0.14.0] downloaded from https://github.com/janestreet/sexplib0/archive/v0.14.0.tar.gz
[result.1.5] downloaded from cache at https://opam.ocaml.org/cache/
[yojson.1.7.0] downloaded from cache at https://opam.ocaml.org/cache/
[dune-configurator.2.9.0] downloaded from cache at https://opam.ocaml.org/cache/
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed dune.2.9.0
-> installed result.1.5
-> installed easy-format.1.3.2
-> installed csexp.1.3.2
-> installed cppo.1.6.7
-> installed re.1.9.0
-> installed biniou.1.2.1
-> installed dune-configurator.2.9.0
-> installed yojson.1.7.0
-> installed sexplib0.v0.14.0
-> installed rungen.0.1
-> installed orun.0.1
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
- install stdlib-shims 0.1.0 [required by ppxlib]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ocaml-compiler-libs v0.12.3 [required by ppxlib]
- install ocaml-migrate-parsetree 2.1.0+stock
- install ppxlib 0.22.0+stock
===== 5 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-compiler-libs.v0.12.3] downloaded from cache at https://opam.ocaml.org/cache/
[ppx_derivers.1.2.1] downloaded from cache at https://opam.ocaml.org/cache/
[ocaml-migrate-parsetree.2.1.0+stock] downloaded from cache at https://opam.ocaml.org/cache/
[stdlib-shims.0.1.0] downloaded from cache at https://opam.ocaml.org/cache/
[ppxlib.0.22.0+stock] downloaded from cache at https://opam.ocaml.org/cache/
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.1.0
-> installed ocaml-compiler-libs.v0.12.3
-> installed ocaml-migrate-parsetree.2.1.0+stock
-> installed ppxlib.0.22.0+stock
Done.
# Run eval $(opam env) to update the current shell environment
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
[NOTE] Package sexplib0 is already installed (current version is v0.14.0).
[NOTE] Package yojson is already installed (current version is 1.7.0).
[NOTE] Package dune-configurator is already installed (current version is 2.9.0).
The following actions will be performed:
- install ocamlgraph 2.0.0 [required by irmin]
- install terminal_size 0.1.4 [required by progress]
- install conf-gmp 1 [required by zarith]
- install conf-findutils 1
- install owl-base 1.0.1 [required by eventlog-tools]
- install ocaml-syntax-shims 1.0.0 [required by lwt]
- install semaphore-compat 1.0.1 [required by index]
- install integers 0.4.0
- install bheap 2.0.0 [required by irmin]
- install conf-pkg-config 1.2
- install menhirSdk 20200612 [required by menhir]
- install ocamlfind 1.9.1 [required by uuidm, ppx_deriving, mtime, etc.]
- install dune-private-libs 2.9.0
- install interval-map 0.2.0 [required by eventlog-tools]
- install menhirLib 20200612
- install base v0.14.1
- install base64 3.5.0 [required by repr]
- install conf-perl 1 [required by zarith]
- install mmap 1.1.0 [required by lwt]
- install minilight 1.6
- install ocamlbuild 0.14.0 [required by react, mtime, kcas, etc.]
- install optint 0.0.4 [required by checkseum, decompress]
- install either 1.0.0 [required by repr]
- install bigarray-compat 1.0.0 [required by checkseum, bigstringaf, decompress]
- install conf-zlib 1
- install ppx_deriving 5.2.1
- install num 1.3 [required by cubicle]
- install domainslib 0.3.0
- install camlpdf 2.3 [required by cpdf]
- install base-bytes base [required by decompress, checkseum, ocplib-endian]
- install menhir 20200612
- install stdio v0.14.0
- install zarith 1.9
- install uchar 0.0.2 [required by jsonm]
- install topkg 1.0.3 [required by react, logs, mtime, uuidm]
- install nbcodec 20151119
- install kcas 0.1.4
- install eqaf 0.7 [required by digestif]
- install bigstringaf 0.6.1
- install camlzip 1.10
- install ppx_deriving_yojson 3.6.1
- install cubicle 1.1.2
- install cpdf 2.3
- install stringext 1.6.0 [required by uri]
- install ocplib-endian 1.1
- install checkseum 0.2.1
- install camlimages 5.0.3
- install uutf 1.0.2 [required by irmin, repr]
- install uuidm 0.9.7
- install rresult 0.6.0 [required by eventlog-tools]
- install react 1.2.1
- install mtime 1.2.0
- install fmt 0.8.9 [required by logs, irmin, eventlog-tools, etc.]
- install astring 0.8.5 [required by irmin]
- install lockfree 0.1.3
- install digestif 1.0.0 [required by irmin]
- install angstrom 0.15.0 [required by eventlog-tools]
- install lwt 5.4.0
- install decompress 1.1.0
- install jsonm 1.0.1 [required by irmin, eventlog-tools, index, repr]
- install progress 0.1.1 [required by index]
- install fpath 0.7.3 [required by eventlog-tools]
- install uri 4.1.0 [required by irmin]
- install logs 0.7.0
- install repr 0.2.1
- install bos 0.2.0 [required by eventlog-tools]
- install ppx_repr 0.2.1
- install eventlog-tools ~dev*
- install ppx_irmin 2.4.0
- install index 1.3.0
- install irmin 2.4.0
- install irmin-layers 2.4.0
- install irmin-pack 2.4.0
===== 73 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[astring.0.8.5] downloaded from cache at https://opam.ocaml.org/cache/
[base64.3.5.0] downloaded from cache at https://opam.ocaml.org/cache/
[angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache/
[bheap.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/
[bigarray-compat.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/
[bigstringaf.0.6.1] downloaded from cache at https://opam.ocaml.org/cache/
[camlimages.5.0.3] downloaded from https://gitlab.com/camlspotter/camlimages/-/archive/5.0.3/camlimages-5.0.3.tar.bz2
[base.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache/
[bos.0.2.0] downloaded from cache at https://opam.ocaml.org/cache/
[camlzip.1.10] downloaded from cache at https://opam.ocaml.org/cache/
[checkseum.0.2.1] downloaded from cache at https://opam.ocaml.org/cache/
[cubicle.1.1.2] downloaded from cache at https://opam.ocaml.org/cache/
[cpdf.2.3] downloaded from cache at https://opam.ocaml.org/cache/
[camlpdf.2.3] downloaded from cache at https://opam.ocaml.org/cache/
[domainslib.0.3.0] downloaded from cache at https://opam.ocaml.org/cache/
[dune-private-libs.2.9.0] found in cache
[either.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/
[eqaf.0.7] downloaded from cache at https://opam.ocaml.org/cache/
[eventlog-tools.~dev] synchronised from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
[fmt.0.8.9] downloaded from cache at https://opam.ocaml.org/cache/
[decompress.1.1.0] downloaded from cache at https://opam.ocaml.org/cache/
[fpath.0.7.3] downloaded from cache at https://opam.ocaml.org/cache/
[integers.0.4.0] downloaded from cache at https://opam.ocaml.org/cache/
[index.1.3.0] downloaded from cache at https://opam.ocaml.org/cache/
[irmin.2.4.0] downloaded from cache at https://opam.ocaml.org/cache/
[irmin-layers.2.4.0] found in cache
[irmin-pack.2.4.0] found in cache
[interval-map.0.2.0] downloaded from cache at https://opam.ocaml.org/cache/
[jsonm.1.0.1] downloaded from cache at https://opam.ocaml.org/cache/
[kcas.0.1.4] downloaded from https://github.com/ocaml-multicore/kcas/archive/0.1.4.zip
[logs.0.7.0] downloaded from cache at https://opam.ocaml.org/cache/
[lockfree.0.1.3] downloaded from https://github.com/ocaml-multicore/lockfree/archive/0.1.3.zip
[lwt.5.4.0] downloaded from cache at https://opam.ocaml.org/cache/
[digestif.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/
[menhir.20200612] downloaded from cache at https://opam.ocaml.org/cache/
[minilight.1.6] downloaded from cache at https://opam.ocaml.org/cache/
[mmap.1.1.0] downloaded from cache at https://opam.ocaml.org/cache/
[mtime.1.2.0] downloaded from cache at https://opam.ocaml.org/cache/
[nbcodec.20151119] downloaded from https://github.com/dbuenzli/nbcodec/archive/54ede66d0f552628625c9e0599df592bda63ab2e.tar.gz
[menhirLib.20200612] downloaded from cache at https://opam.ocaml.org/cache/
[num.1.3] downloaded from cache at https://opam.ocaml.org/cache/
[ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache/
[ocamlfind.1.9.1] downloaded from cache at https://opam.ocaml.org/cache/
[ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache/
[ocplib-endian.1.1] downloaded from cache at https://opam.ocaml.org/cache/
[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache/
[menhirSdk.20200612] downloaded from cache at https://opam.ocaml.org/cache/
[optint.0.0.4] downloaded from cache at https://opam.ocaml.org/cache/
[ppx_deriving.5.2.1] downloaded from cache at https://opam.ocaml.org/cache/
[ppx_irmin.2.4.0] found in cache
[ppx_deriving_yojson.3.6.1] downloaded from cache at https://opam.ocaml.org/cache/
[progress.0.1.1] downloaded from cache at https://opam.ocaml.org/cache/
[ppx_repr.0.2.1] downloaded from cache at https://opam.ocaml.org/cache/
[repr.0.2.1] found in cache
[rresult.0.6.0] downloaded from cache at https://opam.ocaml.org/cache/
[semaphore-compat.1.0.1] downloaded from cache at https://opam.ocaml.org/cache/
[react.1.2.1] downloaded from cache at https://opam.ocaml.org/cache/
[stdio.v0.14.0] downloaded from https://github.com/janestreet/stdio/archive/v0.14.0.tar.gz
[stringext.1.6.0] downloaded from cache at https://opam.ocaml.org/cache/
[terminal_size.0.1.4] downloaded from cache at https://opam.ocaml.org/cache/
[topkg.1.0.3] downloaded from cache at https://opam.ocaml.org/cache/
[uchar.0.0.2] downloaded from cache at https://opam.ocaml.org/cache/
[uuidm.0.9.7] downloaded from cache at https://opam.ocaml.org/cache/
[uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache/
[uutf.1.0.2] downloaded from cache at https://opam.ocaml.org/cache/
[zarith.1.9] downloaded from cache at https://opam.ocaml.org/cache/
[owl-base.1.0.1] downloaded from cache at https://opam.ocaml.org/cache/
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed bheap.2.0.0
-> installed base64.3.5.0
-> installed bigarray-compat.1.0.0
-> installed conf-findutils.1
-> installed conf-gmp.1
-> installed conf-perl.1
-> installed conf-pkg-config.1.2
-> installed either.1.0.0
-> installed integers.0.4.0
-> installed interval-map.0.2.0
-> installed menhirLib.20200612
-> installed menhirSdk.20200612
-> installed minilight.1.6
-> installed mmap.1.1.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocamlgraph.2.0.0
-> installed dune-private-libs.2.9.0
-> installed base.v0.14.1
-> installed optint.0.0.4
-> installed owl-base.1.0.1
-> installed semaphore-compat.1.0.1
-> installed terminal_size.0.1.4
-> installed bigstringaf.0.6.1
-> installed eqaf.0.7
-> installed conf-zlib.1
-> installed menhir.20200612
-> installed ocamlbuild.0.14.0
-> installed stdio.v0.14.0
-> installed angstrom.0.15.0
-> installed uchar.0.0.2
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed kcas.0.1.4
-> installed domainslib.0.3.0
-> installed nbcodec.20151119
-> installed ocplib-endian.1.1
-> installed stringext.1.6.0
-> installed camlzip.1.10
-> installed checkseum.0.2.1
-> installed digestif.1.0.0
-> installed lockfree.0.1.3
-> installed num.1.3
-> installed camlimages.5.0.3
-> installed decompress.1.1.0
-> installed ppx_deriving.5.2.1
-> installed uri.4.1.0
-> installed zarith.1.9
-> installed topkg.1.0.3
-> installed lwt.5.4.0
-> installed ppx_deriving_yojson.3.6.1
-> installed astring.0.8.5
-> installed fmt.0.8.9
-> installed mtime.1.2.0
-> installed react.1.2.1
-> installed rresult.0.6.0
-> installed uuidm.0.9.7
-> installed uutf.1.0.2
-> installed fpath.0.7.3
-> installed progress.0.1.1
-> installed logs.0.7.0
-> installed camlpdf.2.3
-> installed jsonm.1.0.1
-> installed repr.0.2.1
-> installed bos.0.2.0
-> installed cubicle.1.1.2
-> installed eventlog-tools.~dev
-> installed ppx_repr.0.2.1
-> installed ppx_irmin.2.4.0
-> installed cpdf.2.3
-> installed index.1.3.0
-> installed irmin.2.4.0
-> installed irmin-layers.2.4.0
-> installed irmin-pack.2.4.0
Done.
# Run eval $(opam env) to update the current shell environment
opam exec --switch 4.12.0+domains -- opam list
# Packages matching: installed
# Name # Installed # Synopsis
angstrom 0.15.0 Parser combinators built for speed and memory-efficiency
astring 0.8.5 Alternative String module for OCaml
base v0.14.1 Full standard library replacement for OCaml
base-bigarray base
base-bytes base Bytes library distributed with the OCaml compiler
base-threads base
base-unix base
base64 3.5.0 Base64 encoding for OCaml
bheap 2.0.0 Priority queues
bigarray-compat 1.0.0 Compatibility library to use Stdlib.Bigarray when possible
bigstringaf 0.6.1 Bigstring intrinsics and fast blits based on memcpy/memmove
biniou 1.2.1 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
bos 0.2.0 Basic OS interaction for OCaml
camlimages 5.0.3 Image processing library
camlpdf 2.3 Read, write and modify PDF files
camlzip 1.10 Provides easy access to compressed files in ZIP, GZIP and JAR format
checkseum 0.2.1 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner 1.0.4 Declarative definition of command line interfaces for OCaml
conf-findutils 1 Virtual package relying on findutils
conf-gmp 1 Virtual package relying on a GMP lib system installation
conf-perl 1 Virtual package relying on perl
conf-pkg-config 1.2 Virtual package relying on pkg-config installation
conf-zlib 1 Virtual package relying on zlib
cpdf 2.3 High-level pdf tools based on CamlPDF
cppo 1.6.7 Code preprocessor like cpp for OCaml
csexp 1.3.2 Parsing and printing of S-expressions in Canonical form
cubicle 1.1.2 SMT based model checker for parameterized systems
decompress 1.1.0 Implementation of Zlib and GZip in OCaml
digestif 1.0.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
domainslib 0.3.0 Parallel Structures over Domains for Multicore OCaml
dune 2.9.0 Fast, portable, and opinionated build system
dune-configurator 2.9.0 Helper library for gathering system configuration
dune-private-libs 2.9.0 Private libraries of Dune
easy-format 1.3.2 High-level and functional interface to the Format module of the OCaml standard library
either 1.0.0 Compatibility Either module
eqaf 0.7 Constant-time equal function on string
eventlog-tools ~dev pinned to version ~dev at git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
fmt 0.8.9 OCaml Format pretty-printer combinators
fpath 0.7.3 File system paths for OCaml
index 1.3.0 A platform-agnostic multi-level index for OCaml
integers 0.4.0 Various signed and unsigned integer types for OCaml
interval-map 0.2.0 An immutable interval map data structure
irmin 2.4.0 Irmin, a distributed database that follows the same design principles as Git
irmin-layers 2.4.0 Combine different Irmin stores into a single, layered store
irmin-pack 2.4.0 Irmin backend which stores values in a pack file
jsonm 1.0.1 Non-blocking streaming JSON codec for OCaml
kcas 0.1.4 Multi-word compare-and-swap library
lockfree 0.1.3 Lock-free data structures for multicore OCaml
logs 0.7.0 Logging infrastructure for OCaml
lwt 5.4.0 Promises and event-driven I/O
menhir 20200612 An LR(1) parser generator
menhirLib 20200612 Runtime support library for parsers generated by Menhir
menhirSdk 20200612 Compile-time library for auxiliary tools related to Menhir
minilight 1.6 Minimal global illumination renderer.
mmap 1.1.0 File mapping functionality
mtime 1.2.0 Monotonic wall-clock time for OCaml
nbcodec 20151119 non-blocking IO interface design
num 1.3 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.12.0+domains The OCaml compiler (virtual package)
ocaml-base-compiler 4.12.0+domains OCaml compiler
ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged
ocaml-config 1 OCaml Switch Configuration
ocaml-migrate-parsetree 2.1.0+stock Convert OCaml parsetrees between different versions
ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions
ocamlbuild 0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
ocamlfind 1.9.1 A library manager for OCaml
ocamlgraph 2.0.0 A generic graph library for OCaml
ocplib-endian 1.1 Optimised functions to read and write int16/32/64 from strings and bigarrays
optint 0.0.4 Abstract type on integer between x64 and x86 architecture
orun 0.1 pinned to version 0.1 at file:///home/shubham/sandmark_domains_effects_test/orun
owl-base 1.0.1 OCaml Scientific and Engineering Computing - Base
ppx_derivers 1.2.1 Shared [@@deriving] plugin registry
ppx_deriving 5.2.1 Type-driven code generation for OCaml
ppx_deriving_yojson 3.6.1 JSON codec generator for OCaml
ppx_irmin 2.4.0 PPX deriver for Irmin type representations
ppx_repr 0.2.1 PPX deriver for type representations
ppxlib 0.22.0+stock Standard library for ppx rewriters
progress 0.1.1 User-definable progress bars
re 1.9.0 RE is a regular expression library for OCaml
react 1.2.1 Declarative events and signals for OCaml
repr 0.2.1 Dynamic type representations. Provides no stability guarantee
result 1.5 Compatibility Result module
rresult 0.6.0 Result value combinators for OCaml
rungen 0.1 pinned to version 0.1 at file:///home/shubham/sandmark_domains_effects_test/rungen
semaphore-compat 1.0.1 Compatibility Semaphore module
seq base Compatibility package for OCaml's standard iterator type starting from 4.07.
sexplib0 v0.14.0 Library containing the definition of S-expressions and some base converters
stdio v0.14.0 Standard IO library for OCaml
stdlib-shims 0.1.0 Backport some of the new stdlib features to older compiler
stringext 1.6.0 Extra string functions for OCaml
terminal_size 0.1.4 Get the dimensions of the terminal
topkg 1.0.3 The transitory OCaml software packager
uchar 0.0.2 Compatibility library for OCaml's Uchar module
uri 4.1.0 An RFC3986 URI/URL parsing library
uuidm 0.9.7 Universally unique identifiers (UUIDs) for OCaml
uutf 1.0.2 Non-blocking streaming Unicode codec for OCaml
yojson 1.7.0 Yojson is an optimized parsing and printing library for the JSON format
zarith 1.9 Implements arithmetic and logical operations over arbitrary-precision integers
opam exec --switch 4.12.0+domains -- cp pausetimes/* $(opam config var bin)
opam exec --switch 4.12.0+domains -- rungen _build/4.12.0+domains_1 multicore_parallel_run_config_filtered_filtered_2domains.json > runs_dune.inc;
opam exec --switch 4.12.0+domains -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+domains @multibench_parallel;
Executing benchmarks with:
RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json
RUN_BENCH_TARGET=run_orun (WRAPPER=orun)
PRE_BENCH_EXEC=
Raw
414_domains_serial.log
make: 'run_config_filtered.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit 1b6fa1fce3bd339e85b87a4e4a2d914072034620
Author: shubhamkumar13 <[email protected]>
Date: Wed Jul 28 14:25:52 2021 +0530
remove previous version of ocamlfind
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file:///home/shubham/sandmark_domains_test/dependencies
<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
[orun.0.1] no changes from file:///home/shubham/sandmark_domains_test/orun
[rungen.0.1] no changes from file:///home/shubham/sandmark_domains_test/rungen
[eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
opam install --switch=4.12.0+domains --keep-build-dir --yes rungen orun
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[orun.0.1] no changes from file:///home/shubham/sandmark_domains_test/orun
[rungen.0.1] no changes from file:///home/shubham/sandmark_domains_test/rungen
[NOTE] Package orun is already installed (current version is 0.1).
[NOTE] Package rungen is already installed (current version is 0.1).
[NOTE] Package ppxlib is already installed (current version is 0.22.0+stock).
[NOTE] Package ocaml-migrate-parsetree is already installed (current version is 2.1.0+stock).
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
[NOTE] Package alt-ergo is already installed (current version is 2.3.2).
[NOTE] Package fraplib is already installed (current version is dev).
[NOTE] Package coq is already installed (current version is dev).
[NOTE] Package irmin-pack is already installed (current version is 2.4.0).
[NOTE] Package irmin-layers is already installed (current version is 2.4.0).
[NOTE] Package ppx_repr is already installed (current version is 0.2.1).
[NOTE] Package repr is already installed (current version is 0.2.1).
[NOTE] Package ppx_irmin is already installed (current version is 2.4.0).
[NOTE] Package ppx_deriving_yojson is already installed (current version is 3.6.1).
[NOTE] Package ppx_deriving is already installed (current version is 5.2.1).
[NOTE] Package mtime is already installed (current version is 1.2.0).
[NOTE] Package logs is already installed (current version is 0.7.0).
[NOTE] Package index is already installed (current version is 1.3.0).
[NOTE] Package conf-findutils is already installed (current version is 1).
[NOTE] Package cubicle is already installed (current version is 1.1.2).
[NOTE] Package irmin is already installed (current version is 2.4.0).
[NOTE] Package eventlog-tools is already installed (current version is ~dev).
[NOTE] Package sexplib0 is already installed (current version is v0.14.0).
[NOTE] Package checkseum is already installed (current version is 0.2.1).
[NOTE] Package nbcodec is already installed (current version is 20151119).
[NOTE] Package ocplib-endian is already installed (current version is 1.1).
[NOTE] Package react is already installed (current version is 1.2.1).
[NOTE] Package uuidm is already installed (current version is 0.9.7).
[NOTE] Package integers is already installed (current version is 0.4.0).
[NOTE] Package zarith is already installed (current version is 1.9).
[NOTE] Package lwt is already installed (current version is 5.4.0).
[NOTE] Package yojson is already installed (current version is 1.7.0).
[NOTE] Package camlimages is already installed (current version is 5.0.3).
[NOTE] Package dune-configurator is already installed (current version is 2.9.0).
[NOTE] Package dune-private-libs is already installed (current version is 2.9.0).
[NOTE] Package stdio is already installed (current version is v0.14.0).
[NOTE] Package base is already installed (current version is v0.14.1).
[NOTE] Package minilight is already installed (current version is 1.6).
[NOTE] Package menhir is already installed (current version is 20200612).
[NOTE] Package menhirLib is already installed (current version is 20200612).
[NOTE] Package camlzip is already installed (current version is 1.10).
[NOTE] Package decompress is already installed (current version is 1.1.0).
[NOTE] Package bigstringaf is already installed (current version is 0.6.1).
[NOTE] Package conf-zlib is already installed (current version is 1).
[NOTE] Package conf-pkg-config is already installed (current version is 1.2).
[NOTE] Package cpdf is already installed (current version is 2.3).
Nothing to do.
# Run eval $(opam env) to update the current shell environment
opam exec --switch 4.12.0+domains -- opam list
# Packages matching: installed
# Name # Installed # Synopsis
alt-ergo 2.3.2 The Alt-Ergo SMT prover
alt-ergo-lib 2.3.2 The Alt-Ergo SMT prover library
alt-ergo-parsers 2.3.2 The Alt-Ergo SMT prover parser library
angstrom 0.15.0 Parser combinators built for speed and memory-efficiency
astring 0.8.5 Alternative String module for OCaml
base v0.14.1 Full standard library replacement for OCaml
base-bigarray base
base-bytes base Bytes library distributed with the OCaml compiler
base-threads base
base-unix base
base64 3.5.0 Base64 encoding for OCaml
bheap 2.0.0 Priority queues
bigarray-compat 1.0.0 Compatibility library to use Stdlib.Bigarray when possible
bigstringaf 0.6.1 Bigstring intrinsics and fast blits based on memcpy/memmove
biniou 1.2.1 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
bos 0.2.0 Basic OS interaction for OCaml
camlimages 5.0.3 Image processing library
camlpdf 2.3 Read, write and modify PDF files
camlzip 1.10 Provides easy access to compressed files in ZIP, GZIP and JAR format
checkseum 0.2.1 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner 1.0.4 Declarative definition of command line interfaces for OCaml
conf-findutils 1 Virtual package relying on findutils
conf-gmp 1 Virtual package relying on a GMP lib system installation
conf-perl 1 Virtual package relying on perl
conf-pkg-config 1.2 Virtual package relying on pkg-config installation
conf-zlib 1 Virtual package relying on zlib
coq dev The Coq Proof Assistant
cpdf 2.3 High-level pdf tools based on CamlPDF
cppo 1.6.7 Code preprocessor like cpp for OCaml
csexp 1.3.2 Parsing and printing of S-expressions in Canonical form
cubicle 1.1.2 SMT based model checker for parameterized systems
decompress 1.1.0 Implementation of Zlib and GZip in OCaml
digestif 1.0.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
dune 2.9.0 Fast, portable, and opinionated build system
dune-configurator 2.9.0 Helper library for gathering system configuration
dune-private-libs 2.9.0 Private libraries of Dune
easy-format 1.3.2 High-level and functional interface to the Format module of the OCaml standard library
either 1.0.0 Compatibility Either module
eqaf 0.7 Constant-time equal function on string
eventlog-tools ~dev pinned to version ~dev at git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
fmt 0.8.9 OCaml Format pretty-printer combinators
fpath 0.7.3 File system paths for OCaml
fraplib dev FRAP lib, the library of FRAP book
index 1.3.0 A platform-agnostic multi-level index for OCaml
integers 0.4.0 Various signed and unsigned integer types for OCaml
interval-map 0.2.0 An immutable interval map data structure
irmin 2.4.0 Irmin, a distributed database that follows the same design principles as Git
irmin-layers 2.4.0 Combine different Irmin stores into a single, layered store
irmin-pack 2.4.0 Irmin backend which stores values in a pack file
jsonm 1.0.1 Non-blocking streaming JSON codec for OCaml
logs 0.7.0 Logging infrastructure for OCaml
lwt 5.4.0 Promises and event-driven I/O
menhir 20200612 An LR(1) parser generator
menhirLib 20200612 Runtime support library for parsers generated by Menhir
menhirSdk 20200612 Compile-time library for auxiliary tools related to Menhir
minilight 1.6 Minimal global illumination renderer.
mmap 1.1.0 File mapping functionality
mtime 1.2.0 Monotonic wall-clock time for OCaml
nbcodec 20151119 non-blocking IO interface design
num 1.3 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.12.0+domains The OCaml compiler (virtual package)
ocaml-base-compiler 4.12.0+domains OCaml compiler
ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged
ocaml-config 1 OCaml Switch Configuration
ocaml-migrate-parsetree 2.1.0+stock Convert OCaml parsetrees between different versions
ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions
ocamlbuild 0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
ocamlfind 1.9.1 A library manager for OCaml
ocamlgraph 2.0.0 A generic graph library for OCaml
ocplib-endian 1.1 Optimised functions to read and write int16/32/64 from strings and bigarrays
ocplib-simplex 0.4 A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
optint 0.0.4 Abstract type on integer between x64 and x86 architecture
orun 0.1 pinned to version 0.1 at file:///home/shubham/sandmark_domains_test/orun
owl-base 1.0.1 OCaml Scientific and Engineering Computing - Base
ppx_derivers 1.2.1 Shared [@@deriving] plugin registry
ppx_deriving 5.2.1 Type-driven code generation for OCaml
ppx_deriving_yojson 3.6.1 JSON codec generator for OCaml
ppx_irmin 2.4.0 PPX deriver for Irmin type representations
ppx_repr 0.2.1 PPX deriver for type representations
ppxlib 0.22.0+stock Standard library for ppx rewriters
progress 0.1.1 User-definable progress bars
psmt2-frontend 0.2 A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism
re 1.9.0 RE is a regular expression library for OCaml
react 1.2.1 Declarative events and signals for OCaml
repr 0.2.1 Dynamic type representations. Provides no stability guarantee
result 1.5 Compatibility Result module
rresult 0.6.0 Result value combinators for OCaml
rungen 0.1 pinned to version 0.1 at file:///home/shubham/sandmark_domains_test/rungen
semaphore-compat 1.0.1 Compatibility Semaphore module
seq base Compatibility package for OCaml's standard iterator type starting from 4.07.
sexplib0 v0.14.0 Library containing the definition of S-expressions and some base converters
stdio v0.14.0 Standard IO library for OCaml
stdlib-shims 0.1.0 Backport some of the new stdlib features to older compiler
stringext 1.6.0 Extra string functions for OCaml
terminal_size 0.1.4 Get the dimensions of the terminal
topkg 1.0.3 The transitory OCaml software packager
uchar 0.0.2 Compatibility library for OCaml's Uchar module
uri 4.1.0 An RFC3986 URI/URL parsing library
uuidm 0.9.7 Universally unique identifiers (UUIDs) for OCaml
uutf 1.0.2 Non-blocking streaming Unicode codec for OCaml
yojson 1.7.0 Yojson is an optimized parsing and printing library for the JSON format
zarith 1.9 Implements arithmetic and logical operations over arbitrary-precision integers
opam exec --switch 4.12.0+domains -- cp pausetimes/* $(opam config var bin)
opam exec --switch 4.12.0+domains -- rungen _build/4.12.0+domains_1 run_config_filtered.json > runs_dune.inc;
opam exec --switch 4.12.0+domains -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+domains @buildbench;
Executing benchmarks with:
RUN_CONFIG_JSON=run_config_filtered.json
RUN_BENCH_TARGET=run_orun (WRAPPER=orun)
PRE_BENCH_EXEC=
Raw
414_stock.log
make: 'run_config_filtered.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit 1b6fa1fce3bd339e85b87a4e4a2d914072034620
Author: shubhamkumar13 <[email protected]>
Date: Wed Jul 28 14:25:52 2021 +0530
remove previous version of ocamlfind
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file:///home/shubham/sandmark/dependencies
<><> Synchronising development packages <><><><><><><><><><><><><><><><><><><><>
[rungen.0.1] no changes from file:///home/shubham/sandmark/rungen
[orun.0.1] no changes from file:///home/shubham/sandmark/orun
[eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
opam install --switch=4.12.0+stock --keep-build-dir --yes rungen orun
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[orun.0.1] no changes from file:///home/shubham/sandmark/orun
[rungen.0.1] no changes from file:///home/shubham/sandmark/rungen
[NOTE] Package orun is already installed (current version is 0.1).
[NOTE] Package rungen is already installed (current version is 0.1).
[NOTE] Package ppxlib is already installed (current version is 0.22.0+stock).
[NOTE] Package ocaml-migrate-parsetree is already installed (current version is 2.1.0+stock).
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[eventlog-tools.~dev] no changes from git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
[NOTE] Package alt-ergo is already installed (current version is 2.3.2).
[NOTE] Package fraplib is already installed (current version is dev).
[NOTE] Package coq is already installed (current version is dev).
[NOTE] Package irmin-pack is already installed (current version is 2.4.0).
[NOTE] Package irmin-layers is already installed (current version is 2.4.0).
[NOTE] Package ppx_repr is already installed (current version is 0.2.1).
[NOTE] Package repr is already installed (current version is 0.2.1).
[NOTE] Package ppx_irmin is already installed (current version is 2.4.0).
[NOTE] Package ppx_deriving_yojson is already installed (current version is 3.6.1).
[NOTE] Package ppx_deriving is already installed (current version is 5.2.1).
[NOTE] Package mtime is already installed (current version is 1.2.0).
[NOTE] Package logs is already installed (current version is 0.7.0).
[NOTE] Package index is already installed (current version is 1.3.0).
[NOTE] Package conf-findutils is already installed (current version is 1).
[NOTE] Package cubicle is already installed (current version is 1.1.2).
[NOTE] Package irmin is already installed (current version is 2.4.0).
[NOTE] Package eventlog-tools is already installed (current version is ~dev).
[NOTE] Package sexplib0 is already installed (current version is v0.14.0).
[NOTE] Package checkseum is already installed (current version is 0.2.1).
[NOTE] Package nbcodec is already installed (current version is 20151119).
[NOTE] Package ocplib-endian is already installed (current version is 1.1).
[NOTE] Package react is already installed (current version is 1.2.1).
[NOTE] Package uuidm is already installed (current version is 0.9.7).
[NOTE] Package integers is already installed (current version is 0.4.0).
[NOTE] Package zarith is already installed (current version is 1.9).
[NOTE] Package lwt is already installed (current version is 5.4.0).
[NOTE] Package yojson is already installed (current version is 1.7.0).
[NOTE] Package camlimages is already installed (current version is 5.0.3).
[NOTE] Package dune-configurator is already installed (current version is 2.9.0).
[NOTE] Package dune-private-libs is already installed (current version is 2.9.0).
[NOTE] Package stdio is already installed (current version is v0.14.0).
[NOTE] Package base is already installed (current version is v0.14.1).
[NOTE] Package minilight is already installed (current version is 1.6).
[NOTE] Package menhir is already installed (current version is 20200612).
[NOTE] Package menhirLib is already installed (current version is 20200612).
[NOTE] Package camlzip is already installed (current version is 1.10).
[NOTE] Package decompress is already installed (current version is 1.1.0).
[NOTE] Package bigstringaf is already installed (current version is 0.6.1).
[NOTE] Package conf-zlib is already installed (current version is 1).
[NOTE] Package conf-pkg-config is already installed (current version is 1.2).
[NOTE] Package cpdf is already installed (current version is 2.3).
Nothing to do.
# Run eval $(opam env) to update the current shell environment
opam exec --switch 4.12.0+stock -- opam list
# Packages matching: installed
# Name # Installed # Synopsis
alt-ergo 2.3.2 The Alt-Ergo SMT prover
alt-ergo-lib 2.3.2 The Alt-Ergo SMT prover library
alt-ergo-parsers 2.3.2 The Alt-Ergo SMT prover parser library
angstrom 0.15.0 Parser combinators built for speed and memory-efficiency
astring 0.8.5 Alternative String module for OCaml
base v0.14.1 Full standard library replacement for OCaml
base-bigarray base
base-bytes base Bytes library distributed with the OCaml compiler
base-threads base
base-unix base
base64 3.5.0 Base64 encoding for OCaml
bheap 2.0.0 Priority queues
bigarray-compat 1.0.0 Compatibility library to use Stdlib.Bigarray when possible
bigstringaf 0.6.1 Bigstring intrinsics and fast blits based on memcpy/memmove
biniou 1.2.1 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
bos 0.2.0 Basic OS interaction for OCaml
camlimages 5.0.3 Image processing library
camlpdf 2.3 Read, write and modify PDF files
camlzip 1.10 Provides easy access to compressed files in ZIP, GZIP and JAR format
checkseum 0.2.1 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner 1.0.4 Declarative definition of command line interfaces for OCaml
conf-findutils 1 Virtual package relying on findutils
conf-gmp 1 Virtual package relying on a GMP lib system installation
conf-perl 1 Virtual package relying on perl
conf-pkg-config 1.2 Virtual package relying on pkg-config installation
conf-zlib 1 Virtual package relying on zlib
coq dev The Coq Proof Assistant
cpdf 2.3 High-level pdf tools based on CamlPDF
cppo 1.6.7 Code preprocessor like cpp for OCaml
csexp 1.3.2 Parsing and printing of S-expressions in Canonical form
cubicle 1.1.2 SMT based model checker for parameterized systems
decompress 1.1.0 Implementation of Zlib and GZip in OCaml
digestif 1.0.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
dune 2.9.0 Fast, portable, and opinionated build system
dune-configurator 2.9.0 Helper library for gathering system configuration
dune-private-libs 2.9.0 Private libraries of Dune
easy-format 1.3.2 High-level and functional interface to the Format module of the OCaml standard library
either 1.0.0 Compatibility Either module
eqaf 0.7 Constant-time equal function on string
eventlog-tools ~dev pinned to version ~dev at git+https://github.com/ocaml-multicore/eventlog-tools.git#multicore
fmt 0.8.9 OCaml Format pretty-printer combinators
fpath 0.7.3 File system paths for OCaml
fraplib dev FRAP lib, the library of FRAP book
index 1.3.0 A platform-agnostic multi-level index for OCaml
integers 0.4.0 Various signed and unsigned integer types for OCaml
interval-map 0.2.0 An immutable interval map data structure
irmin 2.4.0 Irmin, a distributed database that follows the same design principles as Git
irmin-layers 2.4.0 Combine different Irmin stores into a single, layered store
irmin-pack 2.4.0 Irmin backend which stores values in a pack file
jsonm 1.0.1 Non-blocking streaming JSON codec for OCaml
logs 0.7.0 Logging infrastructure for OCaml
lwt 5.4.0 Promises and event-driven I/O
menhir 20200612 An LR(1) parser generator
menhirLib 20200612 Runtime support library for parsers generated by Menhir
menhirSdk 20200612 Compile-time library for auxiliary tools related to Menhir
minilight 1.6 Minimal global illumination renderer.
mmap 1.1.0 File mapping functionality
mtime 1.2.0 Monotonic wall-clock time for OCaml
nbcodec 20151119 non-blocking IO interface design
num 1.3 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.12.0+stock The OCaml compiler (virtual package)
ocaml-base-compiler 4.12.0+stock OCaml compiler
ocaml-compiler-libs v0.12.3 OCaml compiler libraries repackaged
ocaml-config 1 OCaml Switch Configuration
ocaml-migrate-parsetree 2.1.0+stock Convert OCaml parsetrees between different versions
ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions
ocamlbuild 0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
ocamlfind 1.9.1 A library manager for OCaml
ocamlgraph 2.0.0 A generic graph library for OCaml
ocplib-endian 1.1 Optimised functions to read and write int16/32/64 from strings and bigarrays
ocplib-simplex 0.4 A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
optint 0.0.4 Abstract type on integer between x64 and x86 architecture
orun 0.1 pinned to version 0.1 at file:///home/shubham/sandmark/orun
owl-base 1.0.1 OCaml Scientific and Engineering Computing - Base
ppx_derivers 1.2.1 Shared [@@deriving] plugin registry
ppx_deriving 5.2.1 Type-driven code generation for OCaml
ppx_deriving_yojson 3.6.1 JSON codec generator for OCaml
ppx_irmin 2.4.0 PPX deriver for Irmin type representations
ppx_repr 0.2.1 PPX deriver for type representations
ppxlib 0.22.0+stock Standard library for ppx rewriters
progress 0.1.1 User-definable progress bars
psmt2-frontend 0.2 A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism
re 1.9.0 RE is a regular expression library for OCaml
react 1.2.1 Declarative events and signals for OCaml
repr 0.2.1 Dynamic type representations. Provides no stability guarantee
result 1.5 Compatibility Result module
rresult 0.6.0 Result value combinators for OCaml
rungen 0.1 pinned to version 0.1 at file:///home/shubham/sandmark/rungen
semaphore-compat 1.0.1 Compatibility Semaphore module
seq base Compatibility package for OCaml's standard iterator type starting from 4.07.
sexplib0 v0.14.0 Library containing the definition of S-expressions and some base converters
stdio v0.14.0 Standard IO library for OCaml
stdlib-shims 0.1.0 Backport some of the new stdlib features to older compiler
stringext 1.6.0 Extra string functions for OCaml
terminal_size 0.1.4 Get the dimensions of the terminal
topkg 1.0.3 The transitory OCaml software packager
uchar 0.0.2 Compatibility library for OCaml's Uchar module
uri 4.1.0 An RFC3986 URI/URL parsing library
uuidm 0.9.7 Universally unique identifiers (UUIDs) for OCaml
uutf 1.0.2 Non-blocking streaming Unicode codec for OCaml
yojson 1.7.0 Yojson is an optimized parsing and printing library for the JSON format
zarith 1.9 Implements arithmetic and logical operations over arbitrary-precision integers
opam exec --switch 4.12.0+stock -- cp pausetimes/* $(opam config var bin)
opam exec --switch 4.12.0+stock -- rungen _build/4.12.0+stock_1 run_config_filtered.json > runs_dune.inc;
opam exec --switch 4.12.0+stock -- dune build --profile=release --workspace=ocaml-versions/.workspace.4.12.0+stock @buildbench;
Executing benchmarks with:
RUN_CONFIG_JSON=run_config_filtered.json
RUN_BENCH_TARGET=run_orun (WRAPPER=orun)
PRE_BENCH_EXEC=
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment