Searched defs:LD (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/step/
H A Driscv_stepScript.sml879 val LD = load [[``^archbase <> 0w``, aligned_d]] "LD" value
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/
H A Dcheri_stepScript.sml642 val LD = lev "LD" value
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml527 val LD = EVL loadDoubleword ``dfn'LD (base, rt, offset) ^st`` value
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sig
H A Dmips.sml
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig
H A Driscv.sml
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 120 milliseconds