Commit 3297a52a authored by POTTIER Francois's avatar POTTIER Francois


parent d83b7bcb
......@@ -2,6 +2,10 @@
* Do something with OldImperativeGraph.
* Provide a variant of `Fix.Make` where the right-hand sides are
syntactic and come with an `eval` function? (Is it of any use?)
Use it in CFG.
* Add ``.
* Add `LICENSE`.
......@@ -13,5 +17,7 @@
* 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.
* Develop a performance benchmark.
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