---
title: Work log 2016-08-02
---

Problem during benchmarking with Criterion (`mlspec-bench`). Looks like some Haskell pacakges aren't in-scope.

That *was* the job of `buildEnv` ~~ but we ended up benchmarking the ~~ but it's since been moved to `extractedEnv` in Nix. Looks like we weren't including the extracted env when clustering.

Turned `build-env` into a simple checking script, rather than a wrapper.

We want to run TIP benchmarks through Isa*, which requires the complete SMT-lib formatted collection of statements.

This is currently piped into the Haskell-making tool, rather than being saved; we need to split it off into its own derivation, and fall back to generating it if not available.

Had to pull out `prepare.sh`, so we get normalised, prettified smtlib.