melinoe 0.10.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
17
18
19
20
21
22
23
24

# mdBook configuration for the melinoe capability-token book.
[book]
title = "melinoe: Branded Capability Tokens for Atlas"
authors = ["Ryan Clanton"]
description = "Zero-cost, brand-parameterised phantom capabilities for compile-time data-access and thread-synchronization proofs in the Atlas stack."
src = "."
language = "en"

[build]
build-dir = "../../target/book/melinoe"
create-missing = false

# `mdbook test` compiles fenced `rust` blocks as doctests; the edition must
# match the crate so book samples parse exactly as the package does.
[rust]
edition = "2021"

[output.html]
no-section-label = false
mathjax-support = false
site-url = "/melinoe/"
git-repository-url = "https://github.com/ryancinsight/melinoe"
edit-url-template = "https://github.com/ryancinsight/melinoe/edit/main/docs/book/{path}"
default-theme = "rust"