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

Branch rule-id and condition are missing from response #536

Closed
tothtamas28 opened this issue Mar 4, 2024 · 1 comment · Fixed by #561
Closed

Branch rule-id and condition are missing from response #536

tothtamas28 opened this issue Mar 4, 2024 · 1 comment · Fixed by #561

Comments

@tothtamas28
Copy link

Related:

As of runtimeverification/haskell-backend#3716 kore-rpc returns an optional rule-id along with an optional rule-substitution and rule-predicate. Ensure that the Booster returns the same data on branching.

Tests: runtimeverification/pyk#942.
@tothtamas28 tothtamas28 mentioned this issue Mar 4, 2024
Merged
@geo2a
Copy link
Contributor

geo2a commented Mar 5, 2024

This is a duplicate of #499, we'll try to prioritize

This was referenced Mar 26, 2024
Closed
Merged
goodlyrottenapple added a commit that referenced this issue Apr 3, 2024
@goodlyrottenapple
Return rule-id's in execute response (#561)
bafee82 
fixes #536 by returning the app;lied rule id and
`rule-substitution/predicate` for branching responses
rv-jenkins pushed a commit to runtimeverification/pyk that referenced this issue Apr 9, 2024
@tothtamas28 @PetarMax
Process branch rule-id and condition from kore-rpc response (#942)
68bffc5 
Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this issue Apr 9, 2024
@tothtamas28 @PetarMax
Process branch rule-id and condition from kore-rpc response (#942)
b27ac22 
Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this issue Apr 9, 2024
@tothtamas28 @PetarMax
Process branch rule-id and condition from kore-rpc response (runt…
c0e661d 
…imeverification/pyk#942)

Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this issue Apr 9, 2024
@tothtamas28 @PetarMax @Baltoli
Process branch rule-id and condition from kore-rpc response (runt…
31f3dc6 
…imeverification/pyk#942)

Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this issue Apr 10, 2024
@tothtamas28 @PetarMax @Baltoli
Process branch rule-id and condition from kore-rpc response (runt…
238f846 
…imeverification/pyk#942)

Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>
Baltoli pushed a commit to runtimeverification/k that referenced this issue Apr 10, 2024
@tothtamas28 @PetarMax @Baltoli
Process branch rule-id and condition from kore-rpc response (runt…
ce1c6ee 
…imeverification/pyk#942)

Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Return rule-id's in execute response runtimeverification/hs-backend-booster
2 participants
@geo2a @tothtamas28