Documentation
¶
Overview ¶
Package serviceimpl contains implementations of compiler and backend services, as well as hard-coded logic for resolving them from style IDs.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
delitmus
Package delitmus lifts the c4f delitmusifier into a backend.
|
Package delitmus lifts the c4f delitmusifier into a backend. |
|
herdstyle
Package herdstyle contains backends that c4f in a similar way to the Herd memory simulator.
|
Package herdstyle contains backends that c4f in a similar way to the Herd memory simulator. |
|
herdstyle/herd
Package herd contains the parts of a Herdtools backend specific to herd7.
|
Package herd contains the parts of a Herdtools backend specific to herd7. |
|
herdstyle/litmus
Package litmus contains the parts of a Herdtools backend specific to litmus7.
|
Package litmus contains the parts of a Herdtools backend specific to litmus7. |
|
herdstyle/parser
Package parser contains logic for parsing Herd-style observations.
|
Package parser contains logic for parsing Herd-style observations. |
|
herdstyle/rmem
Package rmem implements rudimentary backend support for RMEM.
|
Package rmem implements rudimentary backend support for RMEM. |
|
Package compiler contains style-to-compiler resolution.
|
Package compiler contains style-to-compiler resolution. |
Click to show internal directories.
Click to hide internal directories.