runtimeverification / runtimeverification/haskell-backend
Adjust booster to LLVM API (rename munmap function)
Nobody has claimed this yet.
- Dominant language
- Haskell
- Stars
- 224
- Forks
- 43
- PR merge metrics
- No merged PRs in 30d
Description
The llvm-backend has added a function kllvm_reset_munmap_all_arenas to their C API.
While waiting for the respective LLVM backend release to succeed and reach K, we merged a hotfix which uses the internal reset_munmap_all_arenas instead. The name and kllvm-c.h header file should be adjusted once the K dependency is ready for it.
Originally posted by @jberthold in https://github.com/runtimeverification/haskell-backend/issues/4115#issuecomment-3029605800
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the reset_munmap_all_arenas reference and the kllvm-c.h header mentioned in the issue. Confirm that the LLVM backend dependency provides kllvm_reset_munmap_all_arenas, then update the name and header usage to match; the work is done when the K dependency is ready and the backend no longer uses the internal name.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c, haskell
- Domain
- backend
- Issue type
- Refactor
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100