Commits : Listings
Analyzed
about 8 hours
ago.
based on code collected
about 8 hours
ago.
|
Sep 26, 2025
—
Oct 26, 2025
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| fix: import-merging theorems under the module system (#10556) |
|
More... | about 1 month ago | |||
| feat: support case label like syntax in `mvcgen invariants` (#10570) |
|
More... | about 1 month ago | |||
| chore: overhaul `meta` error messages (#10569) |
|
More... | about 1 month ago | |||
| fix: `Prop` `instance`s should be elaborated in the private scope (#10568) |
|
More... | about 1 month ago | |||
| fix: make `getArg!'` compute the correct arg index to access (#10567) |
|
More... | about 1 month ago | |||
| feat: concrete `invariant?` suggestions based on start and end (#10566) |
|
More... | about 1 month ago | |||
