/seL4-l4v-master/seL4/tools/hardware/ |
H A D | memory.py | 22 def clone(other): 23 ret = Region(other.base, other.size) 29 def __eq__(self, other): 30 return self.base == other.base and self.size == other.size 32 def __ne__(self, other): 34 return not self.__eq__(other) 36 def __gt__(self, other): 37 return self.base > other [all...] |
/seL4-l4v-master/HOL4/src/string/theorytesting/ |
H A D | otherScript.sml | 5 val _ = new_theory "other";
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | Symbolic.sml | 24 | unsymb other = other; 35 | tosymb other = other;
|
/seL4-l4v-master/l4v/tools/haskell-translator/ |
H A D | braces.py | 66 def __add__(self, other): 67 if isinstance(other, BracedString): 69 bits = self.bits + other.bits 70 elif other.bits[0].startswith(self.l): 71 bits = self.bits + other.bits 74 [self.bits[-1] + other.bits[0]] + \ 75 other.bits[1:] 76 return BracedString(self.s + other.s, self.l, self.r, bits) 78 return BracedString(self.s + other, self.l, self.r) 80 def __eq__(self, other) [all...] |
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | fold_handling.scala | 25 override def equals(other: Any): Boolean = 26 other match { 56 override def equals(other: Any): Boolean = 57 other match {
|
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | fold_handling.scala | 25 override def equals(other: Any): Boolean = 26 other match { 56 override def equals(other: Any): Boolean = 57 other match {
|
/seL4-l4v-master/HOL4/examples/dev/AES/tupled/ |
H A D | word8Script.sml | 24 (* evaluation, while the other is good for brute-force. *) 203 || other -> other) 204 || other -> other) 205 || other -> other) 206 || other -> other) 207 || other [all...] |
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | bytes.scala | 98 case other: Bytes => 99 if (this eq other) true 100 else if (length != other.length) false 101 else (0 until length).forall(i => bytes(offset + i) == other.bytes(other.offset + i)) 160 def +(other: Bytes): Bytes = 161 if (other.isEmpty) this 162 else if (isEmpty) other 164 val new_bytes = new Array[Byte](length + other.length) 166 System.arraycopy(other [all...] |
H A D | sha1.scala | 21 case other: Digest => rep == other.rep
|
H A D | multi_map.scala | 53 def ++[B1 >: B] (other: Multi_Map[A, B1]): Multi_Map[A, B1] = 54 if (this eq other) this 55 else if (isEmpty) other 57 (this.asInstanceOf[Multi_Map[A, B1]] /: other.rep.iterator) {
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | bytes.scala | 98 case other: Bytes => 99 if (this eq other) true 100 else if (length != other.length) false 101 else (0 until length).forall(i => bytes(offset + i) == other.bytes(other.offset + i)) 160 def +(other: Bytes): Bytes = 161 if (other.isEmpty) this 162 else if (isEmpty) other 164 val new_bytes = new Array[Byte](length + other.length) 166 System.arraycopy(other [all...] |
H A D | sha1.scala | 21 case other: Digest => rep == other.rep
|
H A D | multi_map.scala | 53 def ++[B1 >: B] (other: Multi_Map[A, B1]): Multi_Map[A, B1] = 54 if (this eq other) this 55 else if (isEmpty) other 57 (this.asInstanceOf[Multi_Map[A, B1]] /: other.rep.iterator) {
|
/seL4-l4v-master/isabelle/src/Pure/Isar/ |
H A D | keyword.scala | 147 def ++ (other: Keywords): Keywords = 148 if (this eq other) this 149 else if (is_empty) other 152 if (kinds eq other.kinds) kinds 153 else if (kinds.isEmpty) other.kinds 154 else (kinds /: other.kinds) { case (m, e) => if (m.isDefinedAt(e._1)) m else m + e } 156 if (load_commands eq other.load_commands) load_commands 157 else if (load_commands.isEmpty) other.load_commands 159 (load_commands /: other.load_commands) {
|
H A D | outer_syntax.scala | 123 def ++ (other: Outer_Syntax): Outer_Syntax = 124 if (this eq other) this 125 else if (this eq Outer_Syntax.empty) other 127 val keywords1 = keywords ++ other.keywords 128 val rev_abbrevs1 = Library.merge(rev_abbrevs, other.rev_abbrevs)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/ |
H A D | keyword.scala | 147 def ++ (other: Keywords): Keywords = 148 if (this eq other) this 149 else if (is_empty) other 152 if (kinds eq other.kinds) kinds 153 else if (kinds.isEmpty) other.kinds 154 else (kinds /: other.kinds) { case (m, e) => if (m.isDefinedAt(e._1)) m else m + e } 156 if (load_commands eq other.load_commands) load_commands 157 else if (load_commands.isEmpty) other.load_commands 159 (load_commands /: other.load_commands) {
|
/seL4-l4v-master/HOL4/src/real/ |
H A D | realLib.sml | 4 (* is also included. plus some other proof procedures. *)
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | check_keywords.scala | 22 private val other = token("token", _ => true) 23 private val item = conflict ^^ (x => Some(x)) | other ^^ (_ => None)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | check_keywords.scala | 22 private val other = token("token", _ => true) 23 private val item = conflict ^^ (x => Some(x)) | other ^^ (_ => None)
|
/seL4-l4v-master/HOL4/examples/dev/AES/curried/ |
H A D | word8Script.sml | 27 (* evaluation, while the other is good for brute-force. *) 227 || other -> other) 228 || other -> other) 229 || other -> other) 230 || other -> other) 231 || other [all...] |
/seL4-l4v-master/isabelle/Admin/Windows/Cygwin/isabelle/ |
H A D | postinstall | 10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
|
/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/isabelle/ |
H A D | postinstall | 10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
|
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | tptp.lex | 43 see if have open brackets, or if we're in some state other than INITIAL*)
|
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ |
H A D | tptp.lex | 43 see if have open brackets, or if we're in some state other than INITIAL*)
|
/seL4-l4v-master/HOL4/src/postkernel/ |
H A D | TheoryReader.sig | 11 other words, this is done mostly for the side-effects. The map returned
|