• Rehan MALAK's avatar
    This is an experimental branch to play with Ptree's · e53e78b4
    Rehan MALAK authored
    0) opam install ppx_optcomp
    
    1) build why3 with --enable-local :
    
    git clean -dffx && ./autogen.sh && ./configure --enable-local && make -j8
    
    2) play with ptree's api
    
    cd examples/use_api
    make
    
    3) why3_ptree is a program parsing a *.mlw file that returns the complete ptree (list of modules) and then print the ptree in debug mode and with a pretty printer :
    
      ./why3_ptree ../examples/logic/real.why
    
    In particular, it has a ptree ast debug printer
    
      Why3ml_pp.Output_ast.print_mlw_file
    
    and a ptree pretty printer
    
      Why3ml_pp.Output_mlw.print_mlw_file
    e53e78b4
Name
Last commit
Last update
bench Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
stdlib Loading commit data...
tests Loading commit data...
.dockerignore Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
.merlin.in Loading commit data...
.ocp-indent Loading commit data...
AUTHORS Loading commit data...
CHANGES.md Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL.md Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README.md Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
autogen.sh Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...