coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-11-06	[Docker] Update COMPILER_EDGE: 4.07.0 → 4.07.1	Vincent Laporte
	Also update CAMLP5_VER_EDGE: 7.06 → 7.06.10-g84ce6cc4 This is to avoid an OCaml bug that occurs when compiling the OCaml code extracted from part of a patched version of CompCert. ~~~ File "extraction/Parser.ml", line 12375, characters 19-29: Error: Constraints are not satisfied in this type. Type initstate' should be an instance of initstate' ~~~ This compiler issue only appears with OCaml 4.07.0 (neither with 4.06 nor with 4.07.1); hence this update.
2018-10-23	[dune] [opam] Move to OPAM 2.0	Emilio Jesus Gallego Arias
	We need to update in Docker: - dune to 1.4.0: as it honors `-p` on test stanzas - dune-release to 1.1.0: support for OPAM 2.0 + fixes This makes `dune-release distrib` / `dune-release opam pkg` work. TODO: we need to figure out what is going on with the versioning. Should we do `dune subst` on `pinned`?
2018-10-09	[dune] Provide an optimized build profile with inlining reports.	Emilio Jesus Gallego Arias
	This satisfies a wish by @ppedrot
2018-10-02	[dune] Fix couple of minor bugs in #8617	Emilio Jesus Gallego Arias
	I forgot to update `.PHONY` and to put the proper flags in the new workspace file.
2018-10-02	[dune] Provide workspace file will all OCaml builds tested in CI.	Emilio Jesus Gallego Arias