Historique des commits

Auteur SHA1 Message Date
  Ulf Norell 2f212bf556 Add --auto-inline and make it off by default il y a 4 ans
  G. Allais a09aa4e3e3 [ fix #760 ] and other warnings related to useless 'public' (#3984) il y a 5 ans
  Ulf Norell 8006398b71 fix std-lib benchmark test case il y a 5 ans
  = 1cc377b2d9 Updated to v1.0 of the standard library il y a 5 ans
  Andrés Sicard-Ramírez 1771bb2be7 [ std-lib ] Updated subproject commit and required changes. il y a 5 ans
  Guillaume Allais e6d948f836 [ fix ] benchmark relying on std-lib il y a 5 ans
  Andrés Sicard-Ramírez 7cdd02ff58 [ fixed benchmarks ] Updated module names. il y a 6 ans
  Matthew Daggitt 5f87375232 Updated the standard library to experimental v0.15 il y a 6 ans
  Nils Anders Danielsson da1a77c650 Fixed #2909. il y a 6 ans
  gallais 7be1e5f1c7 [ update std-lib ] and fix tests / benchmark il y a 7 ans
  gallais 3156aefabf Revert "[ fix #2648 ] new stdlib list membership" il y a 7 ans
  gallais 91506761d4 [ fix #2648 ] new stdlib list membership il y a 7 ans
  Nils Anders Danielsson aa93d46c40 Updated benchmark code (the standard library has been changed). il y a 13 ans
  ulfn 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary il y a 13 ans