/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | save_vec.cpp | 2 Title: save_vec.cpp - The save vector holds temporary values that may move as 59 // and want to avoid overflowing the save vec. I've assumed that simply 60 // resetting the list doesn't actually destroy the entry on the save vec 68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */ 86 static SaveVec save; variable 88 SaveVec *gSaveVec = &save;
|
H A D | x86assembly_masm64.S | 106 ; It is probably unnecessary to save the callee-save regs or load the ML regs. 113 push rbx ; Save callee-save registers 118 push rdi ; Callee save in Windows 119 push rsi ; Strictly, we should also save xmm6 157 ; It is probably unnecessary to save the FP state now. 184 sub rsp,32 ; Create Windows save area
|
H A D | x86assembly_masm32.S | 82 ; It is probably unnecessary to save the callee-save regs or load the ML regs. 87 push ebx ; Push callee-save registers 104 ; It is probably unnecessary to save the FP state now.
|
/seL4-l4v-master/seL4/src/arch/x86/64/ |
H A D | traps.S | 464 # we got an interrupt from the kernel, call into c to save the irq number, 596 push %rcx # save NextIP 597 push %r11 # save RFLAGS 598 push %r15 # save R15 (message register) 599 push %r9 # save R9 (message register) 600 push %r8 # save R8 (message register) 601 push %r10 # save R10 (message register) 602 push %rdx # save RDX (syscall number) 609 push %rsi # save RSI (msgInfo register) 610 push %rdi # save RD [all...] |
/seL4-l4v-master/HOL4/src/proofman/ |
H A D | History.sig | 15 val save : 'a history -> 'a history value
|
H A D | Manager.sml | 78 fun save (GOALSTACK s) = GOALSTACK(History.save s) function 79 | save (GOALTREE t) = GOALTREE(History.save t);
|
H A D | proofManagerLib.sml | 50 fun save () = function 51 (the_proofs := Manager.hd_opr Manager.save (proofs());
|
H A D | History.sml | 49 fun save (HISTORY{obj,past,orig,limit,save_points}) = function
|
H A D | Manager.sig | 22 val save : proof -> proof value
|
H A D | proofManagerLib.sig | 28 val save : unit -> proof value
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_options.scala | 26 def save(): Unit 69 def save = string(opt_name) = Color_Value.print(button.getSelectedColor) 88 def save = bool(opt_name) = selected 98 def save =
|
H A D | isabelle_options.scala | 35 for ((_, cs) <- components) cs.foreach(_.save())
|
H A D | jedit_sessions.scala | 105 def save: Unit = options.string(jedit_logic_option) = selection.item.name 111 component.reactions += { case SelectionChanged(_) => component.save() }
|
H A D | jedit_spell_checker.scala | 102 def save: Unit = PIDE.options.string(option_name) = selection.item.lang
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_options.scala | 26 def save(): Unit 69 def save = string(opt_name) = Color_Value.print(button.getSelectedColor) 88 def save = bool(opt_name) = selected 98 def save =
|
H A D | isabelle_options.scala | 35 for ((_, cs) <- components) cs.foreach(_.save())
|
H A D | jedit_sessions.scala | 105 def save: Unit = options.string(jedit_logic_option) = selection.item.name 111 component.reactions += { case SelectionChanged(_) => component.save() }
|
H A D | jedit_spell_checker.scala | 102 def save: Unit = PIDE.options.string(option_name) = selection.item.lang
|
/seL4-l4v-master/HOL4/polyml/samplecode/ide/ |
H A D | use.sml | 24 function that saves the state and dependencies in ".save" and ".deps" files 33 and also save the state before each file we "use". *) 38 (* Get the root directory and save directory (typically .polysave). Do this once 41 Assume that the root directory is the parent of the save directory. 82 NONE => () (* Do nothing: we can't save it. *) 89 mkCanonical (joinBaseExt{ base = baseName, ext = SOME "save"}) 93 (* Reset the save directory before we save so that it isn't set in the saved 94 state. That means that "use" won't save the state unless it's explicitly
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Main.C | 251 if (S.proof != NULL && proof != NULL) S.proof->save(proof); 291 if (proof != NULL) compressed.save(proof); 296 if (proof != NULL) S.proof->save(proof); 298 } else if (proof != NULL) S.proof->save(proof);
|
H A D | Proof.h | 80 bool save (cchar* filename);
|
/seL4-l4v-master/HOL4/examples/dev/sw2/ |
H A D | funcCall.sml | 42 (* Function calls in a caller-save style. *) 106 (* Convert a function body into its call-save format *) 108 fun save (wS, next_slot) exp = function 140 val t5 = save (s2, next_slot) t4 227 (* Process function calls in a caller-save style *)
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | spell_checker.scala | 159 private def save() 188 if (permanent) save() 191 else { save(); load() }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | spell_checker.scala | 159 private def save() 188 if (permanent) save() 191 else { save(); load() }
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | boolLib.sml | 122 val (save, attrf, attrs) = let value 132 save(n,th) before app do_attr attrs
|