I hereby claim:
- I am mhhf on github.
- I am mhhf (https://keybase.io/mhhf) on keybase.
- I have a public key whose fingerprint is 3653 AAC5 C72B 2295 0434 7989 7841 526D 2F42 9C8C
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
requires "../rules.k" | |
requires "../bin_runtime.k" | |
module 0A6A1BB57DF4B6950C126D3D10AF302A7CA8A395FA7E5CB2A6CB8BCB99573285 | |
imports ETHEREUM-SIMULATION | |
imports EVM | |
imports RULES | |
imports BIN_RUNTIME | |
// Mom_create |
requires "../rules.k" | |
requires "../bin_runtime.k" | |
module F87CBA36744EF68A848546773B864B33F68180DE212454D6D855448961B64AD6 | |
imports ETHEREUM-SIMULATION | |
imports EVM | |
imports RULES | |
imports BIN_RUNTIME | |
// Mom_create |
import XMonad | |
import XMonad.Hooks.DynamicLog | |
import XMonad.Hooks.ManageDocks | |
import XMonad.Util.Run(spawnPipe) | |
import XMonad.Util.EZConfig(additionalKeys) | |
import XMonad.Layout.NoBorders | |
import XMonad.Layout.Gaps | |
import XMonad.Layout.Spacing | |
import XMonad.Hooks.EwmhDesktops | |
import XMonad.Layout.ThreeColumns |
HEAD DELTAC | |
├ 0 ╭ ((((VCallDepth < 1024) AND ((Ward ==K 1) AND (notBool_((Tag ==K 0)) AND ((Art_iu <= pow255) AND ( | |
│ │ │ ((Rate_i * Art_iu) <= pow255) AND (((minSInt256 <= Rate_i) AND (Rate_i <= maxSInt256)) AND (((0 <= ( | |
│ │ │ ((Rate_i * Art_iu) / #Ray) * Tag)) AND ((((Rate_i * Art_iu) / #Ray) * Tag) <= maxUInt256)) AND (((0 | |
│ │ │ <= (Art_i - Art_iu)) AND ((Art_i - Art_iu) <= maxUInt256)) AND (((0 <= (Gem_a + ((((Art_iu * Rate_i) | |
│ │ │ / #Ray) * Tag) / #Ray))) AND ((Gem_a + ((((Art_iu * Rate_i) / #Ray) * Tag) / #Ray)) <= maxUInt256)) | |
│ │ |
├ 0 ╭ ((((May ==K 1) AND ((Live ==K 1) AND ((VCallDepth < 1024) AND (((0 <= (Base + Duty)) AND ((Base + | |
│ │ │ Duty) <= maxUInt256)) AND (((0 <= (TIME - Rho)) AND ((TIME - Rho) <= maxUInt256)) AND (((0 <= (#rpo | |
│ │ │ w(_,_,_,_)_RULES(#Ray, (Base + Duty), (TIME - Rho), #Ray) * Rate)) AND ((#rpow(_,_,_,_)_RULES(#Ray, | |
│ │ │ (Base + Duty), (TIME - Rho), #Ray) * Rate) <= maxUInt256)) AND (((0 <= ((#rpow(_,_,_,_)_RULES(#Ray, | |
│ │ │ (Base + Duty), (TIME - Rho), #Ray) * Rate) / #Ray)) AND (((#rpow(_,_,_,_)_RULES(#Ray, (Base + Duty), | |
│ │ │ (TIME - Rho), #Ray) * Rate) / #Ray) <= maxUInt256)) AND (((0 <= (((#rpow(_,_,_,_)_RULES(#Ray, (Base | |
│ │ │ + Duty), (TIME - Rho), #Ray) * Rate) / #Ray) - Rate)) AND ((((#rpow(_,_,_,_)_RULES(#Ray, (Base + Du | |
│ │ │ ty), (TIME - Rh |
HEAD DELTAC | |
[38;5;255m [39m | |
[38;5;244m├ [39m0 [38;5;244m╭ ((((May ==K 1) AND ((Live ==K 1) AND ((VCallDepth < 1024) AND (((0 <= (Base + Duty)) AND ((Base + [39m | |
[38;5;244m│ [39m[38;5;244m│ [39m [38;5;244m│ Duty) <= maxUInt256)) AND (((0 <= (TIME - Rho)) AND ((TIME - Rho) <= maxUInt256)) AND (((0 <= (#rpo [39m | |
[38;5;244m│ [39m[38;5;244m│ [39m [38;5;244m│ w(_,_,_,_)_RULES(#Ray, (Base + Duty), (TIME - Rho), #Ray) * Rate)) AND ((#rpow(_,_,_,_)_RULES(#Ray, [39m | |
[38;5;244m│ [39m[38;5;244m│ [39m [38;5;244m│ (Base + Duty), (TIME - Rho), #Ray) * Rate) <= maxUInt256)) AND (((0 <= ((#rpow(_,_,_,_)_RULES(#Ray, [39m |
[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false," |
{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"a |
[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false," |