seanrion

add class_info module

2

将获取的课程信息存入本地，减少需要获取课程信息的步骤和时间，能够提前获取课程信息从而更快选到课

Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings

1

I would like to request a new feature for Prusti: a configuration flag named `verify_errors_as_warnings` that allows users to lower the severity of verification errors from errors to warnings like...

related to #1524

## Issue I would like to suggest an enhancement to the diagnostic messages generated by `MIRAI`. Currently, `MIRAI`'s diagnostic messages are formatted similarly to Rust's native diagnostic messages, which can...