Block or report user

Report or block anvacaru

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Online-Notes

    Web app to store notes


  2. RE2DFA

    Regex to DFA converter in javascript


  3. verified-smart-contracts

    Forked from runtimeverification/verified-smart-contracts

    Smart contracts which are formally verified


  4. evm-semantics

    Forked from kframework/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)


  5. k

    Forked from kframework/k

    K Framework Tools 5.0


13 contributions in the last year

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

Contribution activity

January 2019

Created a pull request in runtimeverification/verified-smart-contracts that received 4 comments


What Tweaked checkSignatures-thres-1-sig-v0: replaced the old signature with a valid one added a macro for the account id named new_acct_id Add…

+128 −12 4 comments

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