Code

Add owl #341

Code

Open

moazzammoriani wants to merge 14 commits intoocaml-bench:mainocaml-bench/sandmark:mainfrom moazzammoriani:add_owl_and_ocaml-plplotmoazzammoriani/sandmark:add_owl_and_ocaml-plplotCopy head branch name to clipboard

+204-6

Commits

Commits on Jun 8, 2022

• Create opam files for new packages: owl and plplot

  moazzammoriani

  committed
  be08ce8

• Update opam files with links to tar file

  moazzammoriani

  committed
  74b6e01

• Setup simple test for owl

  moazzammoriani

  committed
  d7d51d4

• Update runparams

  moazzammoriani

  committed
  4bb4d4a

• Take step towards getting Owl dependencies without pinning to local repo

  Show description for 78d640d
  moazzammoriani

  committed
  78d640d

• Add owl dependencies

  Show description for 7ef03f9
  moazzammoriani

  committed
  7ef03f9

• Require owl dependencies to be installed

  Show description for ef2fc01
  moazzammoriani

  committed
  ef2fc01

• Pin base to patched version

  moazzammoriani

  committed
  58b238c

• Arrive at a point where alt-ergo-lib is the only failing dep

  moazzammoriani

  committed
  787fd72

• Fix owl benchmark type error

  moazzammoriani

  committed
  d8bff85

• Fix benchmark bug and clear out redundant code and files

  moazzammoriani

  committed
  fcf0dbe

• Change owl pin to moazzammoriani/owl.git#500+arm64

  moazzammoriani

  committed
  59bf19b

Commits on Jun 9, 2022

• Include solution to the Ubuntu-OpenBLAS issue in the CI

  moazzammoriani

  committed
  8370cea

• Run the ldconfig command in the CI prefixed with 'sudo'

  moazzammoriani

  committed
  8eeebdf