Skip to content

Issues: modus-continens/modus

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 60 Closed
28 Open 60 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
Nullary Predicate Syntax proposal
#52 opened Nov 20, 2021 by mechtaev
3
ProTip! Adding no:label will show everything without a label.