Pierre Villemot
Pierre Villemot
The `dune-release publish` failed if we refuse to publish the documentation on github-pages. I have my own way to publish my documentation using github actions.
If we don't specify a token while publishing a release with `dune-release publish`, we got the error: ``` dune-release: [ERROR] Blank input data ``` I use the version `2.0.0`. The...
This PR used the well designed Dolmen to store custom attributes on constructors of ADT and ADT themself. This design has two advantages: 1. We don't need to store an...
Use separated headers to distinguish our contributions.
This issue is just a remainder to implement support for custom printers for typing errors. Basically, I would like to print my own error messages for errors added to the...
It seems that the generated documentation by this action is owned by root. Is it possible to change that or to add a option?
There is no support for MSYS2 + opam on Windows yet. Do you have any plan to support it? We may combine this action with https://github.com/msys2/setup-msys2 to setup MSYS2.
This PR removes the output AST of the legacy typechecker. This AST was still used by the compilation of match expressions in `Expr`.
This PR changes three thing: 1. We do not need a value field in the type variable of Alt-Ergo. These values were only used by the unification of the types...
While working on #1095, I noticed that the test of the PR #1211, which answers `unknown` on `next`, will answer `unsat` with FunSAT but still answer `unknown` with SatML. I...