runtimeverification / runtimeverification/llvm-backend
Finish migrating C bindings to core bindings library
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 43
- Forks
- 22
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/runtimeverification/llvm-backend/pull/897 begins the process of reorganising the functions in the C bindings into a new core bindings library that can be shared with Python; to keep the diff in that PR small only the features required to get term simplification working in Python were ported.
Once #897 is merged, we should finish the migration process and move the rest of the code from the C bindings over to the core library.
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 reviewing PR #897 and comparing the existing C bindings with the new core bindings library. Identify the remaining C-binding functions that were not migrated, then verify that the rest of the bindings use the shared core library and that Python can continue using it.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c, cpp, python
- Domain
- api, backend
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100