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

Issues: msv-lab/modus

29 Open 60 Closed
29 Open 60 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

I would like to join your team and contribute with my many years of experience and skills.
#210 opened Jul 5, 2024 by johnsmith0212
SLD Resolution?
#209 opened Sep 17, 2023 by brurucy
2
Print a warning when there multiple minimal proofs
#207 opened May 12, 2022 by mechtaev
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
Layer expression that creates no layers proposal
#201 opened Apr 7, 2022 by mechtaev
5
modus run, modus ls, etc
#195 opened Mar 30, 2022 by maowtm
Types proposal
#193 opened Mar 28, 2022 by thevirtuoso1973
1
Proposal: Allow copying multiple files to the same destination via (::)copy([...], dest) proposal
#188 opened Mar 26, 2022 by maowtm
@maowtm
3
Better Proof Highlighting enhancement New feature or request
#185 opened Mar 23, 2022 by mechtaev
1
@sudoPom
2
Fix hard-coded scratch image spec
#183 opened Mar 23, 2022 by maowtm
@maowtm
Stratified construction
#179 opened Mar 22, 2022 by mechtaev
Misleading error message expected ")"
#167 opened Mar 6, 2022 by maowtm
1
merge: share a shell?
#165 opened Mar 5, 2022 by maowtm
3
SemVer semantic: 7.0.0-rc1 > 6
#161 opened Mar 5, 2022 by maowtm
@Foalfloater66
2
Warning for when an "arbitrary" rule is chosen?
#160 opened Mar 5, 2022 by maowtm
3
Need better error message when invalid escape sequence present
#159 opened Mar 5, 2022 by maowtm
1
proof improvements
#136 opened Feb 17, 2022 by thevirtuoso1973
5 of 6 tasks
@thevirtuoso1973
1
Expose buildkit's cache mount functionality?
#119 opened Feb 3, 2022 by maowtm 0.2
@maowtm
1
::merge remaining issues
#90 opened Jan 9, 2022 by maowtm
1 of 2 tasks
3
Namespace/differentiation for builtin rules
#77 opened Dec 30, 2021 by maowtm
Cache control
#70 opened Dec 28, 2021 by maowtm
3 tasks
@maowtm
Support for Windows platform?
#69 opened Dec 27, 2021 by maowtm
2
Improved Max Depth proposal
#64 opened Dec 7, 2021 by thevirtuoso1973
9
Caching core enhancement New feature or request
#53 opened Nov 20, 2021 by mechtaev
2
ProTip! What’s not been updated in a month: updated:<2024-08-12.