LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

kontrol

karbyshev/kontrol

OtherEmerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
9mo ago

Recent commits

Latest commits.

  • Parse and apply Solidity Natspec preconditions during execution (#1074)
    1a88333Andrei Văcaru9mo ago
  • Update dependency: deps/kevm_release (#1073)
    924007frv-jenkins10mo ago
  • Update dependency: deps/kevm_release (#1071)
    198c87drv-jenkins10mo ago
  • Remove tracing functionality (#1069)
    58b2cccAndrei Văcaru10mo ago
  • Update dependency: deps/kevm_release (#1064)
    ac67516rv-jenkins10mo ago
Show failing output in setUp and constructor (#1068)
82cecceAndrei Văcaru10mo ago
  • Set `run-constructor` to true in the default `kontrol.toml` (#1067)
    c7954eclucasmt10mo ago
  • fix K mock cheatcode soundness with [owise] (#1061)
    8b23275Julian Kuners11mo ago

    • Top contributors

    Builders behind this project.

    rv-jenkins
    265 commits
    rv-auditor
    116 commits
    anvacaru
    76 commits
    palinatolmach
    63 commits
    ehildenb
    30 commits
    nwatson22
    27 commits
    FWBlueWizard
    24 commits
    tothtamas28
    23 commits