Update dependency: deps/pyk_release

[rv-jenkins]

Bumps K version from v6.2.4 to v6.3.17.

Changes include:

• Fix inconsistent symbol naming for syntactic lists k#3955
• Reformat dotk{} to print as .K rather than . llvm-backend#990
• Split out CTerm manipulation functionalities of KCFGExplore pyk#915

[tothtamas28]

There's a failure in one of the Nix jobs when starting Booster: https://github.com/runtimeverification/evm-semantics/actions/runs/7957664866/job/21725447951?pr=2302#step:7:587

kevm-test-b62ed1e6720beb7724e168288f579445c6f5ccd8> user error (dlopen: /nix/store/46m4xx889wlhsdj72j38fnlyyvvvvbyb-glibc-2.37-8/lib/libc.so.6: version `GLIBC_2.38' not found (required by tests/specs/benchmarks/verification/haskell/llvm-library/interpreter.so))

@goodlyrottenapple, can you take a look?

[goodlyrottenapple]

There's a failure in one of the Nix jobs when starting Booster: https://github.com/runtimeverification/evm-semantics/actions/runs/7957664866/job/21725447951?pr=2302#step:7:587

kevm-test-b62ed1e6720beb7724e168288f579445c6f5ccd8> user error (dlopen: /nix/store/46m4xx889wlhsdj72j38fnlyyvvvvbyb-glibc-2.37-8/lib/libc.so.6: version `GLIBC_2.38' not found (required by tests/specs/benchmarks/verification/haskell/llvm-library/interpreter.so))

@goodlyrottenapple, can you take a look?

This is most likely due to the llvm backend using a different base version of nixpkgs to the haskell/booster backend. I'm investigating and hoping to update the haskell backend in-line with the LLVM one. Otherwise, we may have to roll back the nixpkgs change to the LLVM backend for now... (see runtimeverification/haskell-backend#3719)

[palinatolmach]

The smt solver error in the Booster CI job in kontrol/test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k also appears in another PR.

Update: it disappears when the SMT solver timeout is increased to 1.6s, but I don't know if we'd like to merge this change.

[palinatolmach]

But, also, the normal Nix job consistently crashes with kevm-test> psutil.AccessDenied: (pid=1359), which typically means that the server is crashing on definition.kore (as I learned from @tothtamas28):

kevm-test> Traceback (most recent call last):
kevm-test>   File "/nix/store/xnia8w3vfp8aa90qknqayzqbxi5lkkgy-python3.10-psutil-5.9.5/lib/python3.10/site-packages/psutil/_pslinux.py", line 1653, in wrapper
kevm-test>     return fun(self, *args, **kwargs)
kevm-test>   File "/nix/store/xnia8w3vfp8aa90qknqayzqbxi5lkkgy-python3.10-psutil-5.9.5/lib/python3.10/site-packages/psutil/_pslinux.py", line 2243, in connections
kevm-test>     ret = _connections.retrieve(kind, self.pid)
kevm-test>   File "/nix/store/xnia8w3vfp8aa90qknqayzqbxi5lkkgy-python3.10-psutil-5.9.5/lib/python3.10/site-packages/psutil/_pslinux.py", line 989, in retrieve
kevm-test>     inodes = self.get_proc_inodes(pid)
kevm-test>   File "/nix/store/xnia8w3vfp8aa90qknqayzqbxi5lkkgy-python3.10-psutil-5.9.5/lib/python3.10/site-packages/psutil/_pslinux.py", line 814, in get_proc_inodes
kevm-test>     for fd in os.listdir("%s/%s/fd" % (self._procfs_path, pid)):
kevm-test> PermissionError: [Errno 13] Permission denied: '/proc/1359/fd'