tools · coq · Tangled

forked from coq/coq

coq tools

5 folders · 24 files

Gaëtan Gilbert · Fix python file paths for executing on windows · 1mo ago

Add support for native_compute on ARM64 processors.

Skip string literals when rocq dep looks for the end of a sentence

Add -package option to [rocq doc].

Remove compat coq-core libraries (not executables)

Fix make dunestrap for upcoming dune

beautify-archive

[flags] Remove XML output flag.

coq_makefile.ml

Add `rocq makefile` subcommand, move coq_makefile back to coq-core

coq_makefile.mli

Enable warning 70 (missing mli), add mli files

Add `rocq tex` subcommand, move coq-tex back to coq-core

Enable warning 70 (missing mli), add mli files

Fix python file paths for executing on windows

Add `rocq wc` subcommand, move coqwc back to coq-core

Enable warning 70 (missing mli), add mli files

Add new [rocqfind] tool.

make-both-single-timing-files.py

Add --fuzz, --real, --user to timing scripts

make-both-time-files.py

Add memory stats to tables by default

make-one-time-file.py

Add memory stats to tables by default

ocamllibdep.mli

Enable warning 70 (missing mli), add mli files

ocamllibdep.mll

Update the OCaml headers to reflect the fact Coq is now Rocq.

Add new [rocqfind] tool.

Add new [rocqfind] tool.

rocqmakefile.ml

-package delay resolving until -I have been processed

rocqmakefile.mli

Add `rocq makefile` subcommand, move coq_makefile back to coq-core

Rename Coq -> Rocq in rocqtex usage

Add `rocq tex` subcommand, move coq-tex back to coq-core

Add `rocq wc` subcommand, move coqwc back to coq-core

Fix issue 21422.

TimeFileMaker.py

TimeFileMaker put filename in the last column

env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / COQLIB