Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve progress to use assumptions and start working on a nice syntax | Son Ho | 2023-07-12 | 1 | -0/+62 |
* | Finish a first version of the progress tactic | Son Ho | 2023-07-12 | 1 | -22/+225 |
* | Work on the progress tactic | Son Ho | 2023-07-11 | 1 | -0/+28 |
* | Start working on the progress tactic | Son Ho | 2023-07-10 | 1 | -0/+95 |
* | Reorganize a bit the lean backend files | Son Ho | 2023-07-06 | 1 | -0/+119 |