aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/logic_monad.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
* [lib] Generalize Control.timeout type.Gravatar Emilio Jesus Gallego Arias2017-11-24
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Make the user_err header an optional parameter.Gravatar Emilio Jesus Gallego Arias2016-08-19
* Remove errorlabstrm in favor of user_errGravatar Emilio Jesus Gallego Arias2016-08-19
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-19
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-06
* Adding a primitive to the tactic monad to modify the exceptional content.Gravatar Pierre-Marie Pédrot2015-05-07
* Exposing the minimal amount of internal of the Logic monad in order toGravatar Pierre-Marie Pédrot2015-05-06
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-05-05
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 05:04:26 +0000