Searched defs:log (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sig422 val log: ((Nat.nat * string) list) ref value
H A Driscv.sml1607 val log = ref ([]): ((Nat.nat * string) list) ref value
[all...]

Completed in 82 milliseconds