| Age | Commit message (Expand) | Author |
|---|---|---|
| 15 hours | Unify checked candidate planning | adelon |
| 20 hours | Name prospective lowering explicitly | adelon |
| 21 hours | Plan and admit module declarations prospectively | adelon |
| 21 hours | Route declarations through checked envelopes | adelon |
| 35 hours | Cut verification over to the typed driver | adelon |
| 36 hours | Acquire the final prelude through the cache | adelon |
| 45 hours | Install base structure metadata in final prelude | adelon |
| 2 days | Align successor with canonical set insertion | adelon |
| 3 days | Narrow final prelude validation | adelon |
| 3 days | Retain exact omitted-proof locations | adelon |
| 3 days | Bind final prelude to packaged source | adelon |
| 3 days | Validate final prelude roles | adelon |
| 3 days | Confine final prelude construction | adelon |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |