Cronologia Commit

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