Context Navigation

MIT.prop @ c570f7e

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02

Last change on this file since c570f7e was 728001e, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
Added Geni examples
Property mode set to `100644`
File size: 6.5 KB

Rev	Line
[728001e]	1	subject = MIT
	2
	3	update.1.location = local
	4
	5	update.1.1.type = node
	6	update.1.1.name = MIT: GENI.CTFaccess <<-?- James
	7	update.1.1.nodeType = RoleTarget
	8	update.1.1.isRoot = True
	9
	10	update.1.2.type = node
	11	update.1.2.nodeType = RoleTarget
	12	update.1.2.name = MIT: GENI.CTFaccess <<-?- James
	13	update.1.2.processing = unprocessed
	14	update.1.2.satisfied = Unknown
	15
	16	update.1.3.type = node
	17	update.1.3.nodeType = RoleTarget
	18	update.1.3.name = MIT: GENI.CTFaccess <<-?- James
	19	update.1.3.processing = unprocessed
	20	update.1.3.satisfied = Unknown
	21
	22	update.1.4.type = edge
	23	update.1.4.edgeType = Implication
	24	update.1.4.parentName = MIT: GENI.CTFaccess <<-?- James
	25	update.1.4.childName = MIT: ACM.CTFrep.CTFcontestant <<-?- James
	26	update.1.4.childType = LinkedRoleTarget
	27	update.1.4.childProcessing = opponent
	28	update.1.4.evidence.1 = GENI.CTFaccess<-ACM.CTFrep.CTFcontestant
	29
	30	update.1.5.type = node
	31	update.1.5.nodeType = LinkedRoleTarget
	32	update.1.5.name = MIT: ACM.CTFrep.CTFcontestant <<-?- James
	33	update.1.5.processing = opponent
	34	update.1.5.satisfied = Unknown
	35
	36	update.1.6.type = node
	37	update.1.6.nodeType = RoleTarget
	38	update.1.6.name = MIT: GENI.CTFaccess <<-?- James
	39	update.1.6.processing = opponent
	40	update.1.6.satisfied = Unknown
	41
	42	update.1.7.type = node
	43	update.1.7.name = MIT: GENI.CTFaccess <<-?- James
	44	update.1.7.processing = verifier
	45
	46	update.1.8.type = edge
	47	update.1.8.edgeType = Implication
	48	update.1.8.parentName = MIT: ACM.CTFrep.CTFcontestant <<-?- James
	49	update.1.8.childName = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	50	update.1.8.childType = LinkedRoleTarget
	51	update.1.8.childProcessing = opponent
	52
	53	update.1.9.type = node
	54	update.1.9.nodeType = LinkedRoleTarget
	55	update.1.9.name = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	56	update.1.9.processing = opponent
	57	update.1.9.satisfied = Unknown
	58
	59	update.1.10.type = node
	60	update.1.10.nodeType = LinkedRoleTarget
	61	update.1.10.name = MIT: ACM.CTFrep.CTFcontestant <<-?- James
	62	update.1.10.processing = opponent
	63	update.1.10.satisfied = Unknown
	64
	65	update.1.11.type = node
	66	update.1.11.name = MIT: ACM.CTFrep.CTFcontestant <<-?- James
	67	update.1.11.processing = verifier
	68
	69	update.1.12.type = edge
	70	update.1.12.edgeType = LinkingMonitor
	71	update.1.12.parentName = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	72	update.1.12.childName = MIT: ?X.CTFcontestant <<-?- James
	73	update.1.12.childType = LinkingGoal
	74	update.1.12.childProcessing = verifier
	75
	76	update.1.13.type = node
	77	update.1.13.nodeType = LinkingGoal
	78	update.1.13.name = MIT: ?X.CTFcontestant <<-?- James
	79	update.1.13.processing = verifier
	80	update.1.13.satisfied = Incomplete
	81
	82	update.2.location = remote
	83
	84	update.2.1.type = edge
	85	update.2.1.edgeType = LinkingSolution
	86	update.2.1.parentName = MIT: ?X.CTFcontestant <<-?- James
	87	update.2.1.childName = MIT: MIT.CTFcontestant <<-?- James
	88	update.2.1.childType = RoleTarget
	89	update.2.1.childProcessing = verifier
	90
	91	update.2.2.type = node
	92	update.2.2.nodeType = RoleTarget
	93	update.2.2.name = MIT: MIT.CTFcontestant <<-?- James
	94	update.2.2.processing = verifier
	95	update.2.2.satisfied = Unknown
	96
	97	update.2.3.type = node
	98	update.2.3.name = MIT: ?X.CTFcontestant <<-?- James
	99	update.2.3.processing = opponent
	100
	101	update.2.4.type = node
	102	update.2.4.nodeType = LinkingGoal
	103	update.2.4.name = MIT: ?X.CTFcontestant <<-?- James
	104	update.2.4.processing = fully
	105	update.2.4.satisfied = Incomplete
	106
	107	update.2.5.type = edge
	108	update.2.5.edgeType = Implication
	109	update.2.5.parentName = MIT: MIT.CTFcontestant <<-?- James
	110	update.2.5.childName = MIT: James <<-?- James
	111	update.2.5.childType = TrivialTarget
	112	update.2.5.childProcessing = fully
	113	update.2.5.evidence.1 = MIT.student<-James
	114	update.2.5.evidence.2 = MIT.CTFcontestant<-MIT.student
	115
	116	update.2.6.type = node
	117	update.2.6.nodeType = TrivialTarget
	118	update.2.6.name = MIT: James <<-?- James
	119	update.2.6.processing = fully
	120	update.2.6.satisfied = Satisfied
	121
	122	update.2.7.type = node
	123	update.2.7.nodeType = RoleTarget
	124	update.2.7.name = MIT: MIT.CTFcontestant <<-?- James
	125	update.2.7.processing = verifier
	126	update.2.7.satisfied = Unknown
	127
	128	update.2.8.type = node
	129	update.2.8.nodeType = RoleTarget
	130	update.2.8.name = MIT: MIT.CTFcontestant <<-?- James
	131	update.2.8.processing = verifier
	132	update.2.8.satisfied = Satisfied
	133
	134	update.2.9.type = node
	135	update.2.9.nodeType = LinkingGoal
	136	update.2.9.name = MIT: ?X.CTFcontestant <<-?- James
	137	update.2.9.processing = fully
	138	update.2.9.satisfied = Complete
	139
	140	update.2.10.type = node
	141	update.2.10.name = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	142	update.2.10.processing = verifier
	143
	144	update.2.11.type = node
	145	update.2.11.name = MIT: MIT.CTFcontestant <<-?- James
	146	update.2.11.processing = opponent
	147
	148	update.3.location = local
	149
	150	update.3.1.type = edge
	151	update.3.1.edgeType = LinkingImplication
	152	update.3.1.parentName = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	153	update.3.1.childName = MIT: UCLA.ACMofficer <<-?- MIT
	154	update.3.1.childType = RoleTarget
	155	update.3.1.childProcessing = opponent
	156
	157	update.3.2.type = node
	158	update.3.2.nodeType = RoleTarget
	159	update.3.2.name = MIT: UCLA.ACMofficer <<-?- MIT
	160	update.3.2.processing = opponent
	161	update.3.2.satisfied = Unknown
	162
	163	update.3.3.type = node
	164	update.3.3.nodeType = LinkedRoleTarget
	165	update.3.3.name = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	166	update.3.3.processing = fully
	167	update.3.3.satisfied = Unknown
	168
	169	update.3.4.type = edge
	170	update.3.4.edgeType = Implication
	171	update.3.4.parentName = MIT: UCLA.ACMofficer <<-?- MIT
	172	update.3.4.childName = MIT: Mike <<-?- MIT
	173	update.3.4.childType = TrivialTarget
	174	update.3.4.childProcessing = fully
	175	update.3.4.evidence.1 = UCLA.ACMofficer<-Mike
	176
	177	update.3.5.type = node
	178	update.3.5.nodeType = TrivialTarget
	179	update.3.5.name = MIT: Mike <<-?- MIT
	180	update.3.5.processing = fully
	181	update.3.5.satisfied = Satisfied
	182
	183	update.3.6.type = node
	184	update.3.6.nodeType = RoleTarget
	185	update.3.6.name = MIT: UCLA.ACMofficer <<-?- MIT
	186	update.3.6.processing = opponent
	187	update.3.6.satisfied = Unknown
	188
	189	update.3.7.type = node
	190	update.3.7.nodeType = RoleTarget
	191	update.3.7.name = MIT: UCLA.ACMofficer <<-?- MIT
	192	update.3.7.processing = opponent
	193	update.3.7.satisfied = Satisfied
	194
	195	update.3.8.type = node
	196	update.3.8.nodeType = LinkedRoleTarget
	197	update.3.8.name = MIT: UCLA.ACMofficer.CTFcontestant <<-?- James
	198	update.3.8.processing = fully
	199	update.3.8.satisfied = Satisfied
	200
	201	update.3.9.type = node
	202	update.3.9.nodeType = LinkedRoleTarget
	203	update.3.9.name = MIT: ACM.CTFrep.CTFcontestant <<-?- James
	204	update.3.9.processing = fully
	205	update.3.9.satisfied = Satisfied
	206
	207	update.3.10.type = node
	208	update.3.10.nodeType = RoleTarget
	209	update.3.10.name = MIT: GENI.CTFaccess <<-?- James
	210	update.3.10.processing = fully
	211	update.3.10.satisfied = Satisfied
	212
	213	update.3.11.type = node
	214	update.3.11.name = MIT: UCLA.ACMofficer <<-?- MIT
	215	update.3.11.processing = verifier
	216

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format