Issues
- 0
I would like to join your team and contribute with my many years of experience and skills.
#210 opened by 0x0factor - 2
SLD Resolution?
#209 opened by brurucy - 4
Who's behind this project ?
#208 opened by sfermigier - 0
Print a warning when there multiple minimal proofs
#207 opened by mechtaev - 0
Outdated comment
#206 opened by maowtm - 2
SemVer semantic: `7.0.0-rc1 > 6`
#161 opened by maowtm - 0
- 5
Layer expression that creates no layers
#201 opened by mechtaev - 1
`proof` improvements
#136 opened by thevirtuoso1973 - 1
Expose buildkit's cache mount functionality?
#119 opened by maowtm - 1
string_concat -> f-string reversal
#199 opened by thevirtuoso1973 - 2
Better Proof Highlighting
#185 opened by mechtaev - 1
Format strings in negated expressions
#197 opened by thevirtuoso1973 - 0
`version != f"5.${_}"` does not work
#163 opened by maowtm - 0
`modus run`, `modus ls`, etc
#195 opened by maowtm - 0
`from("scratch")` does not work
#156 opened by maowtm - 1
Types
#193 opened by thevirtuoso1973 - 14
Porting OpenJDK Images to Modus
#92 opened by thevirtuoso1973 - 0
- 2
Dockerfile COPY relative path
#98 opened by maowtm - 3
Proposal: Allow copying multiple files to the same destination via `(::)copy([...], dest)`
#188 opened by maowtm - 4
Array Types (v1)
#180 opened by thevirtuoso1973 - 0
Better error messages for malformed goals
#184 opened by mechtaev - 0
Fix hard-coded scratch image spec
#183 opened by maowtm - 2
Better Analysis in recursive cases
#177 opened by thevirtuoso1973 - 0
Stratified construction
#179 opened by mechtaev - 1
- 1
Misleading error message `expected ")"`
#167 opened by maowtm - 0
String escape characters do not work in rule head
#164 opened by maowtm - 3
merge: share a shell?
#165 opened by maowtm - 1
- 2
f"a$b" is parsed as just "a"
#158 opened by maowtm - 3
Warning for when an "arbitrary" rule is chosen?
#160 opened by maowtm - 0
"error: unknown predicate - string_eq" when insufficient groundness in negation
#149 opened by maowtm - 0
panics when format string appears in the head
#150 opened by maowtm - 0
Build script & `cargo install modus` fails
#146 opened by thevirtuoso1973 - 0
- 0
Just print ExitStatus (`: Display`) on error instead of `status.code().unwrap()`.
#138 opened by maowtm - 4
merge: copy implementation should match docker
#134 opened by maowtm - 0
- 0
"Least Common" Groundness
#107 opened by thevirtuoso1973 - 0
Fix Static Check
#110 opened by thevirtuoso1973 - 1
Allow space before input
#112 opened by maowtm - 1
`::set_entrypoint`: resolve relative path?
#118 opened by maowtm - 0
Add `--no-cache` option
#116 opened by maowtm - 0
set_env, append_path
#96 opened by maowtm - 4
Build front-end image on CI
#91 opened by maowtm - 0
Whitespace in parser
#109 opened by thevirtuoso1973 - 0
Use `alpine` for front-end
#106 opened by maowtm - 0
Format Strings & Escape Chars
#102 opened by thevirtuoso1973