Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / modus-continens/modus issues and pull requests
#146 - Build script & `cargo install modus` fails
Issue -
State: closed - Opened by thevirtuoso1973 over 2 years ago
Labels: bug
#145 - Error messages do not make it clear that an error occured.
Issue -
State: closed - Opened by mechtaev over 2 years ago
#145 - Error messages do not make it clear that an error occured.
Issue -
State: closed - Opened by mechtaev over 2 years ago
#144 - Proof tree & `proof` interface improvements
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
#144 - Proof tree & `proof` interface improvements
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
#143 - SemVer comparison
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#143 - SemVer comparison
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#142 - Extract core logic into sub-crate
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 3 comments
#142 - Extract core logic into sub-crate
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 3 comments
#141 - Resolves #138
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#141 - Resolves #138
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#140 - implement number_* and add tests for each
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#140 - implement number_* and add tests for each
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#139 - Merge: correct copy
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#139 - Merge: correct copy
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#138 - Just print ExitStatus (`: Display`) on error instead of `status.code().unwrap()`.
Issue -
State: closed - Opened by maowtm over 2 years ago
#138 - Just print ExitStatus (`: Display`) on error instead of `status.code().unwrap()`.
Issue -
State: closed - Opened by maowtm over 2 years ago
#137 - Remove the example folder
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#137 - Remove the example folder
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#136 - `proof` improvements
Issue -
State: open - Opened by thevirtuoso1973 over 2 years ago
- 1 comment
#135 - Negation as failure - SLDNF
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 8 comments
#135 - Negation as failure - SLDNF
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 8 comments
#134 - merge: copy implementation should match docker
Issue -
State: closed - Opened by maowtm over 2 years ago
- 4 comments
#134 - merge: copy implementation should match docker
Issue -
State: closed - Opened by maowtm over 2 years ago
- 4 comments
#133 - Bottom-up/fixpoint semantic analysis
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
#133 - Bottom-up/fixpoint semantic analysis
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
#132 - Fix cleanup error when there are multiple from that resolves to the same image.
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#132 - Fix cleanup error when there are multiple from that resolves to the same image.
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#131 - Better error reporting in the case of no Modusfile
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#131 - Better error reporting in the case of no Modusfile
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#130 - Pretty print - proof tree
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 6 comments
#130 - Pretty print - proof tree
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 6 comments
#129 - Parallel from resolution and image export
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 7 comments
#129 - Parallel from resolution and image export
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 7 comments
#128 - Local copy in merge & bunch of tests & fix broken cd in merge
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#128 - Local copy in merge & bunch of tests & fix broken cd in merge
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#124 - Allow arbitrary expression queries
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 7 comments
#124 - Allow arbitrary expression queries
Pull Request -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 7 comments
#122 - Solves all space/comment-caused parsing problems, once and for all
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#122 - Solves all space/comment-caused parsing problems, once and for all
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#119 - Expose buildkit's cache mount functionality?
Issue -
State: open - Opened by maowtm over 2 years ago
- 1 comment
#117 - Build options
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#117 - Build options
Pull Request -
State: closed - Opened by maowtm over 2 years ago
#115 - Nicer error message when current directory contains no Modusfile
Issue -
State: closed - Opened by maowtm over 2 years ago
#115 - Nicer error message when current directory contains no Modusfile
Issue -
State: closed - Opened by maowtm over 2 years ago
#98 - Dockerfile COPY relative path
Issue -
State: closed - Opened by maowtm over 2 years ago
- 2 comments
Labels: bug, wontfix
#92 - Porting OpenJDK Images to Modus
Issue -
State: closed - Opened by thevirtuoso1973 over 2 years ago
- 14 comments
#90 - `::merge` remaining issues
Issue -
State: open - Opened by maowtm over 2 years ago
- 3 comments
#90 - `::merge` remaining issues
Issue -
State: open - Opened by maowtm over 2 years ago
- 3 comments
#84 - Update to clap 3 & some simple argument help text fix
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#84 - Update to clap 3 & some simple argument help text fix
Pull Request -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#80 - Make sure local front-end image is the correct version before building
Issue -
State: closed - Opened by maowtm over 2 years ago
Labels: enhancement, buildkit
#78 - Miscellaneous buildkit stuff
Issue -
State: closed - Opened by maowtm over 2 years ago
- 1 comment
#71 - set_entrypoint: variadic arguments or array data-type?
Issue -
State: closed - Opened by maowtm over 2 years ago
#64 - Improved Max Depth
Issue -
State: open - Opened by thevirtuoso1973 over 2 years ago
- 9 comments
Labels: proposal
#47 - Turing completeness of string_concat
Issue -
State: closed - Opened by maowtm over 2 years ago
- 4 comments
Labels: core
#40 - Error handling
Issue -
State: closed - Opened by maowtm over 2 years ago
- 3 comments
Labels: core
#40 - Error handling
Issue -
State: closed - Opened by maowtm over 2 years ago
- 3 comments
Labels: core
#36 - Efficient solver with cost
Issue -
State: open - Opened by mechtaev over 2 years ago
Labels: core
#36 - Efficient solver with cost
Issue -
State: open - Opened by mechtaev over 2 years ago
Labels: core
#35 - Negation
Issue -
State: closed - Opened by mechtaev over 2 years ago
- 2 comments
Labels: core
#25 - System test infrastructure
Issue -
State: closed - Opened by mechtaev about 3 years ago
Labels: core
#25 - System test infrastructure
Issue -
State: closed - Opened by mechtaev about 3 years ago
Labels: core
#7 - Proof pretty-printer
Issue -
State: closed - Opened by mechtaev over 3 years ago
- 2 comments
Labels: core
#7 - Proof pretty-printer
Issue -
State: closed - Opened by mechtaev over 3 years ago
- 2 comments
Labels: core