aboutsummaryrefslogtreecommitdiff
path: root/toplevel/workerLoop.ml
AgeCommit message (Expand)Author
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2018-11-24[toplevel] Allow to specify default options.Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias