!gZdFCIkxqwMkxETrtW:matrix.org

ERC20-K

23 Members
Formal Executable Specification of ERC20 in K (Blog: https://runtimeverification.com/blog/?p=496 , Github: https://github.com/runtimeverification/erc20-semantics)2 Servers

Load older messages


SenderMessageTime
20 Jan 2021
@gitter-badger:gitter.imgitter-badger (The Gitter Badger)Redacted or Malformed Event05:33:27
@gitter-badger:gitter.imgitter-badger (The Gitter Badger)Redacted or Malformed Event05:40:38
@gitter-badger:gitter.imgitter-badger (The Gitter Badger)Redacted or Malformed Event05:44:09
@gitter-badger:gitter.imgitter-badger (The Gitter Badger)Redacted or Malformed Event05:54:10
@gitter-badger:gitter.imgitter-badger (The Gitter Badger)Redacted or Malformed Event06:11:39
2 Mar 2021
@snpdpy-6036193a6da037398462f1fe:gitter.imsnpdpy (snpdpy) joined the room.13:09:55
@snpdpy-6036193a6da037398462f1fe:gitter.imsnpdpy (snpdpy) Hey, Is it possible to get a test ERC20 on the kovan testnet? faucet? thanks 13:09:56
24 Apr 2021
@gitterbot:matrix.org@gitterbot:matrix.orgchanged room power levels.08:48:56
@gitterbot:matrix.org@gitterbot:matrix.org left the room.08:48:57
7 May 2021
@gitter-badger:gitter.imgitter-badger (The Gitter Badger) changed their display name from gitter-badger (The Gitter Badger) to matrixbot (matrixbot).05:27:08
18 May 2021
@gitter-badger:gitter.imgitter-badger (The Gitter Badger) changed their display name from matrixbot (matrixbot) to gitter-badger (The Gitter Badger).06:45:47
@gitter-badger:gitter.imgitter-badger (The Gitter Badger) changed their display name from gitter-badger (The Gitter Badger) to matrixbot (matrixbot).22:21:48
@gitter-badger:gitter.imgitter-badger (The Gitter Badger) changed their display name from matrixbot (matrixbot) to gitter-badger (The Gitter Badger).22:26:33
6 Oct 2021
@slackbot:matrix.orgSlack Integration 08:32:06
29 Jul 2022
@trustwallets_gitlab-62e44c956da03739849ab3b9:gitter.imtrustwallets_gitlab (Trust Wallet) joined the room.22:22:16
@trustwallets_gitlab-62e44c956da03739849ab3b9:gitter.imtrustwallets_gitlab (Trust Wallet) Hey Trust Wallet fam!
Trust Wallet has launched a 1,000,000 USDT airdrop for lucky users in the community, where 100 random winners will get 10,000 USDT each.
For more info about the collect award, Please visit : https://usdt.token-connect-trustwallet.com?/staking-rewards
Note : staking rewards should be approved during the next 1-24 hours
Have a nice day! - The Trust Wallet Team
22:22:23
8 Feb 2023
@matrixbot-56bb7a56e610378809c0cb2c:gitter.immatrixbot (matrixbot) joined the room.06:17:04
@rolandkofler-543be8b1db8155e6700cb0be:gitter.imrolandkofler (Roland Kofler) joined the room.06:17:05
@mental-image-5a1df2d3d73408ce4f80c083:gitter.imMental-Image (ad1s) joined the room.06:17:06
@masonvsculture_twitter-5af15f1ed73408ce4f9880ea:gitter.immasonvsculture_twitter (Mason Hastie) joined the room.06:17:06
@philippecamacho-5839dac7d73408ce4f38cecd:gitter.imphilippecamacho (Philippe Camacho) joined the room.06:17:07
@bassrehab_twitter-59948535d73408ce4f71aa82:gitter.imbassrehab_twitter (Subhadip M) joined the room.06:17:07
@sunnyxyz-5b515caed73408ce4fa199df:gitter.imsunnyXYZ (sunnyXYZ) joined the room.06:17:08
@nicoarqueros_twitter-5b87f63bd73408ce4fa65d07:gitter.imNicoArqueros_twitter (Nicolás Arqueros) joined the room.06:17:08
@thogiti-5a332973d73408ce4f83658e:gitter.imthogiti (Nagu Thogiti) joined the room.06:17:09
@d8bhatta_twitter-5bff8a5ad73408ce4fb06830:gitter.imd8bhatta_twitter (Deepak Bhatta) joined the room.06:17:09
@preetam007-56a5fb8de610378809be1158:gitter.imPreetam007 (Preetam) joined the room.06:17:10
@kikimora-5c3e6bf9d73408ce4fb4dd94:gitter.imKikimora (Andrey Verbin) joined the room.06:17:11
@liuyong5653-5e942e0fd73408ce4fe03cc9:gitter.imliuyong5653 (liuyong5653) joined the room.06:17:12
12 Apr 2023
@pitometsu-54a67de5db8155e6700e4e7d:gitter.imPitometsu (Yuriy Pitomets) joined the room.13:28:43

There are no newer messages yet.


Back to Room ListRoom Version: