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.

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

Allow for selection of diversly contextualized main functions in Bir #184

Merged
merged 19 commits into from
Oct 3, 2022

Commits on Sep 12, 2022

  1. Expand Bir.program and Bir interface to expose both bare main_functio…

    …n and context_function
    mdurero committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    41235c5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bf82d9d View commit details
    Browse the repository at this point in the history
  3. Make contex_function_with_reset and context_function diverge

    The context_function now don't reset input table. Most parts of inner
    Mlang making use of context_function or Bir.main_statements are now
    using context_function_with_reset or Bir.main_statements_with_reset as
    they are linked to the interpreter.
    mdurero committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    94d7448 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d967caf View commit details
    Browse the repository at this point in the history
  5. Remove the Bir-built context functions from the program function map …

    …and store them as their own mpp_function field
    mdurero committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    095ce46 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2022

  1. Configuration menu
    Copy the full SHA
    340ce1a View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2022

  1. Remove Test_interpreter.add_test_conds_to_combined_program, the condi…

    …tion are already added by Bir_interface.adapt_program_to_function
    mdurero committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    7eabd5b View commit details
    Browse the repository at this point in the history
  2. Remove Bir_interface.context_agnostic_mpp_functions as program mpp_fu…

    …nctions map is now always agnostic, context being stored outside it.
    mdurero committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    5eaac4f View commit details
    Browse the repository at this point in the history
  3. Add context statements in Oir.program to pass it from the initial Bir…

    ….program to the Oir output without change
    mdurero committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    c79a4ce View commit details
    Browse the repository at this point in the history
  4. Revert "Add context statements in Oir.program to pass it from the ini…

    …tial Bir.program to the Oir output without change"
    
    This reverts commit c79a4ce.
    mdurero committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    f596448 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2022

  1. Configuration menu
    Copy the full SHA
    c0204da View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

  1. Configuration menu
    Copy the full SHA
    f52cc2f View commit details
    Browse the repository at this point in the history
  2. Merge remote-tracking branch 'origin/master' at release 98 into main-…

    …function-selection-in-bir
    mdurero committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    adbdfa5 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

  1. Delete outdated comment

    mdurero committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    5b66e73 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

  1. Configuration menu
    Copy the full SHA
    5bcebcc View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

  1. Configuration menu
    Copy the full SHA
    d9bf2c9 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

  1. Merge remote-tracking branch 'origin/master' at release 103 into main…

    …-function-selection-in-bir
    mdurero committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    29db93e View commit details
    Browse the repository at this point in the history
  2. Rename main_statements_with_reset to main_statements_with_context_and…

    …_tgv_init and add comment explaining why BIR interpreter needs the addition of these initialisation statements
    mdurero committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    5168b57 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b8e0f56 View commit details
    Browse the repository at this point in the history