Commits

History for

Commits on Dec 9, 2022

dune-dbg support coqnative
SkySkimmer
committedDec 9, 2022

Commits on Dec 6, 2022

Remove Flags.native_compiler
SkySkimmer
committedDec 6, 2022

Commits on Oct 18, 2022

[build] Unify worker binaries.

ejgallego
and
SkySkimmer
committedOct 18, 2022

Commits on Oct 7, 2022

Stop using rectypes in coq-core
SkySkimmer
committedOct 7, 2022

Commits on May 31, 2022

[mltop] Strengthen and document PluginSpec API
ejgallego
committedMay 31, 2022

Commits on May 30, 2022

[mltop] Improve and fix the legacy plugin loading method.
ejgallego
committedMay 30, 2022

Commits on Apr 26, 2022

Update a comment mentioning an OCaml version.
ppedrot
committedApr 26, 2022

Commits on Mar 10, 2022

merge minisys back into system
Alizter
committedMar 10, 2022

Commits on Jan 25, 2022

[findlib] compat with dune (legacy plugin names)
gares
committedJan 25, 2022
[plugins] load code with findlib
gares
committedJan 25, 2022

Commits on Dec 5, 2021

Drop backtrace when raising Exit
rgrinberg
committedDec 5, 2021

Commits on Oct 20, 2021

Add periods to error messages.
Alizter
committedOct 20, 2021

Commits on Oct 11, 2021

Remove unused hdr argument of user_err
SkySkimmer
committedOct 11, 2021

Commits on Sep 14, 2021

[coqtop] [byte] [ocaml] Address OCaml 4.13 deprecations
ejgallego
committedSep 14, 2021

Commits on Sep 10, 2021

[build] [tools] Consolidation of directory handling code
ejgallego
committedSep 10, 2021

Commits on Jul 8, 2021

Add a -help option to coqnative.
ppedrot
committedJul 8, 2021

Commits on Jun 23, 2021

Do not link libraries in coqnative.
ppedrot
committedJun 23, 2021

Commits on Jun 22, 2021

[coqnative] Support -boot option
ejgallego
committedJun 22, 2021

Commits on Jun 18, 2021

Treat set predicativity and sprop-allowed more like normal typing flags
SkySkimmer
committedJun 18, 2021

Commits on Jun 17, 2021

[coqnative] Accept -native-output-dir
ejgallego
committedJun 17, 2021

Commits on Jun 10, 2021

Fix test-suite/coq-makefile/emptyprefix
proux01
committedJun 10, 2021
[coqnative] Exit with non zero code on error
proux01
committedJun 10, 2021

Commits on May 6, 2021

[coqnative] Adjust library dependency
ejgallego
committedMay 6, 2021
Fix the native compilation of Ltac2 in hybrid mode.
ppedrot
committedMay 6, 2021

Commits on May 5, 2021

Adding a POC vo to cmxs extractor.
ppedrot
committedMay 5, 2021

Commits on Mar 3, 2021

[build] Split stdlib to it's own opam package.
ejgallego
committedMar 3, 2021

Commits on Oct 9, 2020

[stm] move par: implementation to vernac/comTactic and stm/partac

gares
and
SkySkimmer
committedOct 9, 2020

Commits on Mar 18, 2020

Update headers in the whole code base.
Zimmi48
committedMar 18, 2020

Commits on Feb 24, 2020

[exn] Forbid raising in exn printers, make them return Pp.t option
ejgallego
committedFeb 24, 2020

Commits on Jan 29, 2020

[rfc] [mltop] Removal of dynamic loading of object and .ml files
ejgallego
committedJan 29, 2020

Commits on Jan 16, 2020

[mltop] Remove error handling hacks in favor of default methods.
ejgallego
committedJan 16, 2020

Commits on Dec 4, 2019

[dune] Update to dune language version 2.0
ejgallego
committedDec 4, 2019

Commits on Jul 8, 2019

An even more uniform treatment of the -help option across executables.

herbelin
authored and
ejgallego
committedJul 8, 2019

Commits on Jun 21, 2019

[dune] Enable optimization options in the compilation of the VM.
ejgallego
committedJun 21, 2019

Commits on Jun 17, 2019

Update ml-style headers to new year.
Zimmi48
committedJun 17, 2019