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.

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

How do you do atomic update with this ? #9

Closed
thegarlynch opened this issue Aug 3, 2022 · 3 comments · Fixed by #14 or #16
Closed

How do you do atomic update with this ? #9

thegarlynch opened this issue Aug 3, 2022 · 3 comments · Fixed by #14 or #16
Assignees
@PatilShreyas
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@thegarlynch
Copy link

Like the reddit comment in this.

This seems like it could break data invariants since it pushes updates on every data field update.

Eg if you depend on a data model being in either state A or B, now it can be both or neither since you must account for intermediary steps
@PatilShreyas
Copy link
Owner

Currently, it doesn't support updating two or more fields atomically.

@PatilShreyas
Copy link
Owner

This is being discussed in #12

@PatilShreyas PatilShreyas added enhancement New feature or request help wanted Extra attention is needed labels Aug 8, 2022
@PatilShreyas PatilShreyas self-assigned this Sep 8, 2022
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Add executor for executing block atomically
bfb3cc4
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Add core mutekt state interfaces
c6e2833
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Update codegen: implement update method
570fb30
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Update sample to mutate state atomically
955c9b3
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Reformat with spotless
c8be326
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Add tests for AtomicExecutor
2ace3bb
PatilShreyas added a commit that referenced this issue Sep 8, 2022
@PatilShreyas
#9 Fix comment
3c62fea
@PatilShreyas PatilShreyas mentioned this issue Sep 8, 2022
Merged
PatilShreyas added a commit that referenced this issue Sep 10, 2022
@PatilShreyas
#9 Add coroutine testing dependency
ea21e4f
PatilShreyas added a commit that referenced this issue Sep 10, 2022
@PatilShreyas
Merge pull request #14 from PatilShreyas/#9-atomic-update
8b5e5af 
[#9] Add support for atomic updates with Mutekt models
@PatilShreyas PatilShreyas mentioned this issue Sep 13, 2022
Merged
@PatilShreyas PatilShreyas linked a pull request Sep 13, 2022 that will close this issue
Release v1.0.0-alpha03 #16
Merged
@PatilShreyas
Copy link
Owner

This has been released in v1.0.0-alpha03.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@PatilShreyas PatilShreyas

Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
2 participants
@PatilShreyas @thegarlynch