Refactor HTML Tracing to not depend on external files (style, javascript). Add a...
[tatoo.git] / src / run.mli
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom...
2013-11-08 Kim NguyễnPrint detailed statisticts of the run.
2013-07-24 Kim NguyễnImplement the multiple-starters feature:
2013-07-19 Kim NguyễnPreliminary work for multiple starters evaluation. refactor/sanitize-ata
2013-07-19 Kim NguyễnRefactor the Ata module: