aboutsummaryrefslogtreecommitdiffstats
path: root/src/dune
Commit message (Expand)AuthorAgeFilesLines
* Add SMTCoq solver as dependencyYann Herklotz2023-06-211-0/+1
* Add main file and global buildingYann Herklotz2020-03-311-6/+0
* Remove dunes and make the build recursiveYann Herklotz2020-03-251-2/+5
* Add pretty printing for Verilog integrated with CompCertYann Herklotz2020-02-171-0/+3