Searched refs:ISABELLE (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/tools/cogent/
H A Dbuild-env.sh48 : ${ISABELLE:="$ISABELLE_TOOLDIR/isabelle"}
49 : ${ISABELLE_BUILD:="$ISABELLE build -v"}
H A Dbuild-env.mk23 ISABELLE:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE") macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/proof/
H A DMakefile16 L4V_ARCH=ARM $(ISABELLE) build -v -d . -d $(BUILD_ENV_MK_DIR) -d $(BUILD_ENV_MK_DIR)/autocorres -b BilbyFs
23 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/cogent/tests/phases/
H A Dtype_proof.sh35 ISABELLE=$COGENT_REPO/isabelle/bin/isabelle
42 if [ ! -f "$ISABELLE" ]; then
74 $ISABELLE build -d $COGENT_REPO -d $AC_DIR -d $TEST_DIST_DIR ${TEST_NAME_BASE}_TypeProof
H A Dcorres_proof.sh31 ISABELLE=$COGENT_REPO/isabelle/bin/isabelle
38 if [ ! -f "$ISABELLE" ]; then
92 $ISABELLE build -d $COGENT_REPO -d $AC_DIR -d $TEST_DIST_DIR ${TEST_NAME_BASE}_CorresProof
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcogent_validate.sh481 if ! type $ISABELLE >/dev/null 2>&1 # Sanity check
489 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"
532 if ! type $ISABELLE >/dev/null 2>&1 # Sanity check
563 if ! type $ISABELLE >/dev/null 2>&1
596 if ! type $ISABELLE >/dev/null 2>&1 # Sanity check
720 if (cd ../isa/shallow/ && check_output $ISABELLE build -d ../ -b $i)

Completed in 45 milliseconds