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

[FEATURE] Introduce operator Guess #888

Closed
konnov opened this issue Jun 27, 2021 · 0 comments · Fixed by #1590
Closed

[FEATURE] Introduce operator Guess #888

konnov opened this issue Jun 27, 2021 · 0 comments · Fixed by #1590
Assignees
@konnov
Labels
feature A new feature or functionality
Milestone
X16: Advanced str...

Comments

@konnov
Copy link
Collaborator

konnov commented Jun 27, 2021 •
edited
Loading

As discussed in #841, Apalache implements a non-deterministic version of CHOOSE. Leslie Lamport pointed out that a better solution would be to introduce another operator whose semantics is the non-deterministic version of CHOOSE. We call this operator Guess.
@konnov konnov added the new New issue to be triaged. label Jun 27, 2021
@konnov konnov added this to the July iteration milestone Jun 27, 2021
@konnov konnov self-assigned this Jun 27, 2021
@konnov konnov mentioned this issue Jun 27, 2021
Open
@konnov konnov removed this from the July iteration milestone Mar 18, 2022
@konnov konnov added feature A new feature or functionality and removed new New issue to be triaged. labels Mar 18, 2022
@konnov konnov changed the title [FEATURE] Introduce operator Some [FEATURE] Introduce operator Pick Mar 18, 2022
@konnov konnov changed the title [FEATURE] Introduce operator Pick [FEATURE] Introduce operator Guess Mar 25, 2022
@konnov konnov mentioned this issue Apr 4, 2022
Merged
4 tasks
This was referenced Apr 18, 2022
Closed
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
feature A new feature or functionality
Projects
None yet
Milestone
X16: Advanced structures: Unbounded s...
Development

Successfully merging a pull request may close this issue.

Add the operator Guess apalache-mc/apalache
1 participant
@konnov