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

SemVer semantic: 7.0.0-rc1 > 6
#161 opened Mar 5, 2022 by maowtm
Make stuff (A)Rc? enhancement New feature or request
#41 opened Oct 31, 2021 by maowtm
Caching core enhancement New feature or request
#53 opened Nov 20, 2021 by mechtaev
Support for Windows platform?
#69 opened Dec 27, 2021 by maowtm
Cache control
#70 opened Dec 28, 2021 by maowtm
3 tasks
::merge remaining issues
#90 opened Jan 9, 2022 by maowtm
1 of 2 tasks
proof improvements
#136 opened Feb 17, 2022 by thevirtuoso1973
5 of 6 tasks
Builtin predicates core
#33 opened Oct 12, 2021 by mechtaev
5 of 6 tasks
0.1
merge: share a shell?
#165 opened Mar 5, 2022 by maowtm
Stratified construction
#179 opened Mar 22, 2022 by mechtaev
Fix hard-coded scratch image spec
#183 opened Mar 23, 2022 by maowtm
Better Proof Highlighting enhancement New feature or request
#185 opened Mar 23, 2022 by mechtaev
Types proposal
#193 opened Mar 28, 2022 by thevirtuoso1973
modus run, modus ls, etc
#195 opened Mar 30, 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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.