Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Andreas Abel 0d80f4600d Benchmark run 2014-03-23 with new benchmark facility. před 10 roky
  ulfn ab98bc2570 benchmarks with and without sharing před 12 roky
  ulfn b735903866 implemented sharing and call-by-need (disabled for now) před 12 roky
  ulfn f8b5b43457 benchmark run před 12 roky
  ulfn 0f8b3cb164 avoid creating metas in isType_ před 13 roky
  ulfn 15b2d884ca benchmark run after new mutual syntax před 13 roky
  ulfn 5474d3d7db benchmark run před 13 roky
  ulfn 05eb51dbeb benchmark run after positivity fix (cwf is now twice as slow) před 13 roky
  ulfn fabf26da75 benchmark run for nuked MonadTCMs před 13 roky
  ulfn 1d303c2e6d replaced nubBy in Syntax.Operators.localNames with the new Agda.Utils.List.uniqBy před 13 roky
  ulfn af1da280f1 benchmark run with new constraint machinery před 13 roky
  ulfn b556a66664 benchmark run před 13 roky
  ulfn 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary před 13 roky
  ulfn 93763453f7 benchmark run před 13 roky
  ulfn 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory před 13 roky
  ulfn b5f2ad8726 benchmark run for improved lambda checking před 13 roky
  ulfn f208ef73e0 benchmark run after pushing types into lambda abstractions před 13 roky
  ulfn 7163009645 benchmark run for (\x -> x) as (\(x : _) -> x) před 13 roky
  ulfn dadd7ef57f benchmark run with new state monad implementation před 13 roky
  ulfn 9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma) před 13 roky
  ulfn c1eb642726 reduced the complexity of the pattern match benchmark před 13 roky
  ulfn 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons před 13 roky
  ulfn 598bd70d43 benchmark run with new computer před 13 roky
  ulfn 0503f76399 benchmark run před 13 roky
  ulfn f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs před 13 roky
  ulfn 177a700aca benchmark run před 13 roky
  ulfn c252e823c2 benchmark run with new improved compareArgs constraint před 13 roky
  ulfn 8fbbf5c9da notes on the benchmarks před 13 roky