Dune builds and tests for master

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Other

211 stars 31 forks source link

Dune builds and tests for master #90

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

This introduces the Dune build scripts from #87 and earlier PRs to the master branch. ~~To make Dune usable, I renamed partac.ml to hammer_partac.ml.~~

palmskog commented 3 years ago

I updated the PR to change .mllib to .mlpack and introduce Dune's default module wrapping, as discussed in #89.