https://github.com/modus-continens/modus

Skip to content
 
Sign up

  * Product
      + Features
      + Mobile
      + Actions
      + Codespaces
      + Copilot
      + Packages
      + Security
      + Code review
      + Issues
      + Discussions
      + Integrations
      + GitHub Sponsors
      + Customer stories
  * Team
  * Enterprise
  * Explore
      + Explore GitHub
      + Learn and contribute
      + Topics
      + Collections
      + Trending
      + Skills
      + GitHub Sponsors
      + Open source guides
      + Connect with others
      + The ReadME Project
      + Events
      + Community forum
      + GitHub Education
      + GitHub Stars program
  * Marketplace
  * Pricing
      + Plans
      + Compare plans
      + Contact Sales
      + Education

[                    ] 

  *  
    #
    In this repository All GitHub |
    Jump to |

  * No suggested jump to results

  *  
    #
    In this repository All GitHub |
    Jump to |
  *  
    #
    In this organization All GitHub |
    Jump to |
  *  
    #
    In this repository All GitHub |
    Jump to |

Sign in
Sign up
{{ message }}
modus-continens / modus Public

  * Notifications
  * Fork 0
  * Star 81

A language for building Docker/OCI container images

modus-continens.com

License

AGPL-3.0 license
81 stars 0 forks
Star
Notifications

  * Code
  * Issues 27
  * Pull requests 1
  * Actions
  * Security
  * Insights

More

  * Code
  * Issues
  * Pull requests
  * Actions
  * Security
  * Insights

modus-continens/modus

This commit does not belong to any branch on this repository, and may
belong to a fork outside of the repository.
main
Switch branches/tags
[                    ]
Branches Tags
Could not load branches
Nothing to show
{{ refName }} default View all branches
Could not load tags
Nothing to show
{{ refName }} default
View all tags
20 branches 13 tags
Code

  *  
    Clone
    HTTPS GitHub CLI
    [https://github.com/m]

    Use Git or checkout with SVN using the web URL.

    [gh repo clone modus-]

    Work fast with our official CLI. Learn more.

  * Open with GitHub Desktop
  * Download ZIP

Launching GitHub Desktop

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop

If nothing happens, download GitHub Desktop and try again.

Launching Xcode

If nothing happens, download Xcode and try again.

Launching Visual Studio Code

Your codespace will open once ready.

There was a problem preparing your codespace, please try again.

Latest commit

@thevirtuoso1973
thevirtuoso1973 Use severity to determine if SLD tree succeeded (#203
)
...
7682f52 May 14, 2022
Use severity to determine if SLD tree succeeded (#203)

* 'normalize' terms to get better/alt equality check

* add literal to builtin error output

* get original variable for renamed variable

* minor: rustfmt

* minor comment fix

* use error severity to determine if successful tree

* upgrade `InsufficientGroundness` to an error

* use concat -> f-string in dot graph

* omit chains of uninteresting resolutions

* don't treat errors as negation proofs

* minor: rustfmt

7682f52

Git stats

  * 433 commits

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Meaningful workflow names
Mar 28, 2022
modus-lib
Use severity to determine if SLD tree succeeded (#203)
May 14, 2022
modus
Use severity to determine if SLD tree succeeded (#203)
May 14, 2022
test
Fix f-string anonymous variables and negation translation (#198)
Apr 2, 2022
.dockerignore
Buildkit integration
Dec 15, 2021
.gitignore
.gitignore += __pycache__
Feb 1, 2022
Cargo.toml
modus-corelib -> modus-lib; modus-bin -> modus
Feb 20, 2022
DEVELOPMENT.md
Update release process
Mar 28, 2022
LICENSE
updating copyrights
Feb 22, 2022
Modusfile
./Modusfile: copy rust-toolchain.toml
Mar 28, 2022
README.md
Update README.md
Apr 12, 2022
cargo-publish.sh
Fix grammar in cargo-publish.sh
Mar 28, 2022
modus_logo.png
updating readme
Mar 27, 2022
rust-toolchain.toml
ARM builds + automatic artifact upload to gh release (#182)
Mar 23, 2022
View code

README.md

Crates.io Version Crates.io Licence

modus logo

Modus is a language for building Docker/OCI container images. Modus
uses logic programming to express interactions among build
parameters, specify complex build workflows, automatically
parallelise and cache builds, help to reduce image size, and simplify
maintenance. For more information, please follow these links:

  * Modus website
  * Installation instructions
  * Documentation
  * Playground
  * Discord community

Modus uses semantic versioning; until version 1.0 is declared,
breaking changes are possible. The current version, 0.1, is a preview
release. We welcome bug reports and feature requests submitted
through GitHub Issues.

About

A language for building Docker/OCI container images

modus-continens.com

Topics

docker language dockerfile datalog build-system reproducible-builds

Resources

Readme

License

AGPL-3.0 license

Stars

81 stars

Watchers

2 watching

Forks

0 forks

Releases 9

 
0.1.15 Latest
Mar 28, 2022
+ 8 releases

Packages 1

 

Contributors 4

  * @thevirtuoso1973 thevirtuoso1973 Chris
  * @mechtaev mechtaev Sergey Mechtaev
  * @micromaomao micromaomao maowtm
  * @maowtm maowtm

Languages

  * Rust 89.3%
  * Python 10.6%
  * Shell 0.1%

Footer

 (c) 2022 GitHub, Inc.

Footer navigation

  * Terms
  * Privacy
  * Security
  * Status
  * Docs
  * Contact GitHub
  * Pricing
  * API
  * Training
  * Blog
  * About

You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session.