| /seL4-l4v-10.1.1/seL4/tools/python-deps/ |
| H A D | setup.py | 20 python setup.py sdist upload -r pypitest
23 python setup.py sdist upload -r pypi
26 from setuptools import setup namespace
41 setup(
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/ |
| H A D | PortableIsabelle.sml | 5 Isabelle-specific setup for Metis. Based on "src/PortablePolyml.sml".
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/ |
| H A D | PortableIsabelle.sml | 5 Isabelle-specific setup for Metis. Based on "src/PortablePolyml.sml".
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | build_polyml.scala | 17 setup: String = "",
42 setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
49 setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
54 setup =
65 setup =
123 info.setup + "\n" +
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_polyml.scala | 17 setup: String = "",
42 setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
49 setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
54 setup =
65 setup =
123 info.setup + "\n" +
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
| H A D | solitare.cxx | 195 void setup(void) function
215 setup();
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lexis.sml | 50 fun setup table P = function
102 val _ = setup hol_symbols is_hol_symbol;
103 val _ = setup sml_symbols is_sml_symbol;
104 val _ = setup alphabet is_alphabetic;
105 val _ = setup numbers is_numeric;
106 val _ = setup alphanumerics is_alphanumeric;
107 val _ = setup tyvar_ids is_alphanumeric_no_prime;
108 val _ = setup parens is_paren;
|
| /seL4-l4v-10.1.1/graph-refine/seL4-example/ |
| H A D | configure_default.sh | 11 # setup Isabelle
70 bash ../scripts/setup-HOL4.sh
73 # setup graph-refine to use CVC4 from Isabelle
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/Mirabelle/lib/scripts/ |
| H A D | mirabelle.pl | 35 # setup
85 setup {*
100 print SETUP_FILE "setup {* Mirabelle_$name.invoke [";
|
| /seL4-l4v-10.1.1/l4v/misc/ |
| H A D | isa-common.mk | 23 # Ensure "ISABELLE_*" environment variables are setup.
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Mirabelle/lib/scripts/ |
| H A D | mirabelle.pl | 35 # setup
85 setup {*
100 print SETUP_FILE "setup {* Mirabelle_$name.invoke [";
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/Statespace/document/ |
| H A D | root.tex | 47 basic setup for state spaces is in Section
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Statespace/document/ |
| H A D | root.tex | 47 basic setup for state spaces is in Section
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/ |
| H A D | MMUScript.sml | 137 (* that we always understand the MMU setup *)
226 (* always understand the MMU setup *)
|
| H A D | MMU_SetupScript.sml | 276 (* lemma: same setup --> same access rights *)
335 (* === well-defined MMU setup allows (simpler) computation of access violation === *)
|
| /seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/ |
| H A D | root.tex | 54 % From ERTOS setup
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/ |
| H A D | root.tex | 54 % From ERTOS setup
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-spec/document/ |
| H A D | root.tex | 54 % From ERTOS setup
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | api.tex | 101 breakpoint ID that was passed to the function, was consumed in the setup of the single-stepping
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/src/ |
| H A D | riscv.spec | 409 mstatus :: mstatus -- trap setup
438 { hstatus :: mstatus -- trap setup
475 stvec :: regType -- trap setup
924 -- supervisor trap setup
953 -- hypervisor trap setup
978 -- machine trap setup
1033 -- supervisor trap setup
1069 -- machine trap setup
1130 -- supervisor trap setup
1159 -- hypervisor trap setup
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | polytypicLib.sml | 2527 fun setup target name = function
2540 let val (conc,list) = setup target name
2544 fun exists_coding_theorem_conclusion target name = isSome(!(fst(setup target name)))
2545 fun get_coding_theorem_conclusion target name = valOf(!(fst(setup target name)))
2547 let val (conc,list) = setup target name
2560 fun setup name = function
2569 let val (conc,list) = setup name
2572 fun exists_source_theorem_conclusion name = isSome(!(fst(setup name)))
2573 fun get_source_theorem_conclusion name = valOf(!(fst(setup name)))
2575 let val (conc,list) = setup nam
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/ |
| H A D | riscv_stepScript.sml | 517 Evaluation setup
|
| /seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
| H A D | SmtLib_Parser.sml | 62 FIXME: The current setup doesn't do implicit conversions
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_initScript.sml | 37 (* setup symbol table *)
|
| /seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
| H A D | patternMatchesScript.sml | 760 (* This setup allows to build up such an info
|