issues
search
msv-lab
/
modus
A language for building Docker/OCI container images
GNU Affero General Public License v3.0
280
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
I would like to join your team and contribute with my many years of experience and skills.
#210
johnsmith0212
opened
2 months ago
0
SLD Resolution?
#209
brurucy
opened
12 months ago
2
Who's behind this project ?
#208
sfermigier
closed
1 year ago
4
Print a warning when there multiple minimal proofs
#207
mechtaev
opened
2 years ago
0
Outdated comment
#206
maowtm
opened
2 years ago
0
Should mention in the README.md to download protoc for M1
#205
Foalfloater66
opened
2 years ago
0
Proof highlighting
#204
sudoPom
opened
2 years ago
4
Use severity to determine if SLD tree succeeded
#203
thevirtuoso1973
closed
2 years ago
0
More concise error output
#202
thevirtuoso1973
closed
2 years ago
0
Layer expression that creates no layers
#201
mechtaev
opened
2 years ago
5
`--explain` output improvements
#200
thevirtuoso1973
closed
2 years ago
0
string_concat -> f-string reversal
#199
thevirtuoso1973
closed
2 years ago
1
Fix f-string anonymous variables and negation translation
#198
thevirtuoso1973
closed
2 years ago
0
Format strings in negated expressions
#197
thevirtuoso1973
closed
2 years ago
1
Slight improvement to stack/tree parse error reporting
#196
thevirtuoso1973
closed
2 years ago
0
`modus run`, `modus ls`, etc
#195
maowtm
opened
2 years ago
0
Rename & Add list restriction
#194
thevirtuoso1973
closed
2 years ago
0
Types
#193
thevirtuoso1973
opened
2 years ago
1
`::set_user`
#192
maowtm
closed
2 years ago
0
Release guide
#191
maowtm
closed
2 years ago
0
system tests: ability to assert image config
#190
maowtm
closed
2 years ago
0
Approximate Maximum Depth for SLD Resolution
#189
thevirtuoso1973
closed
2 years ago
1
Proposal: Allow copying multiple files to the same destination via `(::)copy([...], dest)`
#188
maowtm
opened
2 years ago
3
Better Errors with malformed goals
#187
thevirtuoso1973
closed
2 years ago
0
Add support for arrays
#186
thevirtuoso1973
closed
2 years ago
1
Better Proof Highlighting
#185
mechtaev
opened
2 years ago
2
Better error messages for malformed goals
#184
mechtaev
closed
2 years ago
0
Fix hard-coded scratch image spec
#183
maowtm
opened
2 years ago
0
ARM builds + automatic artifact upload to gh release
#182
maowtm
closed
2 years ago
0
Add toolchain file and update readme
#181
thevirtuoso1973
closed
2 years ago
0
Array Types (v1)
#180
thevirtuoso1973
closed
2 years ago
4
Stratified construction
#179
mechtaev
opened
2 years ago
0
Constraint-aware Analysis
#178
thevirtuoso1973
closed
2 years ago
0
Better Analysis in recursive cases
#177
thevirtuoso1973
closed
2 years ago
2
Set label
#176
maowtm
closed
2 years ago
0
Clears cmd when setting entrypoint
#175
maowtm
closed
2 years ago
0
Timing output flag
#174
maowtm
closed
2 years ago
0
EXPORT_CONCURRENCY: default to num_cpus
#173
maowtm
closed
2 years ago
0
(Some) Operator Type Checking
#172
thevirtuoso1973
closed
2 years ago
2
Traverse env hashmap in deterministic order
#171
micromaomao
closed
2 years ago
1
Invalid operator usage does not result in proper error messages
#170
maowtm
closed
2 years ago
1
`run(...)` and `(copy(...))::merge` fails on scratch image
#169
maowtm
closed
2 years ago
0
CI: build binary and upload as artifact
#168
maowtm
closed
2 years ago
1
Misleading error message `expected ")"`
#167
maowtm
opened
2 years ago
1
Process escape chars in From<> conversion
#166
thevirtuoso1973
closed
2 years ago
0
merge: share a shell?
#165
maowtm
opened
2 years ago
3
String escape characters do not work in rule head
#164
maowtm
closed
2 years ago
0
`version != f"5.${_}"` does not work
#163
maowtm
closed
2 years ago
0
Parse F-String Interpolation
#162
thevirtuoso1973
closed
2 years ago
0
SemVer semantic: `7.0.0-rc1 > 6`
#161
maowtm
opened
2 years ago
2
Next