Skip to content

Translate the ordering component to the new engine framework #275

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
Merged
merged 45 commits into from
Dec 6, 2024
Merged

Translate the ordering component to the new engine framework #275

merged 45 commits into from
Dec 6, 2024

Conversation

@jonaprieto
Copy link
Collaborator

@jonaprieto jonaprieto commented Dec 5, 2024 •
edited
Loading

Isaac Sheff and others added 29 commits November 15, 2024 17:22
removed execution supervisor, since I'm pretty sure that's no longer …
dd8d07f 
…an engine
moved most of worker into new template. still a lot of todos, and nee…
0b8a157 
…d to move more message types over
Fix issues detected by pre-commit
0cd5aeb
added pages for executor with new template. still a lot of todos. doe…
8d8b054 
…s not currently compile due to references to undefined types
Fix issues detected by pre-commit
7778280
moved shard into new templates, removed old message description files…
71164b0 
… that are now fully in the new templates
Fix issues detected by pre-commit
17776e8
@AHartNtkn
Add aux types for todos
1c8bb43
@AHartNtkn
Merge branch 'main' into isheff/143-update-ordering-using-template
80afa0f
@AHartNtkn
Add temporary example files
b5cbf18
Fix issues detected by pre-commit
f718aac
@AHartNtkn
Delete docs/arch/node/engines/executor_2_environment.juvix.md
f5c9a4d
@AHartNtkn
Add shard behaviour
e42c3b5
@AHartNtkn
Merge branch 'main' into isheff/143-update-ordering-using-template
ebb3d89
Fix issues detected by pre-commit
0b2adce
@AHartNtkn
(m) typo
378e9ca
@jonaprieto
Merge branch 'main' into isheff/143-update-ordering-using-template
73752fd
@AHartNtkn
make replaceWriteAccess make more sense
2dc2d6f
@AHartNtkn
Merge branch 'isheff/143-update-ordering-using-template' of https://g…
bd53a5f 
…ithub.com/anoma/nspec into isheff/143-update-ordering-using-template
@AHartNtkn
correct replaceWriteAccess behaviour on null writes
a3bd28b
@AHartNtkn
enforce maywrite, null write constaint
cd11a1b
@AHartNtkn
correct findMostRecentWrite logic
f7fc66c
@AHartNtkn
Semifinalize shard implementation.
6af2736
@AHartNtkn
Semifinalize executor engine
eae96e8
@AHartNtkn
Merge branch 'main' into isheff/143-update-ordering-using-template
1158d1c
Fix issues detected by pre-commit
daae0b6
@AHartNtkn
save progress
9e61c5f
@AHartNtkn
Merge branch 'isheff/143-update-ordering-using-template' of https://g…
df4d3bf 
…ithub.com/anoma/nspec into isheff/143-update-ordering-using-template
@jonaprieto
empty commit
4f518c3
@github-actions
Copy link

github-actions bot commented Dec 5, 2024 •
edited
Loading

Success! Preview available at https://anoma.github.io/nspec/pr-275/.

@jonaprieto jonaprieto modified the milestones: v0.1.2, v0.1.3 Dec 5, 2024
@AHartNtkn
Copy link
Contributor

Okay, the ordering machine is done. If this was on the old PR, I would mark it as ready for review, but I don't know what all this PR is for, so I won't do that.

jonaprieto
jonaprieto commented Dec 6, 2024
View reviewed changes
jonaprieto
jonaprieto commented Dec 6, 2024
View reviewed changes
@jonaprieto jonaprieto marked this pull request as ready for review December 6, 2024 14:59
@jonaprieto jonaprieto changed the title Integration PR: Ordering component Translate the ordering component to the new engine framework Dec 6, 2024
@jonaprieto jonaprieto merged commit 949fba3 into main Dec 6, 2024
5 of 8 checks passed
@jonaprieto jonaprieto deleted the integration-pr-ordering-networking branch December 6, 2024 15:02
github-actions bot pushed a commit that referenced this pull request Dec 6, 2024
Delete PR preview for PR #275
79cccdc
@jonaprieto jonaprieto mentioned this pull request Dec 22, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@AHartNtkn AHartNtkn

Labels

engine-definition hacker-house-merging-strategy juvix-related new-content ordering-component

Projects

None yet

Milestone

v0.1.3

Development

Successfully merging this pull request may close these issues.

3 participants

@jonaprieto @AHartNtkn