Skip to content

runtimeverification/smir_pretty

View on GitHub ↗Related repositories →

KMIR Rust Library

active 2024-07-172025-01-31 (UTC)

Complete coverage26,691 / 26,691 hourly files (100%) · 2 absent upstream2023-08-152026-08-31 (UTC)
Events
241
Pushes
106
Pull requests
33
Issues
17
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 199 days from 2024-07-17 to 2025-01-31. Pushes: 106 total, peak 12 in a day. Pull requests: 33 total, peak 5 in a day. Issues: 17 total, peak 2 in a day. Comments: 22 total, peak 5 in a day. Stars: 1 total, peak 1 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
jberthold8242814
dkcumming7835178
sskeirik382980
mariaKt3000
gtrepta1000

Recent activity

Latest issues, pull requests and releases

  • Issue#39dkcumming2025-01-31 07:00
    Support calling smir_pretty from inside another cargo project
  • Pull request#38dkcumming2025-01-31 05:57
  • Issue comment#37jberthold2025-01-31 04:29
    Add file formating and linting
  • Pull request#31jberthold2025-01-31 02:04
  • Issue#37dkcumming2025-01-30 07:12
    Add file formating and linting
  • Pull request#33dkcumming2025-01-30 06:40
  • Pull request#34jberthold2025-01-30 04:42
  • Issue#36jberthold2025-01-30 03:24
    Improve graph generator: statement printing, colours, cluster labels
  • Issue comment#35jberthold2025-01-30 00:11
    Need information for constants
  • Issue#35gtrepta2025-01-29 23:45
    Need information for constants
  • Issue comment#34jberthold2025-01-28 00:50
    Option to generate a dot file representing the smir-json
  • Pull request#34jberthold2025-01-28 00:03
  • Pull request#33dkcumming2025-01-24 04:23
  • Issue comment#17dkcumming2025-01-23 04:49
    Added documentation for how to emit the `smir.json` for the `std-lib`
  • Issue#32dkcumming2025-01-23 04:46
    Need to handle provenance for all `RigidTy`s
  • Pull request#31dkcumming2025-01-21 12:59
  • Pull request#30dkcumming2025-01-21 08:08
  • Pull request#30dkcumming2025-01-21 06:43
  • Issue#29dkcumming2025-01-17 06:34
    Problem with statics
  • Issue#28dkcumming2025-01-17 06:32
    Problems with JSON output
  • Issue comment#27jberthold2025-01-16 04:44
    Compiler panic on programs using `to_string()`
  • Issue#27jberthold2025-01-16 04:30
    Compiler panic on programs using `to_string()`
  • Pull request#19dkcumming2025-01-16 02:16
  • Pull request#26dkcumming2025-01-15 06:10
  • Issue comment#26dkcumming2025-01-15 06:10
    Changed the expected files to remove ids

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