Summary
- merged
- merged
- clarified main operations; clarified main loop;
- clarified signature: prefer stateful object-oriented style, to make it fit better into physical world;
- prefer global mutable state, in order to break up the loop eventually;
- clarified modules;
- clarified signature;
- clarified static build_context vs. dynamic queue;
- clarified signature: make dynamic Queue from static Context;
- clarified data structure: absorb Option[Process_Result] into Process_Result, e.g. to simplify database storage;
- tuned;
- tuned;
- clarified data structure: use static info from deps, not dynamic results; tuned;
- clarified data structure: more direct access to timeout;
- tuned;
- misc tuning and clarification;
- clarified modules; clarified signature;
- tuned message: old_time not sufficiently prominent nor accurate to be printed;
- clarified signature and terminology;
- clarified signature: avoid adhoc constants;
- tuned;
- tuned message;
- tuned signature: more operations;
- clarified signature: more explicit types;
- clarified modules;
- clarified signature;
- clarified signature;
- merged
- Simplification of proofs
- explicit range types in abstractions
- somehow more clear terminology
- tuned