search

OCamlPro / owi

WebAssembly Swissknife & cross-language bugfinder
https://ocamlpro.github.io/owi/
GNU Affero General Public License v3.0
137 stars 18 forks source link

Create Synchronzier module #360

Closed krtab closed 3 months ago

krtab commented 4 months ago

Because Ocaml does not possess an optimizing compiler, we should check that this does not tank performances and manually add [@@inline] where needed to try and salvage what demands salvation.

zapashcanon commented 4 months ago

Can you add a .mli ?

krtab commented 4 months ago

Once this is effectively used in concollic, I'll add documentation and close #363

zapashcanon commented 4 months ago

I'm asking for a .mli not only to add documentation but to make sure the interface is properly constrained to the things that are actually used outside (so that the compiler can tell us about unused stuff and the like).

krtab commented 4 months ago

Yes, I have added a mli :)

zapashcanon commented 3 months ago

Thanks!