-
-
Notifications
You must be signed in to change notification settings - Fork 62
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
base: master
Are you sure you want to change the base?
Commits on Jun 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 011c763 - Browse repository at this point
Copy the full SHA 011c763View commit details -
Configuration menu - View commit details
-
Copy full SHA for 494c15f - Browse repository at this point
Copy the full SHA 494c15fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4d78138 - Browse repository at this point
Copy the full SHA 4d78138View commit details -
Configuration menu - View commit details
-
Copy full SHA for 69f64ac - Browse repository at this point
Copy the full SHA 69f64acView commit details -
Configuration menu - View commit details
-
Copy full SHA for 50b4e4a - Browse repository at this point
Copy the full SHA 50b4e4aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4141b40 - Browse repository at this point
Copy the full SHA 4141b40View commit details
Commits on Jun 10, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 3dc3919 - Browse repository at this point
Copy the full SHA 3dc3919View commit details -
Use a reactor_mutex in the ConnectionReactor to enforce mutual exclus…
…ion between delay and forward body
Configuration menu - View commit details
-
Copy full SHA for 80103d6 - Browse repository at this point
Copy the full SHA 80103d6View commit details
Commits on Jun 11, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b5b6632 - Browse repository at this point
Copy the full SHA b5b6632View commit details -
Configuration menu - View commit details
-
Copy full SHA for edd9952 - Browse repository at this point
Copy the full SHA edd9952View commit details -
Configuration menu - View commit details
-
Copy full SHA for e5f2e89 - Browse repository at this point
Copy the full SHA e5f2e89View commit details
Commits on Jun 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 235483b - Browse repository at this point
Copy the full SHA 235483bView commit details -
Configuration menu - View commit details
-
Copy full SHA for bc89970 - Browse repository at this point
Copy the full SHA bc89970View commit details
Commits on Jun 14, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c0ec4f6 - Browse repository at this point
Copy the full SHA c0ec4f6View commit details
Commits on Jun 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b518935 - Browse repository at this point
Copy the full SHA b518935View commit details -
Configuration menu - View commit details
-
Copy full SHA for 240e973 - Browse repository at this point
Copy the full SHA 240e973View commit details
Commits on Jun 24, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b16434e - Browse repository at this point
Copy the full SHA b16434eView commit details
Commits on Jun 26, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 48e8a1b - Browse repository at this point
Copy the full SHA 48e8a1bView commit details -
Configuration menu - View commit details
-
Copy full SHA for d2ce286 - Browse repository at this point
Copy the full SHA d2ce286View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5051337 - Browse repository at this point
Copy the full SHA 5051337View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7204d52 - Browse repository at this point
Copy the full SHA 7204d52View commit details
Commits on Jun 27, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d0dccc0 - Browse repository at this point
Copy the full SHA d0dccc0View commit details
Commits on Jun 29, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7cbb9c8 - Browse repository at this point
Copy the full SHA 7cbb9c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 76321d8 - Browse repository at this point
Copy the full SHA 76321d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c9aa09 - Browse repository at this point
Copy the full SHA 2c9aa09View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0f26bdb - Browse repository at this point
Copy the full SHA 0f26bdbView commit details -
Configuration menu - View commit details
-
Copy full SHA for be43717 - Browse repository at this point
Copy the full SHA be43717View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1d98b1a - Browse repository at this point
Copy the full SHA 1d98b1aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8f6d89a - Browse repository at this point
Copy the full SHA 8f6d89aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 62258c7 - Browse repository at this point
Copy the full SHA 62258c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c7ea0d - Browse repository at this point
Copy the full SHA 9c7ea0dView commit details
Commits on Jun 30, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a3ab9d4 - Browse repository at this point
Copy the full SHA a3ab9d4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c405a1 - Browse repository at this point
Copy the full SHA 9c405a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for de93d76 - Browse repository at this point
Copy the full SHA de93d76View commit details -
Configuration menu - View commit details
-
Copy full SHA for 31dd940 - Browse repository at this point
Copy the full SHA 31dd940View commit details -
Configuration menu - View commit details
-
Copy full SHA for be4a046 - Browse repository at this point
Copy the full SHA be4a046View commit details -
Configuration menu - View commit details
-
Copy full SHA for af350b3 - Browse repository at this point
Copy the full SHA af350b3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0a4d9ec - Browse repository at this point
Copy the full SHA 0a4d9ecView commit details
Commits on Jul 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 6ad747d - Browse repository at this point
Copy the full SHA 6ad747dView commit details
Commits on Jul 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for effa420 - Browse repository at this point
Copy the full SHA effa420View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6878523 - Browse repository at this point
Copy the full SHA 6878523View commit details
Commits on Jul 11, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 0fca3cc - Browse repository at this point
Copy the full SHA 0fca3ccView commit details -
Configuration menu - View commit details
-
Copy full SHA for 071c3c9 - Browse repository at this point
Copy the full SHA 071c3c9View commit details
Commits on Jul 12, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 81685f0 - Browse repository at this point
Copy the full SHA 81685f0View commit details -
Update core/src/main/java/org/lflang/validation/AttributeSpec.java
Co-authored-by: Edward A. Lee <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 2ad1950 - Browse repository at this point
Copy the full SHA 2ad1950View commit details -
Configuration menu - View commit details
-
Copy full SHA for 35bb9d1 - Browse repository at this point
Copy the full SHA 35bb9d1View commit details -
Configuration menu - View commit details
-
Copy full SHA for d6d19f9 - Browse repository at this point
Copy the full SHA d6d19f9View commit details
Commits on Jul 13, 2023
-
Make sure to delete everything federated related for Ardunio except l…
…ocal RTI header files.
Configuration menu - View commit details
-
Copy full SHA for 0f25c8c - Browse repository at this point
Copy the full SHA 0f25c8cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f73d34 - Browse repository at this point
Copy the full SHA 1f73d34View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99342b8 - Browse repository at this point
Copy the full SHA 99342b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for dcd0518 - Browse repository at this point
Copy the full SHA dcd0518View commit details -
Configuration menu - View commit details
-
Copy full SHA for 42d659c - Browse repository at this point
Copy the full SHA 42d659cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4522f43 - Browse repository at this point
Copy the full SHA 4522f43View commit details
Commits on Sep 22, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c0ee111 - Browse repository at this point
Copy the full SHA c0ee111View commit details -
Configuration menu - View commit details
-
Copy full SHA for acb9be9 - Browse repository at this point
Copy the full SHA acb9be9View commit details
Commits on Sep 26, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 28e4fe7 - Browse repository at this point
Copy the full SHA 28e4fe7View commit details
Commits on Oct 2, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ff27f40 - Browse repository at this point
Copy the full SHA ff27f40View commit details -
Configuration menu - View commit details
-
Copy full SHA for a0f1be4 - Browse repository at this point
Copy the full SHA a0f1be4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5862c12 - Browse repository at this point
Copy the full SHA 5862c12View commit details -
Configuration menu - View commit details
-
Copy full SHA for 756f8a8 - Browse repository at this point
Copy the full SHA 756f8a8View commit details
Commits on Oct 4, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 3fc9fd7 - Browse repository at this point
Copy the full SHA 3fc9fd7View commit details -
Configuration menu - View commit details
-
Copy full SHA for f451911 - Browse repository at this point
Copy the full SHA f451911View commit details
Commits on Oct 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7194624 - Browse repository at this point
Copy the full SHA 7194624View commit details
Commits on Oct 19, 2023
-
Fix expensive way of finding the parent enclave of a reactorInstance
Configuration menu - View commit details
-
Copy full SHA for 7c75e15 - Browse repository at this point
Copy the full SHA 7c75e15View commit details
Commits on Nov 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for edba77f - Browse repository at this point
Copy the full SHA edba77fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 96f1fb1 - Browse repository at this point
Copy the full SHA 96f1fb1View commit details -
Configuration menu - View commit details
-
Copy full SHA for e3fe29d - Browse repository at this point
Copy the full SHA e3fe29dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4f22fb7 - Browse repository at this point
Copy the full SHA 4f22fb7View commit details
Commits on Nov 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 8e2b08d - Browse repository at this point
Copy the full SHA 8e2b08dView commit details -
Configuration menu - View commit details
-
Copy full SHA for dd10eba - Browse repository at this point
Copy the full SHA dd10ebaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 56e9957 - Browse repository at this point
Copy the full SHA 56e9957View commit details
Commits on Nov 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 1d94e22 - Browse repository at this point
Copy the full SHA 1d94e22View commit details -
Configuration menu - View commit details
-
Copy full SHA for 420e30b - Browse repository at this point
Copy the full SHA 420e30bView commit details -
Configuration menu - View commit details
-
Copy full SHA for e0e4604 - Browse repository at this point
Copy the full SHA e0e4604View commit details
Commits on Nov 9, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 5836067 - Browse repository at this point
Copy the full SHA 5836067View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2bd5a23 - Browse repository at this point
Copy the full SHA 2bd5a23View commit details
Commits on Nov 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b337fdb - Browse repository at this point
Copy the full SHA b337fdbView commit details
Commits on Nov 14, 2023
-
Checking in temporary status in new Enclave.
AST is now not touching the hierarchy only code-generating a ConnectionReactor
Configuration menu - View commit details
-
Copy full SHA for 932c4f7 - Browse repository at this point
Copy the full SHA 932c4f7View commit details -
Configuration menu - View commit details
-
Copy full SHA for b3bf068 - Browse repository at this point
Copy the full SHA b3bf068View commit details
Commits on Nov 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 81f9156 - Browse repository at this point
Copy the full SHA 81f9156View commit details -
Configuration menu - View commit details
-
Copy full SHA for 13ae58b - Browse repository at this point
Copy the full SHA 13ae58bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 102804e - Browse repository at this point
Copy the full SHA 102804eView commit details -
Fix mistake in code-generated reaction preamble.
Some token-moving from trigger struct to action struct was outside a critical section.
Configuration menu - View commit details
-
Copy full SHA for df0cc14 - Browse repository at this point
Copy the full SHA df0cc14View commit details -
Configuration menu - View commit details
-
Copy full SHA for a532d36 - Browse repository at this point
Copy the full SHA a532d36View commit details -
Configuration menu - View commit details
-
Copy full SHA for 169ec9e - Browse repository at this point
Copy the full SHA 169ec9eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 821326d - Browse repository at this point
Copy the full SHA 821326dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7da478c - Browse repository at this point
Copy the full SHA 7da478cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 88ece1f - Browse repository at this point
Copy the full SHA 88ece1fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3e5f158 - Browse repository at this point
Copy the full SHA 3e5f158View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a02bc0 - Browse repository at this point
Copy the full SHA 1a02bc0View commit details
Commits on Nov 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 472adf5 - Browse repository at this point
Copy the full SHA 472adf5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7c38e3f - Browse repository at this point
Copy the full SHA 7c38e3fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 93801a5 - Browse repository at this point
Copy the full SHA 93801a5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7689b93 - Browse repository at this point
Copy the full SHA 7689b93View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ce1d7f - Browse repository at this point
Copy the full SHA 1ce1d7fView commit details
Commits on Nov 22, 2023
-
4
Configuration menu - View commit details
-
Copy full SHA for 11d1dd9 - Browse repository at this point
Copy the full SHA 11d1dd9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 893a61f - Browse repository at this point
Copy the full SHA 893a61fView commit details -
Configuration menu - View commit details
-
Copy full SHA for a211cd6 - Browse repository at this point
Copy the full SHA a211cd6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 33b19aa - Browse repository at this point
Copy the full SHA 33b19aaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 28ccd3b - Browse repository at this point
Copy the full SHA 28ccd3bView commit details -
Refactoring enclave implementation. Try to move C specific things out…
… of language-independent parts
Configuration menu - View commit details
-
Copy full SHA for 3bc811a - Browse repository at this point
Copy the full SHA 3bc811aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5376d0a - Browse repository at this point
Copy the full SHA 5376d0aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 54e7c49 - Browse repository at this point
Copy the full SHA 54e7c49View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5fccd93 - Browse repository at this point
Copy the full SHA 5fccd93View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f85593 - Browse repository at this point
Copy the full SHA 7f85593View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1c44107 - Browse repository at this point
Copy the full SHA 1c44107View commit details -
Configuration menu - View commit details
-
Copy full SHA for 14b8991 - Browse repository at this point
Copy the full SHA 14b8991View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0b7b8c3 - Browse repository at this point
Copy the full SHA 0b7b8c3View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1d5eca - Browse repository at this point
Copy the full SHA a1d5ecaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 39de65d - Browse repository at this point
Copy the full SHA 39de65dView commit details
Commits on Nov 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 91b0aa1 - Browse repository at this point
Copy the full SHA 91b0aa1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 90122dc - Browse repository at this point
Copy the full SHA 90122dcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9035068 - Browse repository at this point
Copy the full SHA 9035068View commit details -
Configuration menu - View commit details
-
Copy full SHA for e511d8a - Browse repository at this point
Copy the full SHA e511d8aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3509067 - Browse repository at this point
Copy the full SHA 3509067View commit details -
Configuration menu - View commit details
-
Copy full SHA for c3fa40e - Browse repository at this point
Copy the full SHA c3fa40eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 66e5d96 - Browse repository at this point
Copy the full SHA 66e5d96View commit details
Commits on Nov 30, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ec4d6f4 - Browse repository at this point
Copy the full SHA ec4d6f4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5692daa - Browse repository at this point
Copy the full SHA 5692daaView commit details
Commits on Dec 1, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 9020241 - Browse repository at this point
Copy the full SHA 9020241View commit details
Commits on Dec 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 3ecbf9a - Browse repository at this point
Copy the full SHA 3ecbf9aView commit details -
Configuration menu - View commit details
-
Copy full SHA for d102db2 - Browse repository at this point
Copy the full SHA d102db2View commit details -
Configuration menu - View commit details
-
Copy full SHA for fc38568 - Browse repository at this point
Copy the full SHA fc38568View commit details
Commits on Dec 6, 2023
-
Update core/src/main/java/org/lflang/util/FileUtil.java
Co-authored-by: Edward A. Lee <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 2155012 - Browse repository at this point
Copy the full SHA 2155012View commit details -
Update core/src/main/java/org/lflang/generator/ReactionInstanceGraph.…
…java Co-authored-by: Edward A. Lee <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 294f2f3 - Browse repository at this point
Copy the full SHA 294f2f3View commit details
Commits on Dec 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for f085020 - Browse repository at this point
Copy the full SHA f085020View commit details -
Configuration menu - View commit details
-
Copy full SHA for ec45cac - Browse repository at this point
Copy the full SHA ec45cacView commit details -
Configuration menu - View commit details
-
Copy full SHA for 62f1d71 - Browse repository at this point
Copy the full SHA 62f1d71View commit details -
Apply suggestions from code review
Co-authored-by: Edward A. Lee <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 617d363 - Browse repository at this point
Copy the full SHA 617d363View commit details -
Apply suggestions from code review
Co-authored-by: Edward A. Lee <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 337236e - Browse repository at this point
Copy the full SHA 337236eView commit details -
Configuration menu - View commit details
-
Copy full SHA for e1171ae - Browse repository at this point
Copy the full SHA e1171aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for d4ed8b6 - Browse repository at this point
Copy the full SHA d4ed8b6View commit details -
Configuration menu - View commit details
-
Copy full SHA for c8923f0 - Browse repository at this point
Copy the full SHA c8923f0View commit details
Commits on Dec 14, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 041e040 - Browse repository at this point
Copy the full SHA 041e040View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6872fd6 - Browse repository at this point
Copy the full SHA 6872fd6View commit details
Commits on Apr 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for fd7868d - Browse repository at this point
Copy the full SHA fd7868dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 77357b9 - Browse repository at this point
Copy the full SHA 77357b9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 917f91b - Browse repository at this point
Copy the full SHA 917f91bView commit details
Commits on Apr 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ae7fd0a - Browse repository at this point
Copy the full SHA ae7fd0aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 155be13 - Browse repository at this point
Copy the full SHA 155be13View commit details