modus-continens/modus issues and pull requests

#209 - SLD Resolution?

Issue - State: open - Opened by brurucy about 1 year ago - 2 comments

#208 - Who's behind this project ?

Issue - State: closed - Opened by sfermigier over 2 years ago - 4 comments

#207 - Print a warning when there multiple minimal proofs

Issue - State: open - Opened by mechtaev over 2 years ago

#206 - Outdated comment

Issue - State: open - Opened by maowtm over 2 years ago

#205 - Should mention in the README.md to download protoc for M1

Issue - State: open - Opened by Catcatcher33 over 2 years ago
Labels: documentation

#204 - Proof highlighting

Pull Request - State: open - Opened by sudoPom over 2 years ago - 4 comments

#203 - Use severity to determine if SLD tree succeeded

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#202 - More concise error output

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#201 - Layer expression that creates no layers

Issue - State: open - Opened by mechtaev over 2 years ago - 5 comments
Labels: proposal

#200 - `--explain` output improvements

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#199 - string_concat -> f-string reversal

Issue - State: closed - Opened by thevirtuoso1973 over 2 years ago - 1 comment
Labels: enhancement

#198 - Fix f-string anonymous variables and negation translation

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#197 - Format strings in negated expressions

Issue - State: closed - Opened by thevirtuoso1973 over 2 years ago - 1 comment
Labels: bug

#196 - Slight improvement to stack/tree parse error reporting

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#195 - `modus run`, `modus ls`, etc

Issue - State: open - Opened by maowtm over 2 years ago

#194 - Rename & Add list restriction

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#193 - Types

Issue - State: open - Opened by thevirtuoso1973 over 2 years ago - 1 comment
Labels: proposal

#192 - `::set_user`

Pull Request - State: closed - Opened by maowtm over 2 years ago

#191 - Release guide

Pull Request - State: closed - Opened by maowtm over 2 years ago

#190 - system tests: ability to assert image config

Pull Request - State: closed - Opened by maowtm over 2 years ago

#189 - Approximate Maximum Depth for SLD Resolution

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago - 1 comment

#188 - Proposal: Allow copying multiple files to the same destination via `(::)copy([...], dest)`

Issue - State: open - Opened by maowtm over 2 years ago - 3 comments
Labels: proposal

#188 - Proposal: Allow copying multiple files to the same destination via `(::)copy([...], dest)`

Issue - State: open - Opened by maowtm over 2 years ago - 3 comments
Labels: proposal

#187 - Better Errors with malformed goals

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#187 - Better Errors with malformed goals

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#186 - Add support for arrays

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago - 1 comment

#186 - Add support for arrays

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago - 1 comment

#185 - Better Proof Highlighting

Issue - State: open - Opened by mechtaev over 2 years ago - 2 comments
Labels: enhancement

#184 - Better error messages for malformed goals

Issue - State: closed - Opened by mechtaev over 2 years ago
Labels: enhancement

#184 - Better error messages for malformed goals

Issue - State: closed - Opened by mechtaev over 2 years ago
Labels: enhancement

#183 - Fix hard-coded scratch image spec

Issue - State: open - Opened by maowtm over 2 years ago

#183 - Fix hard-coded scratch image spec

Issue - State: open - Opened by maowtm over 2 years ago

#182 - ARM builds + automatic artifact upload to gh release

Pull Request - State: closed - Opened by maowtm over 2 years ago

#182 - ARM builds + automatic artifact upload to gh release

Pull Request - State: closed - Opened by maowtm over 2 years ago

#181 - Add toolchain file and update readme

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#181 - Add toolchain file and update readme

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#180 - Array Types (v1)

Issue - State: closed - Opened by thevirtuoso1973 over 2 years ago - 4 comments

#180 - Array Types (v1)

Issue - State: closed - Opened by thevirtuoso1973 over 2 years ago - 4 comments

#179 - Stratified construction

Issue - State: open - Opened by mechtaev over 2 years ago

#179 - Stratified construction

Issue - State: open - Opened by mechtaev over 2 years ago

#178 - Constraint-aware Analysis

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#178 - Constraint-aware Analysis

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#177 - Better Analysis in recursive cases

Issue - State: closed - Opened by thevirtuoso1973 over 2 years ago - 2 comments
Labels: bug

#177 - Better Analysis in recursive cases

Issue - State: closed - Opened by thevirtuoso1973 over 2 years ago - 2 comments
Labels: bug

#176 - Set label

Pull Request - State: closed - Opened by maowtm over 2 years ago

#176 - Set label

Pull Request - State: closed - Opened by maowtm over 2 years ago

#175 - Clears cmd when setting entrypoint

Pull Request - State: closed - Opened by maowtm over 2 years ago

#175 - Clears cmd when setting entrypoint

Pull Request - State: closed - Opened by maowtm over 2 years ago

#174 - Timing output flag

Pull Request - State: closed - Opened by maowtm over 2 years ago

#174 - Timing output flag

Pull Request - State: closed - Opened by maowtm over 2 years ago

#173 - EXPORT_CONCURRENCY: default to num_cpus

Pull Request - State: closed - Opened by maowtm over 2 years ago

#172 - (Some) Operator Type Checking

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago - 2 comments

#172 - (Some) Operator Type Checking

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago - 2 comments

#171 - Traverse env hashmap in deterministic order

Pull Request - State: closed - Opened by micromaomao over 2 years ago - 1 comment

#171 - Traverse env hashmap in deterministic order

Pull Request - State: closed - Opened by micromaomao over 2 years ago - 1 comment

#170 - Invalid operator usage does not result in proper error messages

Issue - State: closed - Opened by maowtm over 2 years ago - 1 comment
Labels: enhancement

#170 - Invalid operator usage does not result in proper error messages

Issue - State: closed - Opened by maowtm over 2 years ago - 1 comment
Labels: enhancement

#169 - `run(...)` and `(copy(...))::merge` fails on scratch image

Issue - State: closed - Opened by maowtm over 2 years ago
Labels: bug

#168 - CI: build binary and upload as artifact

Pull Request - State: closed - Opened by maowtm over 2 years ago - 1 comment

#168 - CI: build binary and upload as artifact

Pull Request - State: closed - Opened by maowtm over 2 years ago - 1 comment

#167 - Misleading error message `expected ")"`

Issue - State: open - Opened by maowtm over 2 years ago - 1 comment

#167 - Misleading error message `expected ")"`

Issue - State: open - Opened by maowtm over 2 years ago - 1 comment

#166 - Process escape chars in From<> conversion

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#166 - Process escape chars in From<> conversion

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#165 - merge: share a shell?

Issue - State: open - Opened by maowtm over 2 years ago - 3 comments

#165 - merge: share a shell?

Issue - State: open - Opened by maowtm over 2 years ago - 3 comments

#164 - String escape characters do not work in rule head

Issue - State: closed - Opened by maowtm over 2 years ago
Labels: bug

#164 - String escape characters do not work in rule head

Issue - State: closed - Opened by maowtm over 2 years ago
Labels: bug

#163 - `version != f"5.${_}"` does not work

Issue - State: closed - Opened by maowtm over 2 years ago

#162 - Parse F-String Interpolation

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#162 - Parse F-String Interpolation

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#161 - SemVer semantic: `7.0.0-rc1 > 6`

Issue - State: open - Opened by maowtm over 2 years ago - 2 comments

#160 - Warning for when an "arbitrary" rule is chosen?

Issue - State: open - Opened by maowtm over 2 years ago - 3 comments

#160 - Warning for when an "arbitrary" rule is chosen?

Issue - State: open - Opened by maowtm over 2 years ago - 3 comments

#159 - Need better error message when invalid escape sequence present

Issue - State: open - Opened by maowtm over 2 years ago - 1 comment

#159 - Need better error message when invalid escape sequence present

Issue - State: open - Opened by maowtm over 2 years ago - 1 comment

#158 - f"a$b" is parsed as just "a"

Issue - State: closed - Opened by maowtm over 2 years ago - 2 comments
Labels: bug

#158 - f"a$b" is parsed as just "a"

Issue - State: closed - Opened by maowtm over 2 years ago - 2 comments
Labels: bug

#157 - Support from("scratch")

Pull Request - State: closed - Opened by maowtm over 2 years ago - 2 comments

#157 - Support from("scratch")

Pull Request - State: closed - Opened by maowtm over 2 years ago - 2 comments

#156 - `from("scratch")` does not work

Issue - State: closed - Opened by maowtm over 2 years ago
Labels: bug

#155 - Compact trees

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#155 - Compact trees

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#154 - Fix bug with proof tree - use child valuation

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#154 - Fix bug with proof tree - use child valuation

Pull Request - State: closed - Opened by thevirtuoso1973 over 2 years ago

#153 - Fix selection

Pull Request - State: closed - Opened by thevirtuoso1973 almost 3 years ago

#153 - Fix selection

Pull Request - State: closed - Opened by thevirtuoso1973 almost 3 years ago

#152 - Print help when no command specified

Pull Request - State: closed - Opened by maowtm almost 3 years ago

#152 - Print help when no command specified

Pull Request - State: closed - Opened by maowtm almost 3 years ago

#151 - Error when f-string found in a head arg

Pull Request - State: closed - Opened by thevirtuoso1973 almost 3 years ago

#151 - Error when f-string found in a head arg

Pull Request - State: closed - Opened by thevirtuoso1973 almost 3 years ago

#150 - panics when format string appears in the head

Issue - State: closed - Opened by maowtm almost 3 years ago

#150 - panics when format string appears in the head

Issue - State: closed - Opened by maowtm almost 3 years ago

#149 - "error: unknown predicate - string_eq" when insufficient groundness in negation

Issue - State: closed - Opened by maowtm almost 3 years ago

#149 - "error: unknown predicate - string_eq" when insufficient groundness in negation

Issue - State: closed - Opened by maowtm almost 3 years ago

#148 - Improved parser error reporting

Pull Request - State: closed - Opened by thevirtuoso1973 almost 3 years ago

#148 - Improved parser error reporting

Pull Request - State: closed - Opened by thevirtuoso1973 almost 3 years ago

#147 - Get git hash from .cargo_vcs_info.json if it exists

Pull Request - State: closed - Opened by maowtm almost 3 years ago

#147 - Get git hash from .cargo_vcs_info.json if it exists

Pull Request - State: closed - Opened by maowtm almost 3 years ago

#146 - Build script & `cargo install modus` fails

Issue - State: closed - Opened by thevirtuoso1973 almost 3 years ago
Labels: bug

GitHub / modus-continens/modus issues and pull requests