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

/seL4-l4v-master/l4v/tools/asmrefine/
H A DMakefile14 HEAPS += AsmRefine AsmRefineTest
/seL4-l4v-master/l4v/sys-init/
H A DMakefile19 HEAPS += SysInit SysInitExamples
/seL4-l4v-master/l4v/proof/
H A DMakefile22 HEAPS += AInvs BaseRefine Refine RefineOrphanage
25 HEAPS += CKernel CSpec CBaseRefine CRefine
28 HEAPS += DBaseRefine DRefine DPolicy SepDSpec DSpecProofs
31 HEAPS += Access InfoFlow InfoFlowCBase InfoFlowC
34 HEAPS += SimplExportAndRefine
37 HEAPS += Bisim
40 HEAPS += SepTactics
/seL4-l4v-master/l4v/misc/
H A Disa-common.mk10 # This file should be included after defining a "HEAPS" variable containing the
44 $(HEAPS): .FORCE
46 .PHONY: $(HEAPS)
56 rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/%)
57 rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%.gz)
58 rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%)
/seL4-l4v-master/l4v/camkes/
H A DMakefile20 HEAPS += CamkesAdlSpec CamkesCdlRefine CamkesGlueSpec CamkesGlueProofs
/seL4-l4v-master/l4v/tools/c-parser/
H A DMakefile27 HEAPS += Simpl-VCG CParser
41 $(HEAPS): .FORCE
43 .PHONY: $(HEAPS)
/seL4-l4v-master/l4v/tools/autocorres/
H A DMakefile74 HEAPS := AutoCorres macro
/seL4-l4v-master/l4v/spec/
H A DMakefile26 HEAPS += ASpec ExecSpec DSpec CKernel CSpec TakeGrant ASepSpec

Completed in 108 milliseconds