Skip to content

runtimeverification/ercx-vscode

View on GitHub ↗Related repositories →

VSCode support for ERCx

active 2023-10-132024-05-24 (UTC)

Partial coverage19,298 / 24,866 hourly files (78%) · 2 absent upstream · 5,565 failed, retryable2023-10-112026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
52
Pushes
10
Pull requests
6
Issues
16
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 225 days from 2023-10-13 to 2024-05-24. Pushes: 10 total, peak 7 in a day. Pull requests: 6 total, peak 2 in a day. Issues: 16 total, peak 6 in a day. Comments: 7 total, peak 3 in a day. Stars: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
yiyi-wang-rv16721
jinxinglim8004
radumereuta7311
yfalcone4000
dependabot[bot]4031
asavienko2000
ACassimiro1000

Recent activity

Latest issues, pull requests and releases

  • Issue comment#22jinxinglim2024-05-24 02:10
    Remix plugin
  • Issue#22jinxinglim2024-05-24 02:10
    Remix plugin
  • Issue comment#8jinxinglim2024-05-24 01:10
    Tests appear as still running even after closing and reopening VSCode
  • Issue#8jinxinglim2024-05-24 01:10
    Tests appear as still running even after closing and reopening VSCode
  • Issue comment#30jinxinglim2024-05-24 01:07
    Integrate feedback
  • Issue#30jinxinglim2024-05-24 01:07
    Integrate feedback
  • Issue#40yiyi-wang-rv2024-04-09 01:11
    Investigate the 500 internal error
  • Issue comment#35dependabot[bot]2024-03-16 16:13
    Bump follow-redirects from 1.15.2 to 1.15.4
  • Pull request#35dependabot[bot]2024-03-16 16:13
  • Pull request#39dependabot[bot]2024-03-16 16:13
  • Issue comment#12jinxinglim2024-03-08 08:21
    Fix issue with mac / safari
  • Issue#12jinxinglim2024-03-08 08:21
    Fix issue with mac / safari
  • Releasegithub-actions[bot]2024-02-23 19:30
    0.0.13
  • Releasegithub-actions[bot]2024-02-23 12:48
    0.0.13
  • Issue#36yiyi-wang-rv2024-02-23 12:46
    Support ERC721 test suite. Switch to use Standard and Security levels.
  • Pull request#37yiyi-wang-rv2024-02-23 12:46
  • Pull request#37yiyi-wang-rv2024-02-13 02:20
  • Issue#36yiyi-wang-rv2024-02-13 02:14
    Support ERC721 test suite. Switch to use Standard and Security levels.
  • Pull request#35dependabot[bot]2024-01-11 00:05
  • Issue#28ACassimiro2023-12-08 14:41
    Tests on the extension run indefinitely
  • Issue#26radumereuta2023-12-04 09:29
    Add 1155 standard
  • Pull request#18radumereuta2023-11-04 21:04
  • Issue comment#12radumereuta2023-10-19 16:08
    Fix issue with mac / safari
  • Issue#15radumereuta2023-10-19 15:56
    Handle the case where the Solidify file has errors
  • Issue#11yfalcone2023-10-13 19:47
    Shall we rename the extension to include Solidity in the title?

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.