Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Lcm #9

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Lcm #9

wants to merge 4 commits into from

Commits on Mar 6, 2020

  1. lcm: prepare clause class 

    Add flag for LCM, as well as a reverse method.
    @nmanthey @conp-solutions
    nmanthey authored and conp-solutions committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    f84aa85 View commit details
    Browse the repository at this point in the history

  2. lcm: port implementation from Riss 

    The current version compiles, but does not respect the PT changes yet.
The implemented parameters should be functional. By default, LCM is not
active.
    @nmanthey @conp-solutions
    nmanthey authored and conp-solutions committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    07f0c24 View commit details
    Browse the repository at this point in the history

  3. lcm: set PT level to current node level 

    When a clause is modified via LCM, tracking the PT level is difficult.
As an over approximation, use the level of the current node. This way, we
can at least use LCM, and still share clauses downwards correctly. For now,
this is good enough, compared to not being able to share clauses at all.
    @conp-solutions
    conp-solutions committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    5be8767 View commit details
    Browse the repository at this point in the history

  4. pcasso: share results of LCM 

    Track the share indexes during LCM. This way, we do not loose sharing
information when doing LCM.
    @conp-solutions
    conp-solutions committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    40310f3 View commit details
    Browse the repository at this point in the history