Open Lslightly opened 1 year ago
@ana-pantilie can this be implemented easily in the Haskell backend?
This can be implemented easily for concrete lists.
This function could be implemented using rules that define range
(recursively) . Maybe that should be tried first, although we can also implement range
for lists (with caveats for symbolic ones).
What component is the issue in?
haskell-backend
Which command
What K Version?
K version: v5.6.22 Build date: Mon Apr 03 19:17:44 CST 2023
Operating System
Linux
K Definitions (If Possible)
github does not support uploading .k file
Steps to Reproduce
the generated .tar.gz file kore-exec.tar.gz
Expected Results
ListItem(0) .List