quebex

 1* quebex-syntax:
 2	* Complete the literate Haskell specification
 3* quebex:
 4	* Expand support for arithmetic operations
 5	* Include 2-3 additional benchmark programs
 6	* Allow interception of function calls (see `make_symbolic` To-Do below)
 7* quebex-symex:
 8	* Cleanup the symbolic expression language implementation
 9	* Expand golden tests based on additional arithmetic operations (see above)
10	* Consider a closer integration of the Store/Explorer and the Simulator
11	* Implement address concretization using the abstract monad
12	* Intercept function calls to allow the application to make memory symbolic through `make_symbolic`
13	* Implement a custom memory based on the theory of arrays (how do other engines do this?!)
14	* Ideally make the store pure by creating unconstrained symbolic values from Atoms later
15	* Revise handling of state in: Store, ExecTree, Tracer, Explorer (maybe use a State Monad or smth.)
16		* Presupposes refactor of the modular interpreter (see quebex To-Do above)