Skip to content
Pro
Block or report user

Report or block MrChico

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@dapphub
Block or report user

Report or block MrChico

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. K framework proof explorer & smart contract specification format

    JavaScript 54 17

  2. Dapp, Seth, Hevm, and more

    Haskell 155 38

  3. K Semantics of the Ethereum Virtual Machine (EVM)

    Makefile 229 76

734 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2019

Created a pull request in dapphub/klab that received 5 comments

Created an issue in dapphub/dapptools that received 5 comments

hevm: some MODEXP calls fail with libc++abi.dylib: terminating with uncaught exception of type int

Running any code that triggers the modexp precompile leads to: hevm bc-test --file ~/dapphub/klab/evm-semantics/tests/ethereum-tests/BlockchainTest…

5 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.