Skip to content

Merge dependency reversal and package spiting

Bennet Bleßmann requested to merge elm-ast-wip-bennet into elm-ast-to-smt-input

As described in issue #7 (closed), the elm-compiler-library package has been split in two and the dependence between it and elm-ast-to-smt-input has been reversed, allowing the elm compiler to call into the verifier.

Merge request reports