kmc7468/cs220
1
0
Fork 0
mirror of https://github.com/kmc7468/cs220.git synced 2025-12-14 22:18:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
150 Commits 1 Branch 0 Tags
8674dbaa1c6d63ee773f68625e27f46f2e0efae9
Commit Graph

30 Commits

Author SHA1 Message Date
woojin
81edf9e381 modify grade script 2023-09-15 23:24:02 +09:00
AnHaechan
1e07909175 submission script for why3 assignment 2023-08-29 11:45:24 +09:00
woojin
ae4556d087 modify submission file 2023-08-28 17:16:34 +09:00
woojin
2b19548cb0 edit submit.sh file 2023-08-28 17:16:34 +09:00
AnHaechan
b70b423aba grading script small fix 2023-08-27 05:52:51 +00:00
woojin
15b8c714dc mmodify readme, check arguments 2023-08-27 09:39:31 +09:00
woojin
6858e18da2 grade scripts 2023-08-26 00:30:22 +09:00
woojin
20a892a264 apply comments 2023-08-21 19:43:04 +09:00
Haechan An
96cf8f3bf1 Merge branch 'main' into 'main' 
assignment 1~5: fixes

See merge request kaist-cp-class/cs220-private!18
 2023-08-21 08:15:05 +00:00
AnHaechan
d28bca2b18 assignment 1~5: fixes 
- assignment05/pascal.mlw: lowered the difficulty (one more invariant given)
- assignment02, 03: minor fixes & divide into sub-problems
 2023-08-21 08:14:05 +00:00
Haechan An
45325b0ce5 Merge branch 'main' into 'main' 
minor format & typo fixes

See merge request kaist-cp-class/cs220-private!16
 2023-08-21 11:43:04 +09:00
AnHaechan
24dc47a7cf minor format & typo fixes 2023-08-21 02:03:23 +00:00
Haechan An
9c004d0fc7 Merge branch 'main' into 'main' 
# Conflicts:
#   scripts/grade-12.sh
 2023-08-21 01:51:13 +00:00
AnHaechan
ce3051cbd7 grading script for 12 fixed 2023-08-19 16:53:31 +00:00
jungin.rhee
ee1f7d0b8f assignment 6-7-8-10 2023-08-18 16:08:13 +00:00
woojin
b0ee36a9ff add 8, 11, 12 2023-08-18 22:10:35 +09:00
Seungmin Jeon
a44b420ea3 Add assignments 12 and 13 2022-12-04 15:37:34 +09:00
Minseong Jang
2ecc63770e Add assignment 11 2022-11-22 23:29:53 +09:00
Seungmin Jeon
a56ee76d58 Add assignment 10 2022-11-15 00:10:00 +09:00
Seungmin Jeon
12e9658d67 Add assignment 09 2022-11-12 01:07:53 +09:00
Minseong Jang
871110175b Add assignment 8 2022-10-20 09:30:00 +09:00
Minseong Jang
f4128fd388 Add assignment 7 2022-10-19 17:09:23 +09:00
Seungmin Jeon
cd4c612fb1 grader04 also uses the linter of grader-util 2022-09-25 15:39:33 +09:00
Jaehwang Jung
7913e6774e grader updates from CS431 (#11) 
* If any of linters fail, don't run the tests.
* If build fails, echo the error message to stderr.
* Fix sanitizer options.
* Don't use colored output (it messes up gg log).
* $@ → "$@"
* $@ → $* in string
 2022-09-25 15:27:38 +09:00
Minseong Jang
35aee8ecd4 Add assignment 6 2022-09-23 11:34:55 +09:00
Seungmin Jeon
8e5abc7048 Add assignment 4 2022-09-15 22:03:33 +09:00
Minseong Jang
27f0b78a2c Add assignment 3 2022-09-14 02:15:52 +09:00
Chris Ohk
b0da24b45f Correct minor typos (#14) 
* fix: Correct minor typo

- relase -> release

* fix: Correct minor typos

- farenheit, farhenheit -> fahrenheit
- celcius -> celsius

* fix: Correct minor typo

- sume -> sum
 2022-09-02 07:22:22 +09:00
Jeehoon Kang
84548a8325 Add assignment 2 skeleton 2022-08-30 02:28:54 +09:00
Jeehoon Kang
1cd733355d Initial commit 2022-08-16 00:24:21 +09:00