melinoe 0.9.0

Zero-sized, branded, multi-token phantom capabilities for compile-time data-access and thread-synchronization proofs (a generalized evolution of GhostCell) for the Mnemosyne memory ecosystem.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

mod driver_core;
mod executor;
mod map;
mod plan;
mod read_map;

pub use executor::{clear_parallel_executor, register_parallel_executor, ParallelExecutor};
pub use map::{
    partition_for_each, partition_for_each_available, partition_for_each_with, partition_map,
    partition_map_available, partition_map_with,
};
pub use plan::PartitionPlan;
pub use read_map::{
    partition_read_for_each, partition_read_for_each_available, partition_read_for_each_with,
    partition_read_map, partition_read_map_available, partition_read_map_with,
};