تاریخچه Commit ها

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