aboutsummaryrefslogtreecommitdiff
path: root/kernel/dune
AgeCommit message (Expand)Author
2021-03-31[dune] Rename byterun to coqrunEmilio Jesus Gallego Arias
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2020-10-06Use OCaml floating-point operations on 64 bits archPierre Roux
2020-08-18Rename VM-related kernel/cfoo files to kernel/vmfooGaëtan Gilbert
2019-08-24Simplify picking between uint63_63.ml and uint63_31.mlGaëtan Gilbert
2019-05-21[build] Select uint63 using `ocamlc -config` variables.Emilio Jesus Gallego Arias
2019-03-28[dune] Don't have `lib` depend on `dynlink`Emilio Jesus Gallego Arias
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-02-04[dune] Fix Dune build in Windows.Emilio Jesus Gallego Arias
2019-02-04Primitive integersMaxime Dénès
2018-12-14[dune] [gitlab] Test OCaml trunk.Emilio Jesus Gallego Arias
2018-11-26[dune] Minor tweak of dependencies.Emilio Jesus Gallego Arias
2018-09-24[kernel] Compile with almost all warnings enabled.Emilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:28:24 +0000