Opam Package bare.2.2.0

Package info

opam-namebare
opam-version2.2.0
synopsisBAP Rule Engine Library
description BARE is a library that provides non-linear pattern matching on streams of facts that are represented as s-expressions. We use BARE, in particular, to process Primus observations. Since Primus components use observations to convey their knowledge downstream it is very convenient to be able to query and join observations through the stream. In a sense, BARE could be seen as SQL select/join for streams.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (4)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bare

Package files

lib/bare/bare.mli
lib/bare/bare.cmxs
lib/bare/bare.cmxa
lib/bare/bare.cmx
lib/bare/bare.cmti
lib/bare/bare.cmt
lib/bare/bare.cmi
lib/bare/bare.cma
lib/bare/bare.annot
lib/bare/bare.a
lib/bare/META
lib/bare