Issues

• I would like to join your team and contribute with my many years of experience and skills.

  msv-lab/modus#210 · Filter by author 0x0factor opened on Jul 5, 2024

• SLD Resolution?

  msv-lab/modus#209 · Filter by author brurucy opened on Sep 17, 2023
  2

• Print a warning when there multiple minimal proofs

  msv-lab/modus#207 · Filter by author mechtaev opened on May 12, 2022

• Outdated comment

  msv-lab/modus#206 · Filter by author maowtm opened on Apr 14, 2022

• Should mention in the README.md to download protoc for M1

  documentation
  msv-lab/modus#205 · Filter by author Foalfloater66 opened on Apr 12, 2022

• Layer expression that creates no layers

  proposal
  msv-lab/modus#201 · Filter by author mechtaev opened on Apr 7, 2022
  5

• modus run, modus ls, etc

  msv-lab/modus#195 · Filter by author maowtm opened on Mar 30, 2022

• Types

  proposal
  msv-lab/modus#193 · Filter by author thevirtuoso1973 opened on Mar 28, 2022
  1

• Proposal: Allow copying multiple files to the same destination via (::)copy([...], dest)

  proposal
  msv-lab/modus#188 · Filter by author maowtm opened on Mar 26, 2022
  3

  

• Better Proof Highlighting

  enhancement
  msv-lab/modus#185 · Filter by author mechtaev opened on Mar 23, 2022
  2

  

• Fix hard-coded scratch image spec

  msv-lab/modus#183 · Filter by author maowtm opened on Mar 23, 2022
  

• Stratified construction

  msv-lab/modus#179 · Filter by author mechtaev opened on Mar 22, 2022

• Misleading error message expected ")"

  msv-lab/modus#167 · Filter by author maowtm opened on Mar 6, 2022
  1

• merge: share a shell?

  msv-lab/modus#165 · Filter by author maowtm opened on Mar 5, 2022
  3

• SemVer semantic: 7.0.0-rc1 > 6

  msv-lab/modus#161 · Filter by author maowtm opened on Mar 5, 2022
  2

  

• Warning for when an "arbitrary" rule is chosen?

  msv-lab/modus#160 · Filter by author maowtm opened on Mar 5, 2022
  3

• Need better error message when invalid escape sequence present

  msv-lab/modus#159 · Filter by author maowtm opened on Mar 5, 2022
  1

• proof improvements

  msv-lab/modus#136 · Filter by author thevirtuoso1973 opened on Feb 17, 2022
  1

  

• Expose buildkit's cache mount functionality?

  msv-lab/modus#119 · Filter by author maowtm opened on Feb 3, 2022 · 0.2
  1

  

• ::merge remaining issues

  msv-lab/modus#90 · Filter by author maowtm opened on Jan 9, 2022
  3

• Namespace/differentiation for builtin rules

  msv-lab/modus#77 · Filter by author maowtm opened on Dec 30, 2021

• Cache control

  msv-lab/modus#70 · Filter by author maowtm opened on Dec 28, 2021
  

• Support for Windows platform?

  msv-lab/modus#69 · Filter by author maowtm opened on Dec 27, 2021
  2

• Improved Max Depth

  proposal
  msv-lab/modus#64 · Filter by author thevirtuoso1973 opened on Dec 7, 2021
  9

• Caching

  coreenhancement
  msv-lab/modus#53 · Filter by author mechtaev opened on Nov 20, 2021
  2