index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
ltac
/
profile_ltac.ml
Age
Commit message (
Expand
)
Author
2021-01-27
[ltac] break dependency on the STM
Enrico Tassi
2020-11-25
Separate interning and pretyping of universes
Gaëtan Gilbert
2020-10-08
Dropping the misleading int argument of Pp.h.
Hugo Herbelin
2020-05-02
Move tclWRAPFINALLY to profile_ltac
Jason Gross
2020-05-02
Decrease LtacProf overhead when not profiling
Jason Gross
2020-05-02
LtacProf now handles multi-success backtracking
Jason Gross
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-02-12
Remove Goptions.opt_name field
Gaëtan Gilbert
2019-08-29
Make sure that all query commands return a notice (not an info) feedback
Maxime Dénès
2019-07-08
[core] [api] Support OCaml 4.08
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2018-11-23
s/let _ =/let () =/ in some places (mostly goptions related)
Gaëtan Gilbert
2018-11-17
[ltac] Use CAst nodes in the tactic AST.
Emilio Jesus Gallego Arias
2018-10-16
[clib] Deprecate string functions available in OCaml 4.05
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-12-18
Merge PR #6381: A version of [time] that works on constr evaluation
Maxime Dénès
2017-12-18
Merge PR #6411: Fix #5081 by more fine-grained LtacProf recording
Maxime Dénès
2017-12-14
Add named timers to LtacProf
Jason Gross
2017-12-12
Fix #5081 by more fine-grained LtacProf recording
Jason Gross
2017-12-11
Use msg_info for LtacProf
Jason Gross
2017-10-06
[stm] Switch to a functional API
Emilio Jesus Gallego Arias
2017-07-17
[API] Remove `open API` in ml files in favor of `-open API` flag.
Emilio Jesus Gallego Arias
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-06-10
Remove (useless) aliases from the API.
Matej Košík
2017-06-07
Put all plugins behind an "API".
Matej Kosik
2017-06-02
Drop '.' from CErrors.anomaly, insert it in args
Jason Gross
2017-05-25
Merge PR#481: [option] Remove support for non-synchronous options.
Maxime Dénès
2017-05-24
Merge branch 'trunk' into located_switch
Emilio Jesus Gallego Arias
2017-05-24
[option] Remove support for non-synchronous options.
Emilio Jesus Gallego Arias
2017-04-27
Remove some unused values and types
Gaetan Gilbert
2017-04-25
[location] Remove Loc.ghost.
Emilio Jesus Gallego Arias
2017-04-12
[stm] Remove edit_id.
Emilio Jesus Gallego Arias
2017-03-14
[safe-string] ltac/profile_ltac
Emilio Jesus Gallego Arias
2017-02-17
Ltac as a plugin.
Pierre-Marie Pédrot
