Skip to content

prosyslab-classroom/cs492-program-reasoning

View on GitHub ↗Related repositories →

active 2023-08-182024-05-30 (UTC)

Complete coverage26,396 / 26,396 hourly files (100%) · 2 absent upstream2023-08-152026-08-18 (UTC)
Events
476
Pushes
33
Pull requests
11
Issues
309
Stars
11
Forks
4

Activity over time

Daily event counts in the loaded window

Line chart, 287 days from 2023-08-18 to 2024-05-30. Pushes: 33 total, peak 3 in a day. Pull requests: 11 total, peak 7 in a day. Issues: 309 total, peak 207 in a day. Comments: 108 total, peak 8 in a day. Stars: 11 total, peak 2 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
KihongHeo27332519
goodtaeeun711035
08kmc09270216
GetRusty190111
githubqookie12004
frogfrog211002
uk-jeong9004
LMMilliken8003
bscho995001
cwlo2F5004
seo-rii4012
mindol4002
quanxi13000
ahn98072001
spearo22010
RobertoCornacchiari1001
yeonhee-ryou1001
zackcglee1010
HoseongLee1001
doit-man1001

Recent activity

Latest issues, pull requests and releases

  • Issue#9KihongHeo2024-05-30 23:51
    [Question][Hw0_2] Problem 4
  • Issue#8KihongHeo2024-05-30 23:51
    [Question][Hw0-2] a minor typo
  • Issue#7KihongHeo2024-05-30 23:51
    [Question][Lecture0] I think there is a typo in lecture0 slide
  • Issue#6KihongHeo2024-05-30 23:51
    [Question] Possible typos in lecture0 slides
  • Issue#5KihongHeo2024-05-30 23:51
    [Question][Hw0]Cannot connect to the KCLOUD VM, error shows the connection times-out.
  • Issue#4KihongHeo2024-05-30 23:51
    [Announcement] Homework 0 is out
  • Issue#2KihongHeo2024-05-30 23:51
    [Announcement] Environment setup for programming assignments
  • Issue#1KihongHeo2024-05-30 23:51
    [Announcement] Welcome & Setup
  • Issue#45KihongHeo2024-05-30 23:51
    [Question][Hw2] Semantics of programs
  • Issue#44KihongHeo2024-05-30 23:51
    [Question][Hw2] Need more explanation on the program equivalence checker
  • Issue#43KihongHeo2024-05-30 23:51
    [Announcement] Homework 2 is out
  • Issue#37KihongHeo2024-05-30 23:51
    [Announcement] Homework 1 is regraded
  • Issue#35KihongHeo2024-05-30 23:51
    [Question][Hw1] Throwing Invalid Argument error for all comparison of boolean operands
  • Issue#33KihongHeo2024-05-30 23:51
    [Announcement] Homework 1 is graded
  • Issue#28KihongHeo2024-05-30 23:51
    [Announcement] Homework 0-3 is graded
  • Issue#27KihongHeo2024-05-30 23:51
    [Question][Hw1] How can I get the argument of function call?
  • Issue#26KihongHeo2024-05-30 23:51
    [Question][Hw1] Boolean as i1: is boolean permitted for operands of arithmetic & comparison operators?
  • Issue#25KihongHeo2024-05-30 23:51
    [Question][Hw1] meaning of eval function
  • Issue#24KihongHeo2024-05-30 23:51
    [Question][Hw1] Clarifying the semantics of arithmetic and comparison operators
  • Issue#23KihongHeo2024-05-30 23:51
    [Question][Hw1] Can I change signature of execute_instr?
  • Issue#22KihongHeo2024-05-30 23:51
    [Question][Hw1] How can we submit and check it?
  • Issue#21KihongHeo2024-05-30 23:51
    [Question][Hw1] Abount undef value of LLVM-IR
  • Issue#19KihongHeo2024-05-30 23:51
    [Question][Hw1] Internal Structure of an Instruction
  • Issue#18KihongHeo2024-05-30 23:51
    [Question][Hw1] Why there is no input function in domain.ml?
  • Issue#20KihongHeo2024-05-30 23:51
    [Question][Hw1] What does Value.t represent?

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