Searched refs:AC_DIR (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/tools/cogent/
H A Dbuild-env.sh16 # AC_DIR: location of AutoCorres (http://ts.data61.csiro.au/projects/TS/autocorres/) directory.
44 : ${AC_DIR:="$SCRIPT_DIR/autocorres"}
51 [ -d "$AC_DIR" ] || {
52 echo >&2 "Cannot find \$AC_DIR ($AC_DIR)"
H A Dbuild-env.mk22 AC_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$AC_DIR") macro
/seL4-camkes-master/tools/cogent/c-refinement/tests/trivial/
H A DMakefile1 # You need to set COGENT_ROOT and AC_DIR, if different from the default.
10 ifndef AC_DIR
11 AC_DIR=$(COGENT_ROOT)/autocorres macro
29 L4V_ARCH=ARM isabelle build -d ./build -d $(COGENT_ROOT)/cogent/isa -d $(AC_DIR) -v -b $(NAME)_AllRefine
/seL4-camkes-master/tools/cogent/cogent/tests/phases/
H A Dtype_proof.sh36 AC_DIR=$COGENT_REPO/autocorres
46 if [ ! -d "$AC_DIR" ]; then
74 $ISABELLE build -d $COGENT_REPO -d $AC_DIR -d $TEST_DIST_DIR ${TEST_NAME_BASE}_TypeProof
H A Dcorres_proof.sh32 AC_DIR=$COGENT_REPO/autocorres
42 if [ ! -d "$AC_DIR" ]; then
92 $ISABELLE build -d $COGENT_REPO -d $AC_DIR -d $TEST_DIST_DIR ${TEST_NAME_BASE}_CorresProof
/seL4-camkes-master/tools/cogent/impl/fs/bilby/proof/
H A DMakefile23 L4V_ARCH=$(L4V_ARCH) $(ISABELLE) build -v -d . -d $(AC_DIR) -b BilbyFsSync
26 L4V_ARCH=$(L4V_ARCH) $(ISABELLE) build -v -d . -d $(AC_DIR) -b BilbyFsIget
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/
H A DMakefile167 $(Q)isabelle build -d $(AC_DIR) -d ../../../../cogent/isa -d plat/verification -c -v BilbyFs_TypeProof
171 $(Q)isabelle build -d $(AC_DIR) -d ../../../../cogent/isa -d plat/verification -v BilbyFs_CorresProof
175 $(Q)isabelle build -d $(AC_DIR) -d ../../../../cogent/isa -d plat/verification -v BilbyFs_AllRefine
180 $(Q)isabelle build -d $(AC_DIR) -d ../../../../cogent/isa -d plat/verification -v BilbyFs_Shallow_Normal
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcogent_validate.sh489 if ! check_output $ISABELLE build -d "$AC_DIR" -d "$ISADIR" -d "$COUT" -b "$COGENTHEAPNAME"
508 if check_output $ISABELLE build -d "$AC_DIR" -d "$ISADIR" -d "$COUT" "$ISABELLE_SESSION_NAME"
543 if check_output env L4V_ARCH=$L4V_ARCH $ISABELLE_BUILD -d "$AC_DIR" -d "../isa" -d "$COUT" ${ISABELLE_SESSION_NAME}_ACInstall
575 if check_output env L4V_ARCH=$L4V_ARCH $ISABELLE_BUILD -d "$AC_DIR" -d "../isa" -d "$COUT" ${ISABELLE_SESSION_NAME}_CorresProof
624 if check_output env L4V_ARCH=$L4V_ARCH $ISABELLE_BUILD -d "$AC_DIR" -d "$COUT" -d "../isa" ${ISABELLE_SESSION_NAME}_AllRefine

Completed in 45 milliseconds