Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / kaist-cp/cs220 issues and pull requests

#379 - [Assignment #5] finding good loop invariant

Issue - State: closed - Opened by brongs2 4 months ago - 5 comments
Labels: question

#377 - [Assignment 5] How can I found the counterexample of my code?

Issue - State: closed - Opened by leedonghyun222 4 months ago - 4 comments
Labels: question

#377 - [Assignment 5] How can I found the counterexample of my code?

Issue - State: closed - Opened by leedonghyun222 4 months ago - 4 comments
Labels: question

#376 - [Assignment #4] Pest version deprecated

Issue - State: closed - Opened by Perspectxve 4 months ago - 1 comment
Labels: question

#376 - [Assignment #4] Pest version deprecated

Issue - State: closed - Opened by Perspectxve 4 months ago - 1 comment
Labels: question

#375 - About integer overflow in assignment02, fn choose

Issue - State: closed - Opened by ShinDongHeon 4 months ago - 2 comments
Labels: question

#375 - About integer overflow in assignment02, fn choose

Issue - State: closed - Opened by ShinDongHeon 4 months ago - 2 comments
Labels: question

#374 - [Assignment 1] Trivial problem in /scripts/submit.sh

Issue - State: closed - Opened by GianniLee 5 months ago - 1 comment
Labels: question

#374 - [Assignment 1] Trivial problem in /scripts/submit.sh

Issue - State: closed - Opened by GianniLee 5 months ago - 1 comment
Labels: question

#373 - [Attendance] 09/11 출석 관련 질문

Issue - State: closed - Opened by choi-wooyoung 5 months ago - 1 comment
Labels: question

#373 - [Attendance] 09/11 출석 관련 질문

Issue - State: closed - Opened by choi-wooyoung 5 months ago - 1 comment
Labels: question

#372 - [Assignment 4] Is it okay to make and use a function other than filling in the todo?

Issue - State: closed - Opened by Junhajang-0562 5 months ago - 1 comment
Labels: question

#372 - [Assignment 4] Is it okay to make and use a function other than filling in the todo?

Issue - State: closed - Opened by Junhajang-0562 5 months ago - 1 comment
Labels: question

#370 - Nullification of submissions for Assignment 9.

Issue - State: open - Opened by Jaewookim08 5 months ago
Labels: announcement

#370 - Nullification of submissions for Assignment 9.

Issue - State: closed - Opened by Jaewookim08 5 months ago
Labels: announcement

#369 - It looks like gg isn't working

Issue - State: closed - Opened by daehwan5024 5 months ago - 6 comments
Labels: question

#369 - It looks like gg isn't working

Issue - State: closed - Opened by daehwan5024 5 months ago - 6 comments
Labels: question

#368 - 9/11 출석에 관련한 문의

Issue - State: closed - Opened by zzupi06 5 months ago - 1 comment

#368 - 9/11 출석에 관련한 문의

Issue - State: closed - Opened by zzupi06 5 months ago - 1 comment

#367 - Update: New Office Hour Policy

Issue - State: closed - Opened by Jaewookim08 5 months ago
Labels: announcement

#366 - Announcement on Excused Absences.

Issue - State: open - Opened by Jaewookim08 5 months ago
Labels: announcement

#366 - Announcement on Excused Absences.

Issue - State: closed - Opened by Jaewookim08 5 months ago
Labels: announcement

#365 - Nullification of Assignment Submissions and Current Issues.

Issue - State: closed - Opened by Lee-Janggun 5 months ago - 2 comments
Labels: assignment, announcement

#364 - [Assignment #5] Error when submitting Assignment 5?

Issue - State: closed - Opened by Ahmadsm2005 5 months ago - 4 comments

#364 - [Assignment #5] Error when submitting Assignment 5?

Issue - State: closed - Opened by Ahmadsm2005 5 months ago - 4 comments

#363 - [Assignment 01] Problem with run submit.sh. "zip: command not found"

Issue - State: closed - Opened by Akais24 5 months ago - 6 comments
Labels: question

#362 - [Assignment 1] (Problem; auto grading does not work)

Issue - State: closed - Opened by Jeong-jin-Han 5 months ago - 2 comments
Labels: question

#362 - [Assignment 1] (Problem; auto grading does not work)

Issue - State: closed - Opened by Jeong-jin-Han 5 months ago - 2 comments
Labels: question

#361 - Question about resetting password.

Issue - State: closed - Opened by s8ngyu 5 months ago - 32 comments
Labels: question

#361 - Question about resetting password.

Issue - State: closed - Opened by s8ngyu 5 months ago - 32 comments
Labels: question

#360 - [Assignment 10?] Cargo clippy rejects the template of assignment 10

Issue - State: closed - Opened by ICubE- 5 months ago - 3 comments
Labels: question

#360 - [Assignment 10?] Cargo clippy rejects the template of assignment 10

Issue - State: closed - Opened by ICubE- 5 months ago - 3 comments
Labels: question

#359 - README: Typo "CS492(uarch)" -> "CS220"

Pull Request - State: closed - Opened by ldmsys 5 months ago - 2 comments

#359 - README: Typo "CS492(uarch)" -> "CS220"

Pull Request - State: closed - Opened by ldmsys 5 months ago - 2 comments

#358 - Fix link in README

Pull Request - State: closed - Opened by seo-rii 5 months ago

#358 - Fix link in README

Pull Request - State: closed - Opened by seo-rii 5 months ago

#356 - [Assignment 13] Parallelism (due: 12/20, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago - 2 comments
Labels: assignment, announcement

#356 - [Assignment 13] Parallelism (due: 12/20, 23:59:59 (KST))

Issue - State: open - Opened by Lee-Janggun 5 months ago - 2 comments
Labels: assignment, announcement

#355 - [Assignment 12] Concurrency (due: 12/20, 23:59:59 (KST))

Issue - State: open - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#355 - [Assignment 12] Concurrency (due: 12/20, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#354 - [Assignment 11] Smart Pointers (due: 12/06, 23:59:59 (KST))

Issue - State: open - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#354 - [Assignment 11] Smart Pointers (due: 12/06, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#353 - [Assignment 10] Iterators (2/2) (due: 11/29, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#352 - [Assignment 9] Iterators (1/2) (due: 11/29, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago - 2 comments
Labels: assignment, announcement

#351 - [Assignment 8] First-class functions (due: 11/22, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#351 - [Assignment 8] First-class functions (due: 11/22, 23:59:59 (KST))

Issue - State: open - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#350 - [Assignment 7] Mastering advanced types (2/2) (due: 11/08, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#349 - [Assignment 6] Mastering advanced types (1/2) (due: 10/18, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#348 - [Assignment 5] Program correctness and logic (due: 10/11, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago - 3 comments
Labels: assignment, announcement

#348 - [Assignment 5] Program correctness and logic (due: 10/11, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago - 3 comments
Labels: assignment, announcement

#347 - [Assignment 4] Calculator (due: 10/11, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#347 - [Assignment 4] Calculator (due: 10/11, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#346 - [Assignment 3] Mastering common programming concepts (2/2) (due: 10/04, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago - 4 comments
Labels: assignment, announcement

#345 - [Assignment 2] Mastering common programming concepts (1/2) (due: 10/04, 23:59:59 (KST))

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#344 - [Assignment 1] Preparing for Rust development (due: 10/04)

Issue - State: closed - Opened by Lee-Janggun 5 months ago
Labels: assignment, announcement

#343 - Attendance quiz (2024 Fall)

Issue - State: closed - Opened by jeehoonkang 6 months ago - 3 comments
Labels: announcement

#342 - Canceled class on 2024/09/04 (Wed)

Issue - State: closed - Opened by jeehoonkang 6 months ago

#342 - Canceled class on 2024/09/04 (Wed)

Issue - State: closed - Opened by jeehoonkang 6 months ago

#280 - Previous exam problems

Issue - State: open - Opened by jirheee over 1 year ago - 9 comments
Labels: exam

#100 - [Homework 5] Proved when getting sufficient steps

Issue - State: closed - Opened by Blackmint1120 over 2 years ago - 1 comment

#99 - [Homework 5] Can we use some code in this announced link?

Issue - State: closed - Opened by tlsdud020918 over 2 years ago - 1 comment

#98 - [Homework 4] How to convert None to Err (Option to Result)

Issue - State: closed - Opened by znunc over 2 years ago - 4 comments

#97 - [HW6] Code works locally, but gg server submission times out

Issue - State: closed - Opened by m-spitfire over 2 years ago - 3 comments

#96 - [ Homework 5 ] I think something is wrong with ensure?

Issue - State: closed - Opened by AlijonovMukhammaddiyor over 2 years ago - 1 comment

#95 - [Homework 5] The reason for existing multiple postconditions

Issue - State: closed - Opened by dripcharacter over 2 years ago - 1 comment

#94 - [Homework 5] What should we return if number is not found?

Issue - State: closed - Opened by AlijonovMukhammaddiyor over 2 years ago - 2 comments

#93 - [HW4] What should we return if undefined variable is called

Issue - State: closed - Opened by Jihwan-Yoon over 2 years ago - 1 comment

#92 - [Homework 4] Prec_climber

Issue - State: closed - Opened by intellkim over 2 years ago - 1 comment

#91 - [Homework 4] error in site

Issue - State: closed - Opened by intellkim over 2 years ago - 2 comments

#90 - HW#4 ) Compile error while running test

Issue - State: closed - Opened by quanxi1 over 2 years ago - 4 comments

#89 - [Assignment 4] Should we handle overflow when calculating?

Issue - State: closed - Opened by blziiiin over 2 years ago - 1 comment

#88 - [Homework4] Should we consider command error?

Issue - State: closed - Opened by 2jungg over 2 years ago - 1 comment

#87 - [Assignment 4] How to use SyntaxParser?

Issue - State: closed - Opened by blziiiin over 2 years ago - 1 comment

#86 - Invariant condition in Euclidean Division Code

Issue - State: closed - Opened by blziiiin over 2 years ago - 2 comments

#85 - [Homework 4] PrecClimber error when submitting

Issue - State: closed - Opened by nargizas over 2 years ago - 5 comments

#84 - HW4) Do I need to setup the pest?

Issue - State: closed - Opened by legojeon over 2 years ago - 5 comments

#83 - [Homework 5] About the postcondition

Issue - State: closed - Opened by yj-han over 2 years ago - 2 comments

#82 - [Homework 5] Error message

Issue - State: closed - Opened by nargizas over 2 years ago - 4 comments

#80 - What if the cargo clean doesn't work?

Issue - State: closed - Opened by Kimsungwook123 over 2 years ago - 2 comments

#79 - [Homework 4] Can we define custom helper functions ?

Issue - State: closed - Opened by AlijonovMukhammaddiyor over 2 years ago - 1 comment

#78 - could you please upload today's class video?

Issue - State: closed - Opened by hoosong0235 over 2 years ago - 1 comment

#77 - [Homework 5] Prover result is: Timeout (5.00s) error

Issue - State: closed - Opened by junsooo over 2 years ago - 3 comments

#76 - Assignment 01, 02, 03 deadline extended

Issue - State: closed - Opened by jeehoonkang over 2 years ago
Labels: announcement

#75 - [Homework 5] How to resolve expression is type() but int expected error

Issue - State: closed - Opened by theonlyrealALEX over 2 years ago - 3 comments

#74 - [Homework 5] handling 2nd ensures condition

Issue - State: closed - Opened by KAIST16-Ryu over 2 years ago - 1 comment

#73 - [Homework 5] not legit submission on gg.kaist.ac.kr

Issue - State: closed - Opened by junsooo over 2 years ago - 4 comments

#72 - Do we have no class on 10/4?

Issue - State: closed - Opened by tlsdud020918 over 2 years ago - 1 comment

#71 - [Homework 5] Time Complexity

Issue - State: closed - Opened by idealyhn over 2 years ago - 2 comments

#70 - Why3: Difference between `use` and `use import`

Issue - State: closed - Opened by m-spitfire over 2 years ago - 3 comments

#69 - [Homework 5] Function signature

Issue - State: closed - Opened by m-spitfire over 2 years ago - 1 comment

#68 - question regarding today's lecture

Issue - State: closed - Opened by quanxi1 over 2 years ago - 3 comments

#67 - [HW6] What to return in next()

Issue - State: closed - Opened by choejms over 2 years ago

#66 - Minor expression complains from compiler

Issue - State: closed - Opened by songminwoo1 over 2 years ago - 5 comments

#65 - Code for testing calculator in CLI (`bin/calc.rs`)

Issue - State: closed - Opened by m-spitfire over 2 years ago - 1 comment

#64 - [Homework 3] Error when testing fn organize

Issue - State: closed - Opened by riskyben over 2 years ago - 3 comments

#63 - [Homework 6] Mastering advanced types (1/2) (due: 2022-10-14 23:59:59)

Issue - State: closed - Opened by minseongg over 2 years ago - 5 comments
Labels: assignment