Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

First step for reintegrating piqi-ocaml back into piqi #74

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

alavrik
Copy link
Owner

@alavrik alavrik commented Sep 5, 2022

See details in #73

Copy as a subdirectory from https://github.com/alavrik/piqi-ocaml

This is the first step in reintegrating it with the main piqi repo to
unify the OCaml codebase and streamline the logistics for furture
maintenance and use by OCaml users.

More contex in #73
@alavrik
Copy link
Owner Author

alavrik commented Sep 5, 2022

@ivg can you take a quick look, specifically dune configs in f0a1d9b

I tested it quickly and it seems to work in my environment. Does it make sense to you as the first step?

UPD: I realized I haven't updated GH actions

@XVilka
Copy link
Contributor

XVilka commented Jul 6, 2023

Hi! Have been there any updates on this since? Would be nice to have this for the next release.

@alavrik
Copy link
Owner Author

alavrik commented Jul 10, 2023

Hi! Have been there any updates on this since? Would be nice to have this for the next release.

Hi @XVilka, let me look into this. I wasn't sure anybody needs this but now that you asked...

@XVilka
Copy link
Contributor

XVilka commented Jul 10, 2023

@alavrik we use it as part of BAP and Rizin for trace-testing instructions uplifting for different architectures with https://github.com/rizinorg/rz-tracetest.

@ivg
Copy link
Contributor

ivg commented Jul 10, 2023

It's hard to regain the context after so much time, but so far it looks okay, nothing rings a bell. But feel free to poke me if you have any issues with getting it built!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants