package bare

  1. Overview
  2. No Docs
BAP Rule Engine Library

Install

Dune Dependency

Authors

Maintainers

Sources

v2.4.0.tar.gz
md5=b8b1aff8c6846f2213eafc54de07b304

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: 12 Dec 2021

Dependencies (4)

  1. parsexp >= "v0.14" & < "v0.15"
  2. oasis build
  3. core_kernel >= "v0.14" & < "v0.15"
  4. ocaml >= "4.08.0"

Dev Dependencies

None

Used by (2)

  1. bap-primus-print = "2.4.0"
  2. bap-primus-support >= "1.4.0" & < "2.2.0"

Conflicts

None