package bare
BAP Rule Engine Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f
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: 04 Jun 2021
Dependencies (4)
-
parsexp
>= "v0.14"
-
oasis
build
-
core_kernel
>= "v0.14"
-
ocaml
>= "4.08.0"
Dev Dependencies
None
Used by (2)
-
bap-primus-print
= "2.3.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