Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits:
-
13d5cde5
by Ralf Treinen at 2022-09-29T20:31:31+02:00
30 changed files:
- CHANGES.md
- Makefile.in
- configure
- configure.in
- doc/conf.py
- doc/index.rst
- doc/input_formats.rst
- doc/manpages.rst
- doc/manual.bib
- drivers/alt_ergo_common.drv
- examples/avl/avl.mlw
- + examples/bts/559.mlw
- examples/python/is_sorted.py
- examples/python/is_sorted/why3session.xml
- examples/python/is_sorted/why3shapes.gz
- examples/tests/rac.out
- examples/use_api/oracles/test-api-mlw_expr.stdout
- plugins/python/py_ast.mli
- plugins/python/py_lexer.mll
- plugins/python/py_main.ml
- plugins/python/py_parser.mly
- plugins/python/test.py
- share/lang/why3py.lang
- share/provers-detection-data.conf
- src/core/dterm.ml
- src/mlw/dexpr.ml
- src/mlw/expr.ml
- src/mlw/pmodule.ml
- src/session/controller_itp.ml
- src/tools/why3execute.ml