/seL4-l4v-10.1.1/isabelle/src/Pure/Concurrent/ |
H A D | counter.scala | 14 type ID = Long 20 private var count: Counter.ID = 0 22 def apply(): Counter.ID = synchronized {
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Concurrent/ |
H A D | counter.scala | 14 type ID = Long 20 private var count: Counter.ID = 0 22 def apply(): Counter.ID = synchronized {
|
/seL4-l4v-10.1.1/isabelle/Admin/cronjob/ |
H A D | plain_identify | 30 local ID="$(hg tip -R "$REPOS_DIR/$NAME" --template "{node|short}")" 31 echo "$NAME version: $ID"
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/ |
H A D | plain_identify | 30 local ID="$(hg tip -R "$REPOS_DIR/$NAME" --template "{node|short}")" 31 echo "$NAME version: $ID"
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | lexer.l | 20 ID [a-zA-Z_][a-zA-Z0-9_]* 76 {ID} { strncpy(yylval.id, yytext, MAXIDLEN); return T_id; }
|
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
H A D | state_panel.scala | 16 private val instances = Synchronized(Map.empty[Counter.ID, State_Panel]) 25 def exit(id: Counter.ID) 34 def locate(id: Counter.ID): Unit = 38 def update(id: Counter.ID): Unit = 42 def auto_update(id: Counter.ID, enabled: Boolean): Unit = 52 val id: Counter.ID = State_Panel.make_id()
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | state_panel.scala | 16 private val instances = Synchronized(Map.empty[Counter.ID, State_Panel]) 25 def exit(id: Counter.ID) 34 def locate(id: Counter.ID): Unit = 38 def update(id: Counter.ID): Unit = 42 def auto_update(id: Counter.ID, enabled: Boolean): Unit = 52 val id: Counter.ID = State_Panel.make_id()
|
/seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
H A D | Z3_Proof.sml | 12 (rather than a tree), there is an 'ID' constructor that merely 55 | ID of int 59 unique integer ID is assigned to each inference step. Note that 60 Z3 assigns no ID to the proof's root node, which derives the 61 final theorem "... |- F". We will use ID 0 for the root node. *)
|
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | yacc-grm.sml | 315 | ID of unit -> (string*int) | HEADER of unit -> (string) 356 | (T 11) => "ID" 462 | (6,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,START1left,_))::rest671) 463 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value 465 DECL {prec=nil,control=[START_SYM (symbolMake ID)],nonterm=NONE, 553 | (15,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,NAME1left,_))::rest671) 554 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value 556 DECL {prec=nil,control=[PARSER_NAME (symbolMake ID)], 609 | (21,(_,(MlyValue.PROG PROG1,_,PROG1right))::(_,(MlyValue.ID ID1,_,_) 611 fn _ => let val ID a value 671 val ID as ID1=ID1 () value 680 val ID as ID1=ID1 () value 692 result=MlyValue.CONSTR_LIST(fn _ => let val ID as ID1=ID1 () value 698 MlyValue.G_RULE(fn _ => let val ID as ID1=ID1 () value 724 let val ID as ID1=ID1 () value 814 result=MlyValue.QUAL_ID(fn _ => let val ID as ID1=ID1 () value 826 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 () value 836 rest671) => let val result=MlyValue.G_RULE_PREC(fn _ => let val ID as value 877 fun ID (i,p1,p2) = Token.TOKEN (ParserData.LrTable.T 11,( function [all...] |
H A D | yacc-grm-sig.sml | 35 val ID: (string*int) * 'a * 'a -> (svalue,'a) token value
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/ |
H A D | yacc-grm.sml | 318 | ID of unit -> (string*int) | HEADER of unit -> (string) 359 | (T 11) => "ID" 465 | (6,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,START1left,_))::rest671) 466 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value 468 DECL {prec=nil,control=[START_SYM (symbolMake ID)],nonterm=NONE, 556 | (15,(_,(MlyValue.ID ID1,_,ID1right))::(_,(_,NAME1left,_))::rest671) 557 => let val result=MlyValue.MPC_DECL(fn _ => let val ID as ID1=ID1 () value 559 DECL {prec=nil,control=[PARSER_NAME (symbolMake ID)], 612 | (21,(_,(MlyValue.PROG PROG1,_,PROG1right))::(_,(MlyValue.ID ID1,_,_) 614 fn _ => let val ID a value 674 val ID as ID1=ID1 () value 683 val ID as ID1=ID1 () value 695 result=MlyValue.CONSTR_LIST(fn _ => let val ID as ID1=ID1 () value 701 MlyValue.G_RULE(fn _ => let val ID as ID1=ID1 () value 727 let val ID as ID1=ID1 () value 817 result=MlyValue.QUAL_ID(fn _ => let val ID as ID1=ID1 () value 829 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 () value 839 rest671) => let val result=MlyValue.G_RULE_PREC(fn _ => let val ID as value 880 fun ID (i,p1,p2) = Token.TOKEN (ParserData.LrTable.T 11,( function [all...] |
H A D | yacc-grm-sig.sml | 38 val ID: (string*int) * 'a * 'a -> (svalue,'a) token value
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | NormalVertex.java | 17 String label="",path="",dir="",ID=""; field in class:NormalVertex 22 ve.setID(ID); 50 public void setID(String s) { ID=s; } 52 public String getID() { return ID; }
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | NormalVertex.java | 17 String label="",path="",dir="",ID=""; field in class:NormalVertex 22 ve.setID(ID); 50 public void setID(String s) { ID=s; } 52 public String getID() { return ID; }
|
/seL4-l4v-10.1.1/HOL4/src/simp/src/ |
H A D | Sequence.sig | 2 ID: sequence.ML,v 1.3 1994/11/21 10:33:23 lcp Exp
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sig | 2 (* CLAUSE = ID + THEOREM *)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sig | 2 (* CLAUSE = ID + THEOREM *)
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | term_tokens.sml | 153 val ID = Ident value 155 if is_char orelse s0 = #"\"" then (advance(); (ID s, locn)) 157 if CharVector.all (Lib.equal #"$") s then (advance(); (ID s, locn)) 167 Ident s' => (ID ("$" ^ s'), locn.move_start ~1 locn') 197 if s_has_nonagg_char c then stdfinish (ID c, rest) 242 if size rest = 0 then (advance(); (ID s, locn)) 244 (replace_current (BT_Ident rest,locn2); (ID pfx, locn1))
|
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
H A D | markup.scala | 123 val ID = "id" 131 val POSITION_PROPERTIES = Set(LINE, OFFSET, END_OFFSET, FILE, ID) 532 case List((FUNCTION, INVOKE_SCALA), (NAME, name), (ID, id)) => Some((name, id)) 542 case List((FUNCTION, CANCEL_SCALA), (ID, id)) => Some(id) 601 (ID, id),
|
H A D | query_operation.scala | 108 case (Markup.ID, Value.Long(id)) if id == state0.exec_id => 109 (Markup.ID, Value.Long(command.id))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
H A D | markup.scala | 123 val ID = "id" 131 val POSITION_PROPERTIES = Set(LINE, OFFSET, END_OFFSET, FILE, ID) 532 case List((FUNCTION, INVOKE_SCALA), (NAME, name), (ID, id)) => Some((name, id)) 542 case List((FUNCTION, CANCEL_SCALA), (ID, id)) => Some(id) 601 (ID, id),
|
H A D | query_operation.scala | 108 case (Markup.ID, Value.Long(id)) if id == state0.exec_id => 109 (Markup.ID, Value.Long(command.id))
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibClause.sig | 2 (* CLAUSE = ID + THEOREM + CONSTRAINTS *)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | position.scala | 23 val Id = new Properties.Long(Markup.ID) 24 val Id_String = new Properties.String(Markup.ID)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | position.scala | 23 val Id = new Properties.Long(Markup.ID) 24 val Id_String = new Properties.String(Markup.ID)
|