search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
36 stars 23 forks source link

Update KElem names in kgdb #1129

Closed gtrepta closed 3 months ago

gtrepta commented 3 months ago

https://github.com/runtimeverification/k/issues/4576

More fixes that were missed in #1123 and #1120