Commit 498d339f authored by POTTIER Francois's avatar POTTIER Francois


parent 3d27bd3f
* Clean up `Sigs.mli`. Make sure that the library's usage is documented.
* Do something with `BoolEqs` and `ChopFix`?
* Do something with `src/attic/BoolEqs` and `src/attic/ChopFix`,
or remove them.
* Consider using two data fields in `node` instead of one,
so as to avoid using a separate `data` record. Benchmark.
......@@ -13,15 +14,9 @@
* Using the last two features, implement a memoized function over
hash-consed trees, where the memoization table involves no hashing.
* 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`.
* Provide an API in the style of Menhir's `FixSolver`, where constraints are
discovered incrementally during a first phase, then the solver is started?
* Add `` with minimal documentation.
* Add ``.
* Insert copyright headers into source files.
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