Historial de Commits

Autor SHA1 Mensaje Fecha
  Robert Estelle 957da4d2c6 ghc-support: Remove outdated GHC <= 7.4 pragma hace 4 años
  Andrés Sicard-Ramírez 1f965d322a [ #4242 ] Supported GHC 8.10.1 in benchmark suite. hace 4 años
  Ulf Norell b3e95b5a67 [ benchmarks ] fix benchmark suite not parsing meta and constraint stats hace 6 años
  Fredrik Nordvall Forsberg 6025921a91 [ benchmarks ] accept substring of log filename hace 7 años
  Andrés Sicard-Ramírez 1ef93d0210 [ Issue 1498 ] Fixed. hace 9 años
  Ulf Norell cf38e05f1d [test] print benchmark statistics after 'make test' benchmark run hace 9 años
  ulfn 1c6f51e7b7 removed duplicate Applicative instance in Benchmark.hs hace 12 años
  ulfn 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary hace 13 años
  ulfn c252e823c2 benchmark run with new improved compareArgs constraint hace 13 años
  ulfn 71c5a5925d print ticks after each module and changed meta counter to be a tick hace 13 años
  ulfn 24a0a80cf3 count the number of constraints that we attempt to solve hace 13 años
  ulfn 7a76c52179 [benchmarks] parse number of metas hace 13 años
  ulfn fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) hace 13 años
  ulfn 79f8372d78 added another benchmark test hace 16 años
  ulfn d36c568134 benchmark run hace 16 años
  ulfn 69398678c0 parser for benchmark log files hace 16 años