package bare
BAP Rule Engine Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f
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.
Published: 14 Jul 2022
Dependencies (4)
-
parsexp
>= "v0.14" & < "v0.16"
-
oasis
build
-
core_kernel
>= "v0.14" & < "v0.16"
-
ocaml
>= "4.08.0"
Dev Dependencies
None
Used by (2)
-
bap-primus-print
>= "2.5.0"
-
bap-primus-support
>= "1.4.0" & < "2.2.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page