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

#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

#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

#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