kayuri/HNC — Issue #3: Dumps of optimized HN
Author: nponeccop
Created: 2011-10-08 10:24:39+00:00
State: open

`--dump-opt` command line option should be implemented to facilitate separate testing of the optimizer. It should dump optimized textual HN source.