Ivan Gotovchits

# Update on Problem 1 I was trying to build a self-contained .cma plugin that could be loaded into OCaml top-level as a solution to a more specific problem -...

@ejgallego, not it is not the problem. We're maintaining our own [plugin][1] system for nearly a decade, back in the times when dynlink was unsound, so am pretty aware of...

> Sorry for the naïve question, but couldn't #require be used to load a plugin into the toplevel? Well, when a dune plugin is installed into a path that is...

Also, using `dune ocaml top` as well reveals problem 1. ``` $ ocaml OCaml version 4.14.0 Enter #help;; for help. # #use_output "dune ocaml top";; File "(command-output)", line 1: Error:...

Probably we should consider Azure instead Travis. We need to evaluate Azure pipelines vs Github actions vs Travis vs DockerHub

We can use Github Actions too for windows support, moreover I believe it would be more practical. And yes, it all distills to z3 and llvm dependencies.

There are quite a few forks of the legacy BAP available around the Hub. You can try to use GitHub's search ability to find them all. The first that comes...

It is low level, as it expands instructions up to the CPU microcode, so it's lower than assembly or machine code.

This issue is basically saying that dumping BIR into IR is not implemented and suggests anyone, who would like to implement it, a course of actions. Note, that it is...

It is not possible in modern BAP, that's why this issue is open.