summaryrefslogtreecommitdiff
path: root/docs/users_guide/profiling.rst
Commit message (Expand)AuthorAgeFilesLines
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-1/+43
* users-guide: Make it easier to reference haddocksBen Gamari2017-07-241-3/+3
* users-guide: Eliminate some redundant index entriesBen Gamari2017-07-241-6/+0
* Fix more documentation wibblesBen Gamari2017-07-231-2/+9
* users-guide: Fix various wibblesBen Gamari2017-07-231-8/+11
* users-guide: Standardize and repair all flag referencesPatrick Dougherty2017-07-231-36/+53
* [Docs] Prefer cost centreBartosz Nitka2017-05-081-3/+3
* Document hithertoo undocumented HPCTIXFILE option.Edward Z. Yang2017-03-241-3/+6
* rts: Allow profile output path to be specified on RTS command lineBen Gamari2017-02-281-1/+12
* users-guide: Add documentation for JSON profile formatBen Gamari2017-02-261-2/+151
* JSON profiler reportsBen Gamari2017-02-231-0/+5
* Bump the default allocation area size to 1MBSimon Marlow2016-08-311-1/+1
* Support SCC pragmas in declaration contextÖmer Sinan Ağacan2016-07-201-2/+19
* Log heap profiler samples to event logBen Gamari2016-07-161-4/+20
* users-guide: WibblesBen Gamari2016-01-141-1/+1
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-210/+183
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+1390