• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for hevm-0.58.0 source tarball

hevm-0.58.0/

• CHANGELOG.md
• hevm.cabal
• bench/
  • bench-perf.hs
  • bench.hs
  • contracts/
    • deposit.sol
    • erc20.sol
    • vat.sol
• cli/
  • cli.hs
• ethjet/
  • blake2.c
  • blake2.h
  • ethjet-ff.cc
  • ethjet-ff.h
  • ethjet.c
  • ethjet.h
  • tinykeccak.c
  • tinykeccak.h
• src/
  • EVM.hs
  • EVM/
    • ABI.hs
    • Assembler.hs
    • CSE.hs
    • CheatsTH.hs
    • Concrete.hs
    • ConsoleLog.hs
    • Dapp.hs
    • Effects.hs
    • Exec.hs
    • Expr.hs
    • FeeSchedule.hs
    • Fetch.hs
    • Format.hs
    • Keccak.hs
    • Merge.hs
    • Op.hs
    • Precompiled.hs
    • RLP.hs
    • SMT.hs
    • Sign.hs
    • Solidity.hs
    • Solvers.hs
    • Stepper.hs
    • SymExec.hs
    • Tracing.hs
    • Transaction.hs
    • Traversals.hs
    • Types.hs
    • UnitTest.hs
    • SMT/
      • SMTLIB.hs
      • Types.hs
• test/
  • BlockchainTests.hs
  • clitest.hs
  • rpc.hs
  • test.hs
  • EVM/
    • ConcreteExecution/
      • ConcreteExecutionTests.hs
    • Equivalence/
      • EquivalenceTests.hs
    • Expr/
      • ExprTests.hs
      • Generator.hs
    • SymExec/
      • SymExecTests.hs
    • Test/
      • BlockchainTests.hs
      • FoundryTests.hs
      • FuzzSymExec.hs
      • Utils.hs
  • scripts/
    • convert_trace_to_json.sh