summaryrefslogtreecommitdiff
path: root/nofib
Commit message (Expand)AuthorAgeFilesLines
* Kill vestiages of DEFAULT_TMPDIRBen Gamari2016-09-011-0/+0
* Update `nofib` submodule to newest commitGabor Greif2016-08-141-0/+0
* Revert accidental submodule updatesThomas Miedema2016-06-181-0/+0
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-0/+0
* Fix: #12084 deprecate old profiling flagsSeraphime Kirkovski2016-05-241-0/+0
* Update nofib submodule to nofib masterJoachim Breitner2016-04-281-0/+0
* Update nofib submodule againJoachim Breitner2015-10-021-0/+0
* Update nofib submoduleJoachim Breitner2015-10-021-0/+0
* update submoduleSimon Marlow2015-01-281-0/+0
* submodule update: remove html dependency from nofib.Edward Z. Yang2015-01-051-0/+0
* Update nofib submodule, unbreak cryptarithm2Joachim Breitner2014-12-301-0/+0
* Fixup nofib submodule to cope with e5cca4ab246ca2Herbert Valerio Riedel2014-09-291-0/+0
* Adapt nofib submodule to #9586 changesHerbert Valerio Riedel2014-09-231-0/+0
* Update nofib submodule: Update gitignore with more generated filesEdward Z. Yang2014-09-111-0/+0
* Update nofib submodule to track gc bitrot updates.Edward Z. Yang2014-09-091-0/+0
* Update nofib submodule to fix errors in main suite.Edward Z. Yang2014-09-091-0/+0
* Update nofib submodule: Hide Word from PreludeJoachim Breitner2014-09-021-0/+0
* Increase precision of timings reported by RTSHerbert Valerio Riedel2014-07-281-0/+0
* Convert loose sub-repos into proper submodules (re #8545)Herbert Valerio Riedel2014-06-251-0/+0