• Jean-Christophe Filliatre's avatar
    OCaml extraction now recursively extracts all dependencies · cdd75610
    Jean-Christophe Filliatre authored
    All files are extracted to the target repository, even those
    corresponding to files from the Why3 standard library.
    Some of these files may be empty (e.g. ref__Ref.ml) when everything
    is overridden by the OCaml driver. You can ignore these files when
    compiling the extracted OCaml code.
    cdd75610
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...