Constant Field Values
Contents
dev.civl.*
-
dev.civl.mc.analysis.IF.Analysis
-
dev.civl.mc.config.IF.CIVLConstantsModifier and TypeConstant FieldValue
public static final String"assert.h"public static final String"assert.cvl"public static final String"==================="public static final String"bundle.cvh"public static final String"bundle.cvl"public static final String"civl-cuda.cvh"public static final String"civl-cuda.cvl"public static final String"civl-mpi.cvh"public static final String"civl-mpi-blocking.cvh"public static final String"civl-mpi-blocking.cvl"public static final String"civl-mpi-nonblocking.cvh"public static final String"civl-mpi-nonblocking.cvl"public static final String"civl-omp.cvh"public static final String"civl-omp.cvl"public static final String"civl-omp2.cvl"public static final String"civl-pthread.cvh"public static final String"civl-pthread.cvl"public static final String"civl-stdio.cvh"public static final String"civlc.cvh"public static final String"civlc.cvl"public static final String"CIVLREP"public static final String"main"public static final String"collate.cvh"public static final String"collate.cvl"public static final String"comm.cvh"public static final String"comm.cvl"public static final String"comm2.cvh"public static final String"complex.h"public static final String"concurrency.cvh"public static final String"concurrency_contract.cvh"public static final String"concurrency.cvl"public static final int15public static final String"_CIVL_CONTRACT_ALL"public static final String"_CIVL_CONTRACT_NONE"public static final String"ctype.h"public static final String"cuda.h"public static final String"cuda_runtime_api.h"public static final String"cuda.cvl"public static final String"2023-10-09"public static final String"domain.cvh"public static final int0public static final String"errno.h"public static final String"fenv.h"public static final String"float.h"public static final String"fortran_array.cvh"public static final String"fortran_array.cvl"public static final String"fortran_sigp.cvh"public static final String"fortran_sigp.cvl"public static final String"gd.h"public static final String"gd_io.h"public static final String"gdfx.h"public static final String"gnuc.h"public static final String"int_div_no_checking.cvl"public static final String"int_div.cvl"public static final String"inttypes.h"public static final String"iso646.h"public static final String"dev.civl.mc.library."public static final String"limits.h"public static final String"locale.h"public static final String"loop_assigns_gen.cvh"public static final String"loop_assigns_gen.cvl"public static final String"math.h"public static final String"math.cvl"public static final String"mem.cvh"public static final String"memory.cvh"public static final String"mpi.h"public static final String"mpi.cvl"public static final String"omp.h"public static final String"omp.cvl"public static final String"op.h"public static final String"pointer.cvh"public static final String"pthread.h"public static final String"pthread.cvl"public static final String"dev/civl/"public static final String"sched.h"public static final String"sched.cvl"public static final String"scope.cvh"public static final String"seq.cvh"public static final String"seq.cvl"public static final String"setjmp.h"public static final String"signal.h"public static final String"==="public static final String"stdalign.h"public static final String"stdarg.h"public static final String"stdatomic.h"public static final String"stdbool.h"public static final String"stddef.h"public static final String"stding.cvl"public static final String"stdint.h"public static final String"stdio.h"public static final String"stdio.cvl"public static final String"stdlib.h"public static final String"stdlib.cvl"public static final String"stdnoreturn.h"public static final String"string.h"public static final String"string.cvl"public static final String"strings.h"public static final String"svcomp.h"public static final String"svcomp.cvl"public static final String"sys/mman.h"public static final String"sys/resource.h"public static final String"sys/time.h"public static final String"sys-time.cvl"public static final String"sys/times.h"public static final String"sys/types.h"public static final String"tgmath.h"public static final String"threads.h"public static final String"time.h"public static final String"time.cvl"public static final String"times.cvl"public static final String"uchar.h"public static final String"unistd.h"public static final String"unistd.cvl"public static final String"unsigned_arith.cvl"public static final String"1.22"public static final String"wchar.h"public static final String"wctype.h"public static final int1
-
dev.civl.mc.model.IF.LogicFunction
-
dev.civl.mc.model.IF.ModelConfigurationModifier and TypeConstant FieldValue
public static final String"_anon_"public static final String"_atomic_lock_var"public static final String"_barrier"public static final String"_broken_time_var"public static final String"_bundle"public static final String"$collate_state"public static final String"$collator"public static final String"_comm"public static final String"MPI_COMM_WORLD"public static final String"$mpi_comm_rank"public static final String"$mpi_comm_size"public static final String"$result"public static final int0public static final int1public static final int2public static final int-1public static final int-2public static final String"$dynamic"public static final String"dynamicType"public static final int-1public static final String"FILE"public static final String"CIVL_filesystem"public static final String"_io_filesystem"public static final String"_gbarrier"public static final String"$gcollate_state"public static final String"$gcollator"public static final String"$gcomm"public static final String"_mpi_gcomm"public static final String"_mpi_gcomms"public static final String"_civl_root"public static final int1public static final int2public static final String"$heap"public static final String"_heap"public static final int0public static final int0public static final String"$int_iter"public static final String"INVALID"public static final String"_message"public static final String"_mpi_status"public static final String"$next_time_count"public static final String"_mpi_nprocs"public static final String"_mpi_nprocs_lo"public static final String"_mpi_nprocs_hi"public static final int-1public static final int-1public static final String"$proc"public static final String"_pthread_gpool_t"public static final String"_pthread_pool_t"public static final String"pthread_t"public static final String"_queue"public static final String"$range"public static final String"$file"public static final String"$scope"public static final int0public static final int1public static final String"_time_count_var"public static final String"time.h"public static final String"tm"public static final int-1
-
dev.civl.mc.run.IF.CommandLineModifier and TypeConstant FieldValue
public static final String"compare"public static final String"config"public static final String"gui"public static final String"help"public static final String"replay"public static final String"run"public static final String"show"public static final String"verify" -
dev.civl.mc.run.IF.UserInterface
-
dev.civl.mc.transform.IF.ContractTransformer
-
dev.civl.mc.transform.IF.Cuda2CIVLTransformer
-
dev.civl.mc.transform.IF.DirectingTransformer
-
dev.civl.mc.transform.IF.GeneralTransformer
-
dev.civl.mc.transform.IF.IntOperationTransformer
-
dev.civl.mc.transform.IF.IOTransformer
-
dev.civl.mc.transform.IF.LoopContractTransformer
-
dev.civl.mc.transform.IF.MacroTransformer
-
dev.civl.mc.transform.IF.MPI2CIVLTransformer
-
dev.civl.mc.transform.IF.OpenMP2CIVLTransformer
-
dev.civl.mc.transform.IF.OpenMPSimplifier
-
dev.civl.mc.transform.IF.Pthread2CIVLTransformer
-
dev.civl.mc.transform.IF.ShortCircuitTransformerModifier and TypeConstant FieldValue
public static final String"short-circuit"public static final String"shortCircuitTransformer"public static final String"_shcc_"public static final String"transforms logical AND, logical OR and logical IMPLIES away to lift short circuit evaluation in CIVL backend" -
dev.civl.mc.transform.IF.SvcompTransformerModifier and TypeConstant FieldValue
public static final String"svcomp"public static final int-5public static final int5public static final String"_svcomp_int_bound_up"public static final int4public static final int3public static final int4public static final String"_svcomp_unsigned_bound"
-
dev.civl.mc.util.IF.UtilsModifier and TypeConstant FieldValue
public static final String"\u001b[30m"public static final String"\u001b[34m"public static final String"\u001b[1m"public static final String"\u001b[36m"public static final String"\u001b[32m"public static final String"\u001b[9m"public static final String"\u001b[29m"public static final String"\u001b[35m"public static final String"\u001b[31m"public static final String"\u001b[0m"public static final String"\u001b[4m"public static final String"\u001b[24m"public static final String"\u001b[37m"public static final String"\u001b[33m"