1. Список говнокодов пользователя Hijikata

    Всего: 2

  2. Куча / Говнокод #27455

    +1

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 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.

    Hijikata, 05 Июня 2021

    Комментарии (15)

  3. Куча / Говнокод #27417

    0

    1. 1
    Definition WordUpperBound := 65536.

    Hijikata, 11 Мая 2021

    Комментарии (20)