Loads Primus systems and registers them in the system repository
Description

The plugin installs, parses, and loads Primus systems. Primus System is a particular composition of components, i.e. a system is a Primus application that could be run.

Install
Published
02 Jun 2020
Authors
Maintainers
Sources
v2.1.0.tar.gz
md5=3db9deac8d429b9b8a8ec9aec54987b1
Dependencies
bap-knowledge = "2.1.0"
bap-main = "2.1.0"
bap-primus = "2.1.0"
bap-std = "2.1.0"
core_kernel >= "v0.12" & < "v0.13"
ocaml >= "4.07.0" & < "4.10.0"
Reverse Dependencies
bap = "2.1.0"