sail_latexcc « cheri - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	commands.tex	35880	log plain
-rw-r--r--	sailccBitStr.tex	82	log plain
-rw-r--r--	sailccCPtrCmpOp.tex	83	log plain
-rw-r--r--	sailccCPtrCmpOpofnum.tex	83	log plain
-rw-r--r--	sailccCapLen.tex	31	log plain
-rw-r--r--	sailccCapReg.tex	44	log plain
-rw-r--r--	sailccCapStruct.tex	902	log plain
-rw-r--r--	sailccClearRegSet.tex	44	log plain
-rw-r--r--	sailccClearRegSetofnum.tex	87	log plain
-rw-r--r--	sailccHighestSetBit.tex	111	log plain
-rw-r--r--	sailccMIPSread.tex	129	log plain
-rw-r--r--	sailccMIPSwrite.tex	126	log plain
-rw-r--r--	sailccReadRAM.tex	185	log plain
-rw-r--r--	sailccWriteRAM.tex	183	log plain
-rw-r--r--	sailccabsatom.tex	194	log plain
-rw-r--r--	sailccabsint.tex	106	log plain
-rw-r--r--	sailccaddatom.tex	137	log plain
-rw-r--r--	sailccaddbits.tex	197	log plain
-rw-r--r--	sailccaddbitsint.tex	192	log plain
-rw-r--r--	sailccaddint.tex	100	log plain
-rw-r--r--	sailccaddrange.tex	168	log plain
-rw-r--r--	sailccaddvec.tex	130	log plain
-rw-r--r--	sailccaddvecint.tex	113	log plain
-rw-r--r--	sailccandbits.tex	150	log plain
-rw-r--r--	sailccandbool.tex	67	log plain
-rw-r--r--	sailccappend.tex	36	log plain
-rw-r--r--	sailccappendsixfour.tex	127	log plain
-rw-r--r--	sailccatopcorrection.tex	66	log plain
-rw-r--r--	sailccbits.tex	64	log plain
-rw-r--r--	sailccbitstobool.tex	60	log plain
-rw-r--r--	sailccbittobool.tex	35	log plain
-rw-r--r--	sailccbitvectoraccess.tex	190	log plain
-rw-r--r--	sailccbitvectorconcat.tex	224	log plain
-rw-r--r--	sailccbitvectorlength.tex	111	log plain
-rw-r--r--	sailccbitvectorupdate.tex	212	log plain
-rw-r--r--	sailccbooltobits.tex	60	log plain
-rw-r--r--	sailcccapRegToCapStruct.tex	44	log plain
-rw-r--r--	sailcccapStructToCapReg.tex	44	log plain
-rw-r--r--	sailcccapStructToMemBits.tex	48	log plain
-rw-r--r--	sailcccapStructToMemBitsonetwoeight.tex	51	log plain
-rw-r--r--	sailcccastunitvec.tex	60	log plain
-rw-r--r--	sailcccomputeE.tex	56	log plain
-rw-r--r--	sailccconcatstr.tex	107	log plain
-rw-r--r--	sailccdiv.tex	200	log plain
-rw-r--r--	sailccdivint.tex	127	log plain
-rw-r--r--	sailcceqanything.tex	156	log plain
-rw-r--r--	sailcceqatom.tex	115	log plain
-rw-r--r--	sailcceqbit.tex	63	log plain
-rw-r--r--	sailcceqbits.tex	153	log plain
-rw-r--r--	sailcceqbittwo.tex	44	log plain
-rw-r--r--	sailcceqbool.tex	98	log plain
-rw-r--r--	sailcceqint.tex	90	log plain
-rw-r--r--	sailcceqrange.tex	135	log plain
-rw-r--r--	sailccfastRepCheck.tex	49	log plain
-rw-r--r--	sailccfnCPtrCmpOpofnum.tex	150	log plain
-rw-r--r--	sailccfnClearRegSetofnum.tex	99	log plain
-rw-r--r--	sailccfnHighestSetBit.tex	160	log plain
-rw-r--r--	sailccfnMIPSread.tex	149	log plain
-rw-r--r--	sailccfnMIPSwrite.tex	179	log plain
-rw-r--r--	sailccfnatopcorrection.tex	488	log plain
-rw-r--r--	sailccfnbitstobool.tex	75	log plain
-rw-r--r--	sailccfnbittobool.tex	68	log plain
-rw-r--r--	sailccfnbooltobits.tex	49	log plain
-rw-r--r--	sailccfncapRegToCapStruct.tex	1165	log plain
-rw-r--r--	sailccfncapStructToCapReg.tex	177	log plain
-rw-r--r--	sailccfncapStructToMemBits.tex	204	log plain
-rw-r--r--	sailccfncapStructToMemBitsonetwoeight.tex	519	log plain
-rw-r--r--	sailccfncastunitvec.tex	68	log plain
-rw-r--r--	sailccfncomputeE.tex	442	log plain
-rw-r--r--	sailccfnfastRepCheck.tex	1206	log plain
-rw-r--r--	sailccfngetCapBase.tex	729	log plain
-rw-r--r--	sailccfngetCapCursor.tex	125	log plain
-rw-r--r--	sailccfngetCapHardPerms.tex	357	log plain
-rw-r--r--	sailccfngetCapLength.tex	274	log plain
-rw-r--r--	sailccfngetCapOffset.tex	226	log plain
-rw-r--r--	sailccfngetCapPerms.tex	301	log plain
-rw-r--r--	sailccfngetCapTop.tex	776	log plain
-rw-r--r--	sailccfnincCapOffset.tex	362	log plain
-rw-r--r--	sailccfninttocap.tex	143	log plain
-rw-r--r--	sailccfnisnone.tex	115	log plain
-rw-r--r--	sailccfnissome.tex	115	log plain
-rw-r--r--	sailccfnmask.tex	35	log plain
-rw-r--r--	sailccfnmemBitsToCapBits.tex	230	log plain
-rw-r--r--	sailccfnmemBitsToCapBitsonetwoeight.tex	143	log plain
-rw-r--r--	sailccfnmipssignextend.tex	98	log plain
-rw-r--r--	sailccfnmipszzeroextend.tex	99	log plain
-rw-r--r--	sailccfnneqanything.tex	104	log plain
-rw-r--r--	sailccfnneqatom.tex	128	log plain
-rw-r--r--	sailccfnneqbool.tex	128	log plain
-rw-r--r--	sailccfnneqint.tex	124	log plain
-rw-r--r--	sailccfnneqrange.tex	132	log plain
-rw-r--r--	sailccfnneqvec.tex	126	log plain
-rw-r--r--	sailccfnnumofCPtrCmpOp.tex	150	log plain
-rw-r--r--	sailccfnnumofClearRegSet.tex	99	log plain
-rw-r--r--	sailccfnones.tex	94	log plain
-rw-r--r--	sailccfnroundUp.tex	146	log plain
-rw-r--r--	sailccfnsailmask.tex	211	log plain
-rw-r--r--	sailccfnsealCap.tex	349	log plain
-rw-r--r--	sailccfnsetCapBounds.tex	1167	log plain
-rw-r--r--	sailccfnsetCapOffset.tex	511	log plain
-rw-r--r--	sailccfnsetCapPerms.tex	677	log plain
-rw-r--r--	sailccfntobits.tex	107	log plain
-rw-r--r--	sailccfnzeightoperatorzzerozIsznine.tex	118	log plain
-rw-r--r--	sailccfnzeightoperatorzzerozIuznine.tex	126	log plain
-rw-r--r--	sailccfnzeightoperatorzzerozKzJsznine.tex	119	log plain
-rw-r--r--	sailccfnzeightoperatorzzerozKzJuznine.tex	127	log plain
-rw-r--r--	sailccfnzeightoperatorzzerozQzQznine.tex	86	log plain
-rw-r--r--	sailccfnzzeros.tex	97	log plain
-rw-r--r--	sailccgetCapBase.tex	37	log plain
-rw-r--r--	sailccgetCapCursor.tex	39	log plain
-rw-r--r--	sailccgetCapHardPerms.tex	44	log plain
-rw-r--r--	sailccgetCapLength.tex	55	log plain
-rw-r--r--	sailccgetCapOffset.tex	39	log plain
-rw-r--r--	sailccgetCapPerms.tex	40	log plain
-rw-r--r--	sailccgetCapTop.tex	36	log plain
-rw-r--r--	sailccgetsliceint.tex	102	log plain
-rw-r--r--	sailccgettimens.tex	32	log plain
-rw-r--r--	sailccgtatom.tex	87	log plain
-rw-r--r--	sailccgtatomrange.tex	107	log plain
-rw-r--r--	sailccgteqatom.tex	87	log plain
-rw-r--r--	sailccgteqatomrange.tex	107	log plain
-rw-r--r--	sailccgteqint.tex	61	log plain
-rw-r--r--	sailccgteqrangeatom.tex	107	log plain
-rw-r--r--	sailccgtint.tex	57	log plain
-rw-r--r--	sailccgtrangeatom.tex	107	log plain
-rw-r--r--	sailccincCapOffset.tex	62	log plain
-rw-r--r--	sailccintpower.tex	83	log plain
-rw-r--r--	sailccinttocap.tex	39	log plain
-rw-r--r--	sailccisnone.tex	75	log plain
-rw-r--r--	sailccissome.tex	75	log plain
-rw-r--r--	sailcclength.tex	51	log plain
-rw-r--r--	sailccltatom.tex	87	log plain
-rw-r--r--	sailccltatomrange.tex	107	log plain
-rw-r--r--	sailcclteqatom.tex	87	log plain
-rw-r--r--	sailcclteqatomrange.tex	107	log plain
-rw-r--r--	sailcclteqint.tex	61	log plain
-rw-r--r--	sailcclteqrangeatom.tex	107	log plain
-rw-r--r--	sailccltint.tex	57	log plain
-rw-r--r--	sailccltrangeatom.tex	107	log plain
-rw-r--r--	sailccmask.tex	102	log plain
-rw-r--r--	sailccmax.tex	43	log plain
-rw-r--r--	sailccmaxatom.tex	176	log plain
-rw-r--r--	sailccmaxint.tex	75	log plain
-rw-r--r--	sailccmaxnat.tex	75	log plain
-rw-r--r--	sailccmemBitsToCapBits.tex	54	log plain
-rw-r--r--	sailccmemBitsToCapBitsonetwoeight.tex	54	log plain
-rw-r--r--	sailccmin.tex	43	log plain
-rw-r--r--	sailccminatom.tex	176	log plain
-rw-r--r--	sailccminint.tex	75	log plain
-rw-r--r--	sailccminnat.tex	75	log plain
-rw-r--r--	sailccmipssignextend.tex	110	log plain
-rw-r--r--	sailccmipszzeroextend.tex	110	log plain
-rw-r--r--	sailccmod.tex	199	log plain
-rw-r--r--	sailccmodint.tex	125	log plain
-rw-r--r--	sailccmodulus.tex	151	log plain
-rw-r--r--	sailccmultatom.tex	137	log plain
-rw-r--r--	sailccmultint.tex	100	log plain
-rw-r--r--	sailccnegate.tex	44	log plain
-rw-r--r--	sailccnegateatom.tex	122	log plain
-rw-r--r--	sailccnegateint.tex	98	log plain
-rw-r--r--	sailccnegaterange.tex	138	log plain
-rw-r--r--	sailccneqanything.tex	91	log plain
-rw-r--r--	sailccneqatom.tex	90	log plain
-rw-r--r--	sailccneqbool.tex	36	log plain
-rw-r--r--	sailccneqint.tex	48	log plain
-rw-r--r--	sailccneqrange.tex	90	log plain
-rw-r--r--	sailccneqvec.tex	109	log plain
-rw-r--r--	sailccnot.tex	47	log plain
-rw-r--r--	sailccnotbool.tex	54	log plain
-rw-r--r--	sailccnotvec.tex	116	log plain
-rw-r--r--	sailccnumofCPtrCmpOp.tex	70	log plain
-rw-r--r--	sailccnumofClearRegSet.tex	74	log plain
-rw-r--r--	sailccones.tex	69	log plain
-rw-r--r--	sailccorbits.tex	148	log plain
-rw-r--r--	sailccorbool.tex	64	log plain
-rw-r--r--	sailccplainvectoraccess.tex	217	log plain
-rw-r--r--	sailccplainvectorupdate.tex	217	log plain
-rw-r--r--	sailccpowtwo.tex	56	log plain
-rw-r--r--	sailccprerrbits.tex	77	log plain
-rw-r--r--	sailccprerrendline.tex	37	log plain
-rw-r--r--	sailccprerrint.tex	40	log plain
-rw-r--r--	sailccprerrstring.tex	36	log plain
-rw-r--r--	sailccprint.tex	45	log plain
-rw-r--r--	sailccprintbits.tex	77	log plain
-rw-r--r--	sailccprintint.tex	40	log plain
-rw-r--r--	sailccputchar.tex	60	log plain
-rw-r--r--	sailccquotient.tex	88	log plain
-rw-r--r--	sailccquotientnat.tex	92	log plain
-rw-r--r--	sailccquotroundzzero.tex	122	log plain
-rw-r--r--	sailccregderef.tex	94	log plain
-rw-r--r--	sailccremroundzzero.tex	118	log plain
-rw-r--r--	sailccreplicatebits.tex	132	log plain
-rw-r--r--	sailccroundUp.tex	43	log plain
-rw-r--r--	sailccsailccnegatev.tex	43	log plain
-rw-r--r--	sailccsailccregderefv.tex	95	log plain
-rw-r--r--	sailccsailccsailccsailcczeightoperatorzzerozJzJzninevvv.tex	34	log plain
-rw-r--r--	sailccsailccsailcczeightoperatorzzerozBzninevv.tex	43	log plain
-rw-r--r--	sailccsailccsailcczeightoperatorzzerozFzninevv.tex	29	log plain
-rw-r--r--	sailccsailccsailcczeightoperatorzzerozJzJzninevv.tex	61	log plain
-rw-r--r--	sailccsailccsailcczeightoperatorzzerozfivezninevv.tex	29	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozAzninev.tex	45	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozBzninev.tex	48	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozDzninev.tex	43	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozFzninev.tex	33	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozJzJzninev.tex	42	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozQzninev.tex	35	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozUzninev.tex	33	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozfivezninev.tex	33	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozonezJzninev.tex	65	log plain
-rw-r--r--	sailccsailcczeightoperatorzzerozsixzninev.tex	34	log plain
-rw-r--r--	sailccsailmask.tex	114	log plain
-rw-r--r--	sailccsailsignextend.tex	136	log plain
-rw-r--r--	sailccsailzzeroextend.tex	136	log plain
-rw-r--r--	sailccsailzzeros.tex	79	log plain
-rw-r--r--	sailccsealCap.tex	57	log plain
-rw-r--r--	sailccsetCapBounds.tex	88	log plain
-rw-r--r--	sailccsetCapOffset.tex	62	log plain
-rw-r--r--	sailccsetCapPerms.tex	53	log plain
-rw-r--r--	sailccsetslicebits.tex	169	log plain
-rw-r--r--	sailccsetsliceint.tex	107	log plain
-rw-r--r--	sailccshiftbitsleft.tex	146	log plain
-rw-r--r--	sailccshiftbitsright.tex	147	log plain
-rw-r--r--	sailccshiftl.tex	111	log plain
-rw-r--r--	sailccshiftr.tex	111	log plain
-rw-r--r--	sailccshlint.tex	44	log plain
-rw-r--r--	sailccshrint.tex	44	log plain
-rw-r--r--	sailccsigned.tex	144	log plain
-rw-r--r--	sailccsignextend.tex	41	log plain
-rw-r--r--	sailccslice.tex	164	log plain
-rw-r--r--	sailccstringofint.tex	52	log plain
-rw-r--r--	sailccsubatom.tex	139	log plain
-rw-r--r--	sailccsubint.tex	102	log plain
-rw-r--r--	sailccsubrange.tex	156	log plain
-rw-r--r--	sailccsubvec.tex	150	log plain
-rw-r--r--	sailccsubvecint.tex	136	log plain
-rw-r--r--	sailcctobits.tex	82	log plain
-rw-r--r--	sailcctruncate.tex	213	log plain
-rw-r--r--	sailccuintsixfour.tex	37	log plain
-rw-r--r--	sailccunsigned.tex	176	log plain
-rw-r--r--	sailccvectoraccess.tex	64	log plain
-rw-r--r--	sailccvectorlength.tex	174	log plain
-rw-r--r--	sailccvectorsubrange.tex	281	log plain
-rw-r--r--	sailccvectorupdate.tex	64	log plain
-rw-r--r--	sailccvectorupdatesubrange.tex	302	log plain
-rw-r--r--	sailccxorvec.tex	151	log plain
-rw-r--r--	sailcczW.tex	32	log plain
-rw-r--r--	sailcczeightoperatorzzerozAsznine.tex	142	log plain
-rw-r--r--	sailcczeightoperatorzzerozAuznine.tex	141	log plain
-rw-r--r--	sailcczeightoperatorzzerozAznine.tex	34	log plain
-rw-r--r--	sailcczeightoperatorzzerozBznine.tex	66	log plain
-rw-r--r--	sailcczeightoperatorzzerozDznine.tex	66	log plain
-rw-r--r--	sailcczeightoperatorzzerozFznine.tex	48	log plain
-rw-r--r--	sailcczeightoperatorzzerozIsznine.tex	108	log plain
-rw-r--r--	sailcczeightoperatorzzerozIuznine.tex	109	log plain
-rw-r--r--	sailcczeightoperatorzzerozIzIznine.tex	50	log plain
-rw-r--r--	sailcczeightoperatorzzerozIzJznine.tex	80	log plain
-rw-r--r--	sailcczeightoperatorzzerozIznine.tex	71	log plain
-rw-r--r--	sailcczeightoperatorzzerozJzJznine.tex	38	log plain
-rw-r--r--	sailcczeightoperatorzzerozKzJsznine.tex	108	log plain
-rw-r--r--	sailcczeightoperatorzzerozKzJuznine.tex	109	log plain
-rw-r--r--	sailcczeightoperatorzzerozKzJznine.tex	80	log plain
-rw-r--r--	sailcczeightoperatorzzerozKzKsznine.tex	169	log plain
-rw-r--r--	sailcczeightoperatorzzerozKzKznine.tex	51	log plain
-rw-r--r--	sailcczeightoperatorzzerozKznine.tex	71	log plain
-rw-r--r--	sailcczeightoperatorzzerozQzQznine.tex	146	log plain
-rw-r--r--	sailcczeightoperatorzzerozQznine.tex	44	log plain
-rw-r--r--	sailcczeightoperatorzzerozUznine.tex	42	log plain
-rw-r--r--	sailcczeightoperatorzzerozfiveznine.tex	33	log plain
-rw-r--r--	sailcczeightoperatorzzerozonezJznine.tex	67	log plain
-rw-r--r--	sailcczeightoperatorzzerozsixznine.tex	44	log plain
-rw-r--r--	sailcczzeroextend.tex	41	log plain
-rw-r--r--	sailcczzeros.tex	70	log plain