- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
Ltac solveInstr :=
unfold mov, ldr,
str, cmp,
jnz, jmp, halt, fail,
hvc, run, yield, share, lend, donate,
retrieve, relinquish, reclaim, send, wait,
option_state_unpack, unpack_hvc_result_normal, unpack_hvc_result_yield,
get_reg, update_reg, update_incr_PC, get_memory, update_memory;
repeat case_match;
subst; eauto.
JloJle4Ka # 0
Hijikata # 0 ⇈
Грустное, там в итоге разворачивается цель невъебенного объема, но по-другому это и не сделать, к сожалению
bormand # 0 ⇈
Или это и есть самый нижний уровень?
Hijikata # 0 ⇈
Hijikata # 0 ⇈
bormand # 0 ⇈
(Я сварщица не настоящая, только первый том SF дочитала и немножко от второго).
Hijikata # 0 ⇈
Hijikata # 0 ⇈
bormand # 0
MAKAKA # 0
bormand # 0 ⇈
bormand # 0
Ого, гиперколл какой-нибудь?
Hijikata # 0 ⇈
nuTepcKuu_nemyx # 0
bormand # 0 ⇈