summaryrefslogtreecommitdiff
path: root/docs/users_guide/using-optimisation.rst
Commit message (Expand)AuthorAgeFilesLines
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-15/+1
* llvmGen: Pass vector arguments in vector registers by defaultBen Gamari2017-11-021-0/+12
* Implement a dedicated exitfication pass #14152Joachim Breitner2017-10-291-0/+10
* user-guide: Clarify default optimization flagsBen Gamari2017-10-251-6/+7
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-2/+283
* users-guide: Standardize and repair all flag referencesPatrick Dougherty2017-07-231-26/+29
* Fix links to SPJ’s papers (fixes #12578)Takenobu Tani2017-07-191-1/+1
* Correct optimization flags documentationSantiago Munin2017-06-081-5/+3
* Typos in comments and manual [ci skip]Gabor Greif2017-05-231-2/+2
* users-guide: Fix a variety of warningsBen Gamari2017-05-081-2/+1
* Show valid substitutions for typed holesMatthías Páll Gissurarson2017-03-291-0/+10
* -fspec-constr-keen docs typos [skip ci]Matthew Pickering2017-03-271-2/+2
* Update link to paper about demand analyser in user guideMatthew Pickering2017-03-191-5/+2
* Add -fspec-constr-keenSimon Peyton Jones2017-02-261-1/+11
* users-guide: Document defaults for remaining optimization flagsBen Gamari2017-02-081-10/+42
* Use top-level instances to solve superclasses where possibleDaniel Haraj2017-01-311-0/+31
* Document -fspecialise-aggressivelyMatthew Pickering2017-01-231-0/+12
* Add a CSE pass to Stg (#9291)Joachim Breitner2017-01-051-0/+8
* Scrutinee Constant FoldingSylvain Henry2016-12-091-1/+20
* nativeGen: Allow -fregs-graph to be usedBen Gamari2016-06-301-11/+17
* Add flag to control number of missing patterns in warningsDavid Luposchainsky2016-04-171-1/+8
* Do not claim that -O2 does not do better than -OJoachim Breitner2016-03-301-3/+0
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-247/+202
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+780