Crate isla_axiomatic[−][src]
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 |
| sexp | |
| smt_events |