[Git][ocaml-team/alt-ergo][upstream] New upstream version 2.4.2

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / alt-ergo

Commits:

• 8fdf26e0
  by Julien Puydt at 2022-08-06T16:17:47+02:00

  New upstream version 2.4.2

30 changed files:

• .github/workflows/build_docker.yml
• .github/workflows/build_js.yml
• .github/workflows/build_macos.yml
• .github/workflows/build_make.yml
• .github/workflows/build_ubuntu.yml
• .github/workflows/build_windows.yml
• .github/workflows/documentation.yml
• .github/workflows/linter.yml
• Makefile
• alt-ergo-lib.opam
• alt-ergo-lib.opam.template
• alt-ergo-parsers.opam
• alt-ergo-parsers.opam.template
• alt-ergo.opam
• alt-ergo.opam.template
• altgr-ergo.opam
• altgr-ergo.opam.template
• configure.ml
• docs/sphinx_docs/About/changes.md
• docs/sphinx_docs/Install/index.md
• dune-project
• non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.ae
• non-regression/main_script.sh
• non-regression/valid/adts/simple_0.ae
• src/bin/common/parse_command.ml
• src/bin/gui/annoted_ast.ml
• src/bin/gui/annoted_ast.mli
• src/bin/gui/connected_ast.ml
• src/bin/gui/dune
• src/bin/gui/gui_config.ml

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.