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

Preliminary support for scheduling enclaves in the C target #2104

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

Commits on Jun 8, 2023

  1. Configuration menu
    Copy the full SHA
    011c763 View commit details
    Browse the repository at this point in the history
  2. Update tracing API

    erlingrj committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    494c15f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4d78138 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    69f64ac View commit details
    Browse the repository at this point in the history
  5. Bump reactor-C

    erlingrj committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    50b4e4a View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4141b40 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2023

  1. Configuration menu
    Copy the full SHA
    3dc3919 View commit details
    Browse the repository at this point in the history
  2. Use a reactor_mutex in the ConnectionReactor to enforce mutual exclus…

    …ion between delay and forward body
    erlingrj committed Jun 10, 2023
    Configuration menu
    Copy the full SHA
    80103d6 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2023

  1. Set LF_ENCLAVES compile def

    erlingrj committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    b5b6632 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    edd9952 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e5f2e89 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. Configuration menu
    Copy the full SHA
    235483b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bc89970 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Address Peter's comments

    erlingrj committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    c0ec4f6 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Configuration menu
    Copy the full SHA
    b518935 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    240e973 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2023

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

Commits on Jun 26, 2023

  1. Configuration menu
    Copy the full SHA
    48e8a1b View commit details
    Browse the repository at this point in the history
  2. bump reactor-C

    erlingrj committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    d2ce286 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5051337 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7204d52 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. More fixes

    erlingrj committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    d0dccc0 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Configuration menu
    Copy the full SHA
    7cbb9c8 View commit details
    Browse the repository at this point in the history
  2. Move some tests

    erlingrj committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    76321d8 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    2c9aa09 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0f26bdb View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    be43717 View commit details
    Browse the repository at this point in the history
  6. time_t -> instant_t

    erlingrj committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    1d98b1a View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    8f6d89a View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    62258c7 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    9c7ea0d View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. Configuration menu
    Copy the full SHA
    a3ab9d4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9c405a1 View commit details
    Browse the repository at this point in the history
  3. Run formatter

    erlingrj committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    de93d76 View commit details
    Browse the repository at this point in the history
  4. Casting void to mutex

    erlingrj committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    31dd940 View commit details
    Browse the repository at this point in the history
  5. Cast malloc return

    erlingrj committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    be4a046 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    af350b3 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    0a4d9ec View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

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

Commits on Jul 8, 2023

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

Commits on Jul 11, 2023

  1. Make pass on docs

    erlingrj committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    0fca3cc View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    071c3c9 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Configuration menu
    Copy the full SHA
    81685f0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2ad1950 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    35bb9d1 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d6d19f9 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Make sure to delete everything federated related for Ardunio except l…

    …ocal RTI header files.
    erlingrj committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    0f25c8c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1f73d34 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    99342b8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    dcd0518 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    42d659c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4522f43 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. Configuration menu
    Copy the full SHA
    c0ee111 View commit details
    Browse the repository at this point in the history
  2. Bump reactor-c to merged

    erlingrj committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    acb9be9 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

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

Commits on Oct 2, 2023

  1. Configuration menu
    Copy the full SHA
    ff27f40 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a0f1be4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5862c12 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    756f8a8 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Spotless

    erlingrj committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    3fc9fd7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f451911 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

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

Commits on Oct 19, 2023

  1. Remove old LET calculations.

    Fix expensive way of finding the parent enclave of a reactorInstance
    erlingrj committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    7c75e15 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2023

  1. Configuration menu
    Copy the full SHA
    edba77f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    96f1fb1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e3fe29d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    4f22fb7 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Align reactor-c

    edwardalee committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    8e2b08d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    dd10eba View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    56e9957 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

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

    erlingrj committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    420e30b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e0e4604 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Configuration menu
    Copy the full SHA
    5836067 View commit details
    Browse the repository at this point in the history
  2. Added tests

    edwardalee committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    2bd5a23 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

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

Commits on Nov 14, 2023

  1. Checking in temporary status in new Enclave.

    AST is now not touching the hierarchy only code-generating a ConnectionReactor
    erlingrj committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    932c4f7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b3bf068 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Configuration menu
    Copy the full SHA
    81f9156 View commit details
    Browse the repository at this point in the history
  2. Disable enclave tests in CI

    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    13ae58b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    102804e View commit details
    Browse the repository at this point in the history
  4. Fix mistake in code-generated reaction preamble.

    Some token-moving from trigger struct to
    action struct was outside a critical section.
    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    df0cc14 View commit details
    Browse the repository at this point in the history
  5. bump reactor-c

    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    a532d36 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    169ec9e View commit details
    Browse the repository at this point in the history
  7. Code-generation is hard ...

    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    821326d View commit details
    Browse the repository at this point in the history
  8. Spotless

    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    7da478c View commit details
    Browse the repository at this point in the history
  9. Fix findEnclavedConnections

    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    88ece1f View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    3e5f158 View commit details
    Browse the repository at this point in the history
  11. Spotless

    erlingrj committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    1a02bc0 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Configuration menu
    Copy the full SHA
    472adf5 View commit details
    Browse the repository at this point in the history
  2. Enable enclave tests again

    erlingrj committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    7c38e3f View commit details
    Browse the repository at this point in the history
  3. Bump reactor-c

    erlingrj committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    93801a5 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7689b93 View commit details
    Browse the repository at this point in the history
  5. Spotless

    erlingrj committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    1ce1d7f View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. 4 Configuration menu
    Copy the full SHA
    11d1dd9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    893a61f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a211cd6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    33b19aa View commit details
    Browse the repository at this point in the history
  5. Try to remove magic strings

    erlingrj committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    28ccd3b View commit details
    Browse the repository at this point in the history
  6. Refactoring enclave implementation. Try to move C specific things out…

    … of language-independent parts
    erlingrj committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    3bc811a View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    5376d0a View commit details
    Browse the repository at this point in the history
  8. Spotless

    erlingrj committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    54e7c49 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    5fccd93 View commit details
    Browse the repository at this point in the history
  10. Bring back the enclave tests

    erlingrj committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    7f85593 View commit details
    Browse the repository at this point in the history
  11. Spotless

    erlingrj committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    1c44107 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    14b8991 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    0b7b8c3 View commit details
    Browse the repository at this point in the history
  14. Bump reactor-c

    erlingrj committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    a1d5eca View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    39de65d View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. Configuration menu
    Copy the full SHA
    91b0aa1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    90122dc View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9035068 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e511d8a View commit details
    Browse the repository at this point in the history
  5. Improve enclave tests

    erlingrj committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    3509067 View commit details
    Browse the repository at this point in the history
  6. Spotless

    erlingrj committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    c3fa40e View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    66e5d96 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Configuration menu
    Copy the full SHA
    ec4d6f4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5692daa View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

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

Commits on Dec 5, 2023

  1. Spotless

    erlingrj committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    3ecbf9a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d102db2 View commit details
    Browse the repository at this point in the history
  3. Spotless

    erlingrj committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    fc38568 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Update core/src/main/java/org/lflang/util/FileUtil.java

    Co-authored-by: Edward A. Lee <[email protected]>
    lhstrh and edwardalee committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    2155012 View commit details
    Browse the repository at this point in the history
  2. Update core/src/main/java/org/lflang/generator/ReactionInstanceGraph.…

    …java
    
    Co-authored-by: Edward A. Lee <[email protected]>
    lhstrh and edwardalee committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    294f2f3 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. Configuration menu
    Copy the full SHA
    f085020 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ec45cac View commit details
    Browse the repository at this point in the history
  3. Bump reactor-c

    erlingrj committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    62f1d71 View commit details
    Browse the repository at this point in the history
  4. Apply suggestions from code review

    Co-authored-by: Edward A. Lee <[email protected]>
    erlingrj and edwardalee committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    617d363 View commit details
    Browse the repository at this point in the history
  5. Apply suggestions from code review

    Co-authored-by: Edward A. Lee <[email protected]>
    erlingrj and edwardalee committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    337236e View commit details
    Browse the repository at this point in the history
  6. Address code review feedback

    erlingrj committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    e1171ae View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    d4ed8b6 View commit details
    Browse the repository at this point in the history
  8. Spotless

    erlingrj committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    c8923f0 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2023

  1. Bump reactor-c

    erlingrj committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    041e040 View commit details
    Browse the repository at this point in the history
  2. reactor-c

    erlingrj committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    6872fd6 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Configuration menu
    Copy the full SHA
    fd7868d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    77357b9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    917f91b View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Configuration menu
    Copy the full SHA
    ae7fd0a View commit details
    Browse the repository at this point in the history
  2. Watchdog updates

    erlingrj committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    155be13 View commit details
    Browse the repository at this point in the history