-
Notifications
You must be signed in to change notification settings - Fork 201
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
[DO NOT MERGE] Emitter Framework #4480
Draft
joheredi
wants to merge
102
commits into
microsoft:main
Choose a base branch
from
bterlson:alloy
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
+14,842
−1,766
Commits on Jul 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 24325fe - Browse repository at this point
Copy the full SHA 24325feView commit details -
Configuration menu - View commit details
-
Copy full SHA for a9d3e0a - Browse repository at this point
Copy the full SHA a9d3e0aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8aae4b5 - Browse repository at this point
Copy the full SHA 8aae4b5View commit details -
Configuration menu - View commit details
-
Copy full SHA for a35098d - Browse repository at this point
Copy the full SHA a35098dView commit details -
Configuration menu - View commit details
-
Copy full SHA for c16789e - Browse repository at this point
Copy the full SHA c16789eView commit details
Commits on Jul 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1143cbc - Browse repository at this point
Copy the full SHA 1143cbcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e5f7bb - Browse repository at this point
Copy the full SHA 6e5f7bbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0ad093c - Browse repository at this point
Copy the full SHA 0ad093cView commit details -
Configuration menu - View commit details
-
Copy full SHA for ac54d1d - Browse repository at this point
Copy the full SHA ac54d1dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a1b386 - Browse repository at this point
Copy the full SHA 1a1b386View commit details -
Configuration menu - View commit details
-
Copy full SHA for dafc751 - Browse repository at this point
Copy the full SHA dafc751View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2de2aa8 - Browse repository at this point
Copy the full SHA 2de2aa8View commit details
Commits on Jul 30, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ef8640a - Browse repository at this point
Copy the full SHA ef8640aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 670f228 - Browse repository at this point
Copy the full SHA 670f228View commit details -
Configuration menu - View commit details
-
Copy full SHA for b3d8e76 - Browse repository at this point
Copy the full SHA b3d8e76View commit details
Commits on Aug 2, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3602092 - Browse repository at this point
Copy the full SHA 3602092View commit details
Commits on Aug 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for dd854e3 - Browse repository at this point
Copy the full SHA dd854e3View commit details
Commits on Aug 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a2c2650 - Browse repository at this point
Copy the full SHA a2c2650View commit details
Commits on Aug 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d8d3241 - Browse repository at this point
Copy the full SHA d8d3241View commit details -
Configuration menu - View commit details
-
Copy full SHA for 573774a - Browse repository at this point
Copy the full SHA 573774aView commit details -
Configuration menu - View commit details
-
Copy full SHA for dab0008 - Browse repository at this point
Copy the full SHA dab0008View commit details -
Configuration menu - View commit details
-
Copy full SHA for cdac11b - Browse repository at this point
Copy the full SHA cdac11bView commit details
Commits on Aug 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9f220ad - Browse repository at this point
Copy the full SHA 9f220adView commit details -
Configuration menu - View commit details
-
Copy full SHA for c8113dc - Browse repository at this point
Copy the full SHA c8113dcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1313d5a - Browse repository at this point
Copy the full SHA 1313d5aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 28dbb1f - Browse repository at this point
Copy the full SHA 28dbb1fView commit details -
Configuration menu - View commit details
-
Copy full SHA for d0971fb - Browse repository at this point
Copy the full SHA d0971fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5c82f34 - Browse repository at this point
Copy the full SHA 5c82f34View commit details -
Configuration menu - View commit details
-
Copy full SHA for c7d4569 - Browse repository at this point
Copy the full SHA c7d4569View commit details -
Configuration menu - View commit details
-
Copy full SHA for fbe2f11 - Browse repository at this point
Copy the full SHA fbe2f11View commit details
Commits on Aug 21, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1a4c319 - Browse repository at this point
Copy the full SHA 1a4c319View commit details -
Configuration menu - View commit details
-
Copy full SHA for 267ffa9 - Browse repository at this point
Copy the full SHA 267ffa9View commit details
Commits on Aug 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 405192f - Browse repository at this point
Copy the full SHA 405192fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8fad521 - Browse repository at this point
Copy the full SHA 8fad521View commit details -
Configuration menu - View commit details
-
Copy full SHA for c2d6519 - Browse repository at this point
Copy the full SHA c2d6519View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9eb9288 - Browse repository at this point
Copy the full SHA 9eb9288View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0580548 - Browse repository at this point
Copy the full SHA 0580548View commit details -
Configuration menu - View commit details
-
Copy full SHA for a09301d - Browse repository at this point
Copy the full SHA a09301dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4fb3a50 - Browse repository at this point
Copy the full SHA 4fb3a50View commit details
Commits on Aug 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1735401 - Browse repository at this point
Copy the full SHA 1735401View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7479795 - Browse repository at this point
Copy the full SHA 7479795View commit details -
Configuration menu - View commit details
-
Copy full SHA for cf3495a - Browse repository at this point
Copy the full SHA cf3495aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c199f4 - Browse repository at this point
Copy the full SHA 9c199f4View commit details -
Configuration menu - View commit details
-
Copy full SHA for bd9037e - Browse repository at this point
Copy the full SHA bd9037eView commit details -
Configuration menu - View commit details
-
Copy full SHA for b536b3e - Browse repository at this point
Copy the full SHA b536b3eView commit details
Commits on Aug 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3745030 - Browse repository at this point
Copy the full SHA 3745030View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e886b3 - Browse repository at this point
Copy the full SHA 1e886b3View commit details -
Configuration menu - View commit details
-
Copy full SHA for bce5879 - Browse repository at this point
Copy the full SHA bce5879View commit details -
Configuration menu - View commit details
-
Copy full SHA for e1bd386 - Browse repository at this point
Copy the full SHA e1bd386View commit details
Commits on Aug 26, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1704166 - Browse repository at this point
Copy the full SHA 1704166View commit details
Commits on Aug 27, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 80abd43 - Browse repository at this point
Copy the full SHA 80abd43View commit details -
Configuration menu - View commit details
-
Copy full SHA for 42b6c11 - Browse repository at this point
Copy the full SHA 42b6c11View commit details -
Configuration menu - View commit details
-
Copy full SHA for 62ed94a - Browse repository at this point
Copy the full SHA 62ed94aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 54f8dad - Browse repository at this point
Copy the full SHA 54f8dadView commit details
Commits on Aug 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3238039 - Browse repository at this point
Copy the full SHA 3238039View commit details
Commits on Sep 3, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b362495 - Browse repository at this point
Copy the full SHA b362495View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1fa79c1 - Browse repository at this point
Copy the full SHA 1fa79c1View commit details -
Configuration menu - View commit details
-
Copy full SHA for c2aef71 - Browse repository at this point
Copy the full SHA c2aef71View commit details -
Configuration menu - View commit details
-
Copy full SHA for d99a487 - Browse repository at this point
Copy the full SHA d99a487View commit details
Commits on Sep 4, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 22f11e1 - Browse repository at this point
Copy the full SHA 22f11e1View commit details
Commits on Sep 5, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 0280f18 - Browse repository at this point
Copy the full SHA 0280f18View commit details
Commits on Sep 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 13fcd6e - Browse repository at this point
Copy the full SHA 13fcd6eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 23853dc - Browse repository at this point
Copy the full SHA 23853dcView commit details
Commits on Sep 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for aea55dc - Browse repository at this point
Copy the full SHA aea55dcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 04a331e - Browse repository at this point
Copy the full SHA 04a331eView commit details
Commits on Sep 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3233a1e - Browse repository at this point
Copy the full SHA 3233a1eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3817643 - Browse repository at this point
Copy the full SHA 3817643View commit details -
Configuration menu - View commit details
-
Copy full SHA for 61fe412 - Browse repository at this point
Copy the full SHA 61fe412View commit details
Commits on Sep 12, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 7642e94 - Browse repository at this point
Copy the full SHA 7642e94View commit details -
Configuration menu - View commit details
-
Copy full SHA for 93d4d2a - Browse repository at this point
Copy the full SHA 93d4d2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8798f2b - Browse repository at this point
Copy the full SHA 8798f2bView commit details -
Configuration menu - View commit details
-
Copy full SHA for f628b97 - Browse repository at this point
Copy the full SHA f628b97View commit details -
Configuration menu - View commit details
-
Copy full SHA for bfa69a9 - Browse repository at this point
Copy the full SHA bfa69a9View commit details
Commits on Sep 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b379237 - Browse repository at this point
Copy the full SHA b379237View commit details -
Configuration menu - View commit details
-
Copy full SHA for d8d535d - Browse repository at this point
Copy the full SHA d8d535dView commit details -
Merge pull request #6 from joheredi/alloy-test-harness
Add Scenario Test Harness
Configuration menu - View commit details
-
Copy full SHA for 7be5c3c - Browse repository at this point
Copy the full SHA 7be5c3cView commit details
Commits on Sep 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 49bbe3b - Browse repository at this point
Copy the full SHA 49bbe3bView commit details
Commits on Sep 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 98a9639 - Browse repository at this point
Copy the full SHA 98a9639View commit details -
Configuration menu - View commit details
-
Copy full SHA for daa06c1 - Browse repository at this point
Copy the full SHA daa06c1View commit details
Commits on Sep 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for da117c4 - Browse repository at this point
Copy the full SHA da117c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for c94396e - Browse repository at this point
Copy the full SHA c94396eView commit details -
Configuration menu - View commit details
-
Copy full SHA for c9746d4 - Browse repository at this point
Copy the full SHA c9746d4View commit details -
Configuration menu - View commit details
-
Copy full SHA for e490358 - Browse repository at this point
Copy the full SHA e490358View commit details -
Configuration menu - View commit details
-
Copy full SHA for 721da83 - Browse repository at this point
Copy the full SHA 721da83View commit details -
Configuration menu - View commit details
-
Copy full SHA for d24bd09 - Browse repository at this point
Copy the full SHA d24bd09View commit details -
Configuration menu - View commit details
-
Copy full SHA for d6f05fc - Browse repository at this point
Copy the full SHA d6f05fcView commit details
Commits on Sep 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5946512 - Browse repository at this point
Copy the full SHA 5946512View commit details -
Configuration menu - View commit details
-
Copy full SHA for 18718aa - Browse repository at this point
Copy the full SHA 18718aaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 71c8c75 - Browse repository at this point
Copy the full SHA 71c8c75View commit details
Commits on Sep 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 8359cde - Browse repository at this point
Copy the full SHA 8359cdeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c350d9 - Browse repository at this point
Copy the full SHA 9c350d9View commit details -
Configuration menu - View commit details
-
Copy full SHA for ef8741c - Browse repository at this point
Copy the full SHA ef8741cView commit details -
Configuration menu - View commit details
-
Copy full SHA for e37c6d1 - Browse repository at this point
Copy the full SHA e37c6d1View commit details
Commits on Sep 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 0ab6c50 - Browse repository at this point
Copy the full SHA 0ab6c50View commit details -
Configuration menu - View commit details
-
Copy full SHA for a350bf4 - Browse repository at this point
Copy the full SHA a350bf4View commit details
Commits on Sep 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b3e5fa7 - Browse repository at this point
Copy the full SHA b3e5fa7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 01685af - Browse repository at this point
Copy the full SHA 01685afView commit details -
Configuration menu - View commit details
-
Copy full SHA for f4b0f69 - Browse repository at this point
Copy the full SHA f4b0f69View commit details -
Configuration menu - View commit details
-
Copy full SHA for 49ebcb0 - Browse repository at this point
Copy the full SHA 49ebcb0View commit details
Commits on Sep 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 62e3575 - Browse repository at this point
Copy the full SHA 62e3575View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e25e03 - Browse repository at this point
Copy the full SHA 7e25e03View commit details -
Configuration menu - View commit details
-
Copy full SHA for 05f18e7 - Browse repository at this point
Copy the full SHA 05f18e7View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.