topbin · coq · Tangled

forked from coq/coq

coq topbin

19 files

Gaëtan Gilbert · Move print-mod-uid to main rocq exe instead of rocq repl · 2mo ago

rename coqworker -> rocqworker

Enable warning 70 (missing mli), add mli files

Add `rocq native-precompile` subcommand, move coqnative back to coq-core

Add `rocq native-precompile` subcommand, move coqnative back to coq-core

rename coqworker -> rocqworker

Enable warning 70 (missing mli), add mli files

coqtop_byte_bin.ml

rename coqworker -> rocqworker

coqtop_byte_bin.mli

Enable warning 70 (missing mli), add mli files

Add new [rocqfind] tool.

Move print-mod-uid to main rocq exe instead of rocq repl

Rocq CLI prototype

-package delay resolving until -I have been processed

Add `rocq native-precompile` subcommand, move coqnative back to coq-core

Rename Env.corelib -> Env.runtimelib

Handle queries in rocqshim when possible

rocqworker_with_drop.ml

Fix Drop on ocaml >= 5.3

rocqworker_with_drop.mli

rename coqworker -> rocqworker

rename coqworker -> rocqworker

rename coqworker -> rocqworker