Module isla_axiomatic::axiomatic [−][src]
This module implements utilities for working with axiomatic memory models.
Modules
| model | This module defines utilites for parsing and interpreting the models returned by Z3 when invoked on the command line. |
| relations |
Structs
| AxEvent | An AxEvent (axiomatic event) is an event combined with metadata about where and when it was executed in a candidate execution. This can be combined with the footprint analysis to determine various dependency orders on events. |
| Candidates | An iterator over candidate executions |
| ExecutionInfo | |
| Pairs |
Enums
| CandidateError |
Type Definitions
| ThreadId |