TODO.md 691 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1
# TODO
POTTIER Francois's avatar
POTTIER Francois committed
2

POTTIER Francois's avatar
POTTIER Francois committed
3 4
* Do something with `src/attic/BoolEqs` and `src/attic/ChopFix`,
  or remove them.
POTTIER Francois's avatar
POTTIER Francois committed
5

POTTIER Francois's avatar
POTTIER Francois committed
6 7
* Consider using two data fields in `node` instead of one,
  so as to avoid using a separate `data` record. Benchmark.
POTTIER Francois's avatar
POTTIER Francois committed
8

POTTIER Francois's avatar
POTTIER Francois committed
9 10 11
* Provide an extensible-vector implementation of `IMPERATIVE_MAPS` for
  integers? Like `ArraysAsImperativeMaps`, but does not require `n`.
      Use `InfiniteArray`.
POTTIER Francois's avatar
POTTIER Francois committed
12

POTTIER Francois's avatar
POTTIER Francois committed
13 14
* Provide an API in the style of Menhir's `FixSolver`, where constraints are
  discovered incrementally during a first phase, then the solver is started?
POTTIER Francois's avatar
POTTIER Francois committed
15

POTTIER Francois's avatar
POTTIER Francois committed
16 17 18
* Develop a test suite. (Use `afl-fuzz`?)
  E.g., in `CFG`, write a CFG generator.
  Compare `Fix` with a naive solver.
19 20

* Develop a performance benchmark.