- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 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 05.06.2021 02:16 # 0
Hijikata 05.06.2021 02:58 # +2
Грустное, там в итоге разворачивается цель невъебенного объема, но по-другому это и не сделать, к сожалению
bormand 05.06.2021 03:06 # +1
Или это и есть самый нижний уровень?
Hijikata 05.06.2021 03:11 # +1
Hijikata 05.06.2021 03:12 # +1
bormand 05.06.2021 03:14 # +1
(Я сварщица не настоящая, только первый том SF дочитала и немножко от второго).
Hijikata 05.06.2021 03:22 # +1
Hijikata 05.06.2021 03:30 # +1
bormand 05.06.2021 02:41 # +1
MAKAKA 05.06.2021 02:42 # 0
bormand 05.06.2021 02:49 # +2
bormand 05.06.2021 02:50 # 0
Ого, гиперколл какой-нибудь?
Hijikata 05.06.2021 03:00 # +1
nuTepcKuu_nemyx 05.06.2021 13:18 # 0
bormand 05.06.2021 15:54 # +3