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 |
| | |||
* | Change the UnitInterface to have uncoupled Metadata. | Josh Rahm | 2024-10-03 |
| | | | | As opposed to the original 'Annotated' data type. | ||
* | Another monolithic change. Not good git ettiquite. | Josh Rahm | 2024-10-03 |
| | | | | | Import statements are fully implemented including compiling to an interface file for faster compilations. | ||
* | Add import resolution phase and also add a more abstractions around | Josh Rahm | 2024-09-27 |
compliation phases. |