Module dev.civl.mc

Package dev.civl.mc.transform.IF

package dev.civl.mc.transform.IF

Module transform defines various kinds of transformations of an AST into a CIVL AST.

Classes

Class	Description
AnnotationTransformer
ComplexTransformer
ContractTransformer
Cuda2CIVLTransformer
GeneralTransformer
IntOperationTransformer	This transformer is used to replace integer division ('/') and integer modulo ('%') in the program with $int_div(int, int) and $int_mod(int, int) functions respectively replace unsigned integer arithmetic operations with corresponding library functions: int $unsigned_add, int $unsigned_subtract, int $unsigned_multiply
IOTransformer	The IO transformer transforms all function calls printf(...) into frpintf(stdout, ...) all function calls scanf(...) into fscanf(stdin, ...) all function calls fopen(...) into $fopen(...)
LoopContractTransformer
MPI2CIVLTransformer	MPI2CIVLTransformer transforms an AST of an MPI program into an AST of an equivalent CIVL-C program.
OpenMP2CIVLTransformer	OpenMP2CIVLTransformer transforms an AST of an OpenMP program into an AST of an equivalent CIVL-C program.
OpenMPSimplifier	This transformer analyzes OpenMP constructs and converts them to simpler, i.e., less concurrent, instances of constructs.
Pthread2CIVLTransformer
ShortCircuitTransformer
TransformerFactory	This class manages the set of transformations provided by CIVL.
Transforms