| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Implement qualification. | Josh Rahm | 2024-10-05 |
| | | | | | | | | Big change. Implements qualification, which separates the qualification concerns from the ConsistencyCheck phase. I'm getting close to implementing a backend. | ||
| * | Clean up warnings and remove unused files. | Josh Rahm | 2024-10-03 |
| | | |||
| * | wip | Josh Rahm | 2024-09-28 |