Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 21, 2024

• Remove outdated section on releasing LH

  facundominguez

  committed
  6aafce4

• Update dep bounds of profiling driver

  facundominguez

  committed
  508cfe9

Commits on May 25, 2024

• Avoid useless cabal reconfigurations when testing

  facundominguez

  committed
  eca0cac

Commits on May 23, 2024

• Remove unused plotting code: plot-benchmarks

  facundominguez

  committed
  4aa5cd7

Commits on Feb 4, 2024

• Remove mentions of liquid-platform

  facundominguez

  committed
  542441e

Commits on Feb 3, 2024

• Embed files that were packaged with liquidhaskell-boot ucsd-progsys#2265

  facundominguez

  committed
  45cac37

Commits on Jan 29, 2024

• Update build configuration to use ghc-9.8.1

  facundominguez

  committed
  abc4e18

Commits on Jan 25, 2024

• Fix cabal file for plot-performance

  facundominguez

  committed
  6d04eb4

Commits on Dec 6, 2023

• Update documentation files

  facundominguez

  committed
  7c17b0c

• Update cabal and stack configuration

  facundominguez

  committed
  b571744

Commits on Dec 5, 2023

• Update Liquid Haskell to build with ghc-9.6.3

  facundominguez

  committed
  97a2016

Commits on Nov 18, 2023

• Update the profiling driver

  facundominguez

  committed
  6057cb7

• Update cabal configuration to build with ghc-9.4.7

  facundominguez

  committed
  7dd3e6c

Commits on Sep 21, 2023

• Build the profiling driver with cabal

  facundominguez

  committed
  7aacac7

Commits on Aug 8, 2023

• plot-performance: Collect all warnings in a single field of BenchmarkComparison

  facundominguez

  committed
  fd81c3d

• plot-performance: rename bdsLen to bcLen

  facundominguez

  committed
  658be2c

Commits on Aug 7, 2023

• plot-performance: Report benchmarks which failed to run

  facundominguez

  committed
  fb94e50

• plot-performance: Display warnings about the missing data prominently on the plots

  facundominguez

  committed
  a51a6e6

• plot-performance: Avoid explicit recursion in compareBenchmarks

  facundominguez

  committed
  fc4ad5e

• plot-performance: Rename BenchmarkDataSet to BenchmarkComparison

  facundominguez

  committed
  023b354

• plot-performance: Rename splitBenchmarks to compareBenchmarks

  facundominguez

  committed
  2373664

Commits on Aug 6, 2023

• plot-performance: Merge early removed and added rows

  facundominguez

  committed
  3c98765

• plot-performance: Rearrange logic in mkPlotData

  facundominguez

  committed
  ccdc672

• plot-performance: Factor out function to make per-row plot data

  facundominguez

  committed
  b11e46f

• plot-performance: Remove unused parameter rev

  facundominguez

  committed
  c12dadc

• plot-performance: Remove special handling of added and missing measures

  facundominguez

  committed
  ce1f5b2

• plot-performance: Don't read the unused result field

  facundominguez

  committed
  260372d

• plot-performance: Remove unused decouple function

  facundominguez

  committed
  4db30e5

• plot-performance: Rename f0 to dropAppMain

  facundominguez

  committed
  6715876

• plot-performance: Rename f to selectTests

  facundominguez

  committed
  483123e

Commits on Jun 8, 2023

• make -o optional, create outdir is missing

  clayrat

  committed
  aac5c51

• decide chart height from dataset size, print dims

  clayrat

  committed
  6a43d8a

Commits on Jun 7, 2023

• print filenames

  clayrat

  committed
  3850e1d

Commits on Jun 5, 2023

• syntax

  clayrat

  committed
  74ac78c

• plot-perf refactor

  clayrat

  committed
  9c21bca

Pagination

PreviousNext