bap-primus-support 2.1.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

bap_primus_track_visited

Documentation:

• Bap_primus_track_visited Tracks program terms evaluated by Primus.

primus_wandering_scheduler_plugin

Documentation:

• Primus_wandering_main

primus_round_robin_scheduler_plugin

Documentation:

• Primus_round_robin_main

primus_promiscuous_plugin

Documentation:

• Primus_promiscuous_main

primus_print_plugin

Documentation:

• Primus_print_main

primus_mark_visited_plugin

Documentation:

• Primus_mark_visited_main

primus_loader_plugin

Documentation:

• Primus_loader_basic
• Primus_loader_main

primus_limit

Documentation:

• Primus_limit_main

primus_greedy_scheduler_plugin

Documentation:

• Primus_greedy_main

primus_exploring_scheduler_plugin

Documentation:

• Primus_exploring_main