bare

BAP 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.

Install
Documentation github.com Edit opam file
Published
14 Jul 2022
Authors
Maintainers
Sources
v2.5.0.tar.gz
md5=5abd9b3628b43f797326034f31ca574f
Dependencies
parsexp >= "v0.14" & < "v0.16"
oasis build
core_kernel >= "v0.14" & < "v0.16"
ocaml >= "4.08.0"
Reverse Dependencies
bap-primus-print >= "2.5.0"
bap-primus-support >= "1.4.0" & < "2.2.0"