aboutsummaryrefslogtreecommitdiffhomepage
path: root/ltac/profile_ltac.ml
Commit message (Expand)AuthorAge
* LtacProf cutoff is for total percent, not timeGravatar Jason Gross2016-09-29
* -profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100)Gravatar Enrico Tassi2016-09-29
* LtacProf: "Show Ltac Profile CutOff $N" (fix #5080)Gravatar Enrico Tassi2016-09-27
* LtacProp: fix reset_profile (fix #5079)Gravatar Enrico Tassi2016-09-13
* Fix newlines in printout of LtacProfGravatar Jason Gross2016-09-11
* Revert the LtacProf tactic table headerGravatar Jason Gross2016-09-11
* ltacprof: rec-calls are coaleshedGravatar Enrico Tassi2016-09-07
* profile_ltac: rewritten to be purely functional and STM awareGravatar Enrico Tassi2016-09-05
* Fix bug #4914: LtacProf printout has too many newlines.Gravatar Pierre-Marie Pédrot2016-08-23
* Fix bug #4939: LtacProf prints tactic notations weirdly.Gravatar Pierre-Marie Pédrot2016-08-18
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* LtacProf reports structured results (pr/209)Gravatar CJ Bell2016-06-20
* Fix another missing newlineGravatar Jason Gross2016-06-16
* Fix a printing typoGravatar Jason Gross2016-06-16
* Commenting out debugging code.Gravatar Pierre-Marie Pédrot2016-06-14
* Correct use of printing primitives.Gravatar Pierre-Marie Pédrot2016-06-14
* Better coding style (semantics).Gravatar Pierre-Marie Pédrot2016-06-14
* Better coding style (syntax).Gravatar Pierre-Marie Pédrot2016-06-14
* Adding Coq headers.Gravatar Pierre-Marie Pédrot2016-06-14
* Moving back Ltac profiling to the Ltac folder.Gravatar Pierre-Marie Pédrot2016-06-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 20:19:17 +0000