• François Bobot's avatar
    Why3session : a new why3 program · da5b5d18
    François Bobot authored
    It's goal is to allow to view and modify sessions.
    
    Currently three sub-commands :
    info : can give the provers used, pretty-print in ascii a session,
         can give the corresponding directory
    mod : allow to set obsolete, or modify the archive state of proof attempt
        which corresponds to selected provers
    copy : copy a proof attempt by modifing its prover
    da5b5d18
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...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in 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...
configure.in Loading commit data...