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

Add simple pruning and folding abilities to LMC tools #43

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

Add simple pruning and folding abilities to LMC tools #43

wants to merge 18 commits into from

Commits on Dec 27, 2018

  1. lmc/lgraph-search: add states for consuming sets of Term

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    4fd1bed View commit details
    Browse the repository at this point in the history

  2. lmc/lgraph-search: support sets of folds

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    7be8605 View commit details
    Browse the repository at this point in the history

  3. lmc/lgraph-search: use sort NeNarrowStepResults

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    b0ef9a8 View commit details
    Browse the repository at this point in the history

  4. lmc/lgraph-search: lift step to NodeSet

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    8dd511f View commit details
    Browse the repository at this point in the history

  5. lmc/lgraph-search: nodes getter for TransitionSet

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    2bb14cf View commit details
    Browse the repository at this point in the history

  6. lmc/lgraph-search: add user-specified prune operation

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    1ae951b View commit details
    Browse the repository at this point in the history

  7. tests/.../lmc/thermostat: add testing harness for thermostat with INT

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    2641844 View commit details
    Browse the repository at this point in the history

  8. tests/.../lmc/thermostat: prune states with only false variants

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    ae9cd49 View commit details
    Browse the repository at this point in the history

  9. tests/.../lmc/thermostat: factor out THERMOSTAT-COMMON-INIT, document… 

    …ation
    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    588dfeb View commit details
    Browse the repository at this point in the history

  10. lmc/lgraph-search: call metaReduce on resulting states

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    b2ea383 View commit details
    Browse the repository at this point in the history

  11. lmc/lgraph-search: enable pruning based on specifc false condition

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    60198e3 View commit details
    Browse the repository at this point in the history

  12. lmc/lgraph-search: simplest implication checks

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    ce45d3b View commit details
    Browse the repository at this point in the history

  13. lmc/lgraph-search: organize file and add documentation

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    7fdb0b4 View commit details
    Browse the repository at this point in the history

  14. lmc/lgraph-search: simplify out access of empty NodeMap

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    166b655 View commit details
    Browse the repository at this point in the history

  15. lmc/lgraph-search: intersects-with retrieves domain of NodeMap in… 

    …tersection
    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    94a74ad View commit details
    Browse the repository at this point in the history

  16. lmc/lgraph-search: fix check that nodes only returns non-NodeId

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    c8b2019 View commit details
    Browse the repository at this point in the history

  17. lmc/lgraph-search: memoize #bfs searches

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    62fca28 View commit details
    Browse the repository at this point in the history

  18. lmc/lgraph-search: documentation update/cleanup

    Everett Hildenbrandt committed Dec 27, 2018
    Configuration menu
    Copy the full SHA
    ee2ebe2 View commit details
    Browse the repository at this point in the history