BinaryAnalysisPlatform / bap-bindings

C Bindings to BAP
MIT License
15 stars 9 forks source link

BAP Master/Core 0.9 incompat #8

Closed maurer closed 5 years ago

maurer commented 7 years ago

When building against BAP master, using new core, I get

File "bap/lib/bindings.ml", line 450, characters 33-37:
Error: Signature mismatch:
       ...
       Values do not match:
         val mem :
           'a Regular.Std.seq -> 'a -> equal:('a -> 'a -> bool) -> bool
       is not included in
         val mem : t -> elt -> bool

I suspect this is related to the changed signatures in Core 0.9, since the update to Core 0.9 came after the 1.3 release cut.

XVilka commented 6 years ago

@maurer see https://github.com/BinaryAnalysisPlatform/bap/pull/820