alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

[WIP] - Adding Dolmen as a front-end

Open hra687261 opened this issue 2 years ago • 1 comments

The purpose of this PR is to make it possible to use Dolmen as a front-end to Alt-Ergo and eventually make it the default front-end instead of the current one.

To use Dolmen as a frontend: ./alt-ergo --frontend dolmen

hra687261 avatar Nov 25 '21 15:11 hra687261

This PR will have to wait for a new release of dolmen before being reviewed/merged as it uses its latest version

hra687261 avatar Sep 15 '22 09:09 hra687261