| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
Toplevels may want to modify for example the Stm flags,
which after #1108 are handled in a functional way.
|
| | |
|
| |
|
|
|
|
|
|
|
|
| |
We mostly separate command line argument parsing from interpretation,
some (minor) imperative actions are still done at argument parsing
time. This tidies up the code quite a bit and allows to better follow
the complicated command line handling code.
To this effect, we group the key actions to be performed by the
toplevel into a new record type. There is still room to improve.
|
| |
|
|
|
|
|
|
| |
We move the main async flags to the STM in preparation for
more state encapsulation.
There is still more work to do, in particular we should make some of
the defaults a parameter instead of a flag.
|
| | |
|
|
|
This is a small, but convenient refactoring, as it will allow common
argument parsing.
|
Enrico Tassi
Théo Zimmermann
Emilio Jesus Gallego Arias
Pierre-Marie Pédrot