Skip to content

Merging both the internal and external approach

Bennet Bleßmann requested to merge elm-ast-to-smt-input-add-flag into master

Merging both the integrated and external verifier approach.

In this Merge Request the elm-ast-to-smt-input folder has been moved into elm-verify and been renamed to elm-verify-inetgrated and now depends on the elm-compiler-library module in elm-verify.

The submodule for the elm-compiler-lib has both versions merged and adjusted to build both an executable (for integrated approach) and a library (for external approach).

Both approaches have been adjusted to be able to compile together.

  • integrated uses changed artifact type
  • external uses the Verify type which has been moved to elm-data to Skip integrated verification

A dependencies map has been added in elm-verify

It would be nice if @tim ,@kaiprott and @stu114663 could review this merge request. This merge request is linked to the corresponding one in the submodule stu201758/elm-compiler-library!1

Edited by Bennet Bleßmann

Merge request reports