光阴冢

We make choices and life has a way of making us pay for them.

VHDL Semantics

Jul 7, 2020  

Questions

  1. What lemma upd_eventually_cofinite for?
    1. finite
  2. What does .> mean?
    1. map
  3. What is trans_raw ?
    1. raw transactions
  4. Hoare logic?
    1. Much to learn…
    2. SF sections