Commit 691737d0 authored by POTTIER Francois's avatar POTTIER Francois


parent 0680efd6
......@@ -13,10 +13,6 @@
* Provide an API in the style of Menhir's `FixSolver`, where constraints are
discovered incrementally during a first phase, then the solver is started?
* Insert copyright headers into source files.
* Test and release the `opam` package.
* Develop a test suite. (Use `afl-fuzz`?)
E.g., in `CFG`, write a CFG generator.
Compare `Fix` with a naive solver.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment