Crate isla_axiomatic 

This library implements the core of the isla-axiomatic tool, providing utilities for running litmus tests using isla-lib and interpreting the results.

Modules

axiomatic

This module implements utilities for working with axiomatic memory models.

cat_config

This module is used to generate an initial cat typechecking context from an architecture config file.

footprint_analysis

This module implements footprint analysis for the concurrency tool

graph

litmus

page_table

run_litmus

sandbox

For running isla-axiomatic via the web interface, we support sandboxing the various assembler and linker commands used when building litmus tests. This is done using the bubblewrap tool, and controlled using the sandbox cargo feature.

sexp

smt_events