Skip to content
This repository has been archived by the owner on Aug 2, 2024. It is now read-only.

Issues: msv-lab/modus

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

SLD Resolution?
#209 opened Sep 17, 2023 by brurucy
Outdated comment
#206 opened Apr 14, 2022 by maowtm
Should mention in the README.md to download protoc for M1 documentation Improvements or additions to documentation
#205 opened Apr 12, 2022 by Foalfloater66
modus run, modus ls, etc
#195 opened Mar 30, 2022 by maowtm
Types proposal
#193 opened Mar 28, 2022 by thevirtuoso1973
Better Proof Highlighting enhancement New feature or request
#185 opened Mar 23, 2022 by mechtaev
Fix hard-coded scratch image spec
#183 opened Mar 23, 2022 by maowtm
Stratified construction
#179 opened Mar 22, 2022 by mechtaev
merge: share a shell?
#165 opened Mar 5, 2022 by maowtm
SemVer semantic: 7.0.0-rc1 > 6
#161 opened Mar 5, 2022 by maowtm
proof improvements
#136 opened Feb 17, 2022 by thevirtuoso1973
5 of 6 tasks
::merge remaining issues
#90 opened Jan 9, 2022 by maowtm
1 of 2 tasks
Cache control
#70 opened Dec 28, 2021 by maowtm
3 tasks
Support for Windows platform?
#69 opened Dec 27, 2021 by maowtm
Caching core enhancement New feature or request
#53 opened Nov 20, 2021 by mechtaev
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.