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

Load rec args #19

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

Load rec args #19

wants to merge 6 commits into from

Commits on Sep 29, 2022

  1. Allow collect_dots to accept non-concepts

    @prockenschaub
    prockenschaub committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    d25628d View commit details
    Browse the repository at this point in the history

  2. Pass arguments to lower-level concepts 

    Note: this currently needs to remove a warning from load_concepts.itm, which may not be desired. Maybe there is another way to prevent unnecessary warnings in the case of additional arguments to load_concepts?
    @prockenschaub
    prockenschaub committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    1b57417 View commit details
    Browse the repository at this point in the history

  3. Use named args in tests to pass

    @prockenschaub
    prockenschaub committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    253e418 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2022

  1. Remove unneeded keep_components from sep3

    @prockenschaub
    prockenschaub committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    4a9f169 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Merge branch 'main' into load-rec-args

    @prockenschaub
    prockenschaub committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    1225437 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. Remove unneeded keep_components from sep3

    @prockenschaub
    prockenschaub committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    f582793 View commit details
    Browse the repository at this point in the history