 jungin.rhee
|
5d685bc8de
|
cargo doc
|
2023-08-26 09:59:28 +00:00 |
|
|
woojin
|
6858e18da2
|
grade scripts
|
2023-08-26 00:30:22 +09:00 |
|
|
Jeehoon Kang
|
e823db1f9e
|
Merge branch 'grade_script' into 'main'
Grade script
See merge request kaist-cp-class/cs220-private!26
|
2023-08-25 15:21:29 +00:00 |
|
|
woojin
|
144b4487ef
|
apply comments
|
2023-08-26 00:14:35 +09:00 |
|
|
woojin
|
176d0df5d2
|
cargo doc
|
2023-08-25 23:43:40 +09:00 |
|
|
Jeehoon Kang
|
f3307750f5
|
Merge pull request #242 from AnHaechan/main
Merge from cs220-private + Update info on safe exam browser, ChatGPT
|
2023-08-25 13:54:29 +09:00 |
|
|
AnHaechan
|
f64b046153
|
why3: newline
|
2023-08-25 04:39:12 +00:00 |
|
|
woojin
|
da46ba98c2
|
modify grading criteria
|
2023-08-23 16:52:57 +09:00 |
|
|
woojin
|
5df7e204e3
|
minor fix
|
2023-08-23 16:02:10 +09:00 |
|
|
woojin
|
c24f97deef
|
delete cargo --release test
|
2023-08-23 16:00:28 +09:00 |
|
|
woojin
|
f4f24451c5
|
wip
|
2023-08-23 15:56:12 +09:00 |
|
|
AnHaechan
|
5b1c430ff3
|
Merge from cs220-private
|
2023-08-23 00:30:26 +00:00 |
|
|
Haechan An
|
9aaf6aad7b
|
Merge branch 'main' into 'main'
why3: removed unnecessary newlines
See merge request kaist-cp-class/cs220-private!24
|
2023-08-22 12:22:12 +00:00 |
|
|
Marge
|
78d9efe4c2
|
Merge branch 'main' into 'main'
bump dependencies & toolchain
See merge request kaist-cp-class/cs220-private!25
|
2023-08-22 12:17:43 +00:00 |
|
|
jungin.rhee
|
1dbbdefe7e
|
bump dependencies & toolchain
|
2023-08-22 12:17:36 +00:00 |
|
|
AnHaechan
|
7768e670ab
|
removed resolved todo comment
|
2023-08-22 11:29:47 +00:00 |
|
|
AnHaechan
|
57d994107d
|
why3: removed unnecessary newlines
|
2023-08-22 11:12:46 +00:00 |
|
|
AnHaechan
|
c22abb2e2c
|
Update info on safe exam browser, ChatGPT
|
2023-08-22 09:15:54 +00:00 |
|
|
Jeehoon Kang
|
d74a8e0b43
|
Revise readme
|
2023-08-22 16:21:46 +09:00 |
|
|
Woojin Lee
|
0245cab963
|
Merge branch 'woojin' into 'main'
add church
See merge request kaist-cp-class/cs220-private!23
|
2023-08-22 05:43:21 +00:00 |
|
|
woojin
|
4ae52a5ee9
|
add church
|
2023-08-22 14:28:17 +09:00 |
|
|
Jungin Rhee
|
7dc52d8855
|
Merge branch 'main' into 'main'
polish
See merge request kaist-cp-class/cs220-private!22
|
2023-08-22 05:19:55 +00:00 |
|
|
Marge
|
6cd1e3720f
|
Merge branch 'readme' into 'main'
update readme
See merge request kaist-cp-class/cs220-private!21
|
2023-08-22 05:19:25 +00:00 |
|
|
jungin.rhee
|
afe2c7b2d2
|
polish
|
2023-08-22 05:16:34 +00:00 |
|
|
woojin
|
9311cd8bae
|
update readme
|
2023-08-22 11:21:08 +09:00 |
|
|
Marge
|
d40d4eb562
|
Merge branch 'jungin' into 'main'
Polish
See merge request kaist-cp-class/cs220-private!20
|
2023-08-21 11:54:54 +00:00 |
|
|
jungin.rhee
|
bba6cd9979
|
polish
|
2023-08-21 11:52:05 +00:00 |
|
|
Woojin Lee
|
aa9f04b7d4
|
Merge branch 'woojin' into 'main'
apply comments
See merge request kaist-cp-class/cs220-private!19
|
2023-08-21 10:44:10 +00: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 |
|
|
Woojin Lee
|
7008ac21ce
|
Merge branch 'woojin' into 'main'
Merge branch 'main' into 'main'
See merge request kaist-cp-class/cs220-private!17
|
2023-08-21 02:50:12 +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 |
|
|
Haechan An
|
21c27e9234
|
Merge branch 'main' into 'main'
minor format & typo fixes
See merge request kaist-cp-class/cs220-private!16
|
2023-08-21 02:04:26 +00:00 |
|
|
AnHaechan
|
24dc47a7cf
|
minor format & typo fixes
|
2023-08-21 02:03:23 +00:00 |
|
|
Haechan An
|
1d42316a07
|
Merge branch 'main' into 'main'
assignment 1~5
See merge request kaist-cp-class/cs220-private!15
|
2023-08-21 01:51:36 +00:00 |
|
|
Haechan An
|
9c004d0fc7
|
Merge branch 'main' into 'main'
# Conflicts:
# scripts/grade-12.sh
|
2023-08-21 01:51:13 +00:00 |
|
|
Woojin Lee
|
a3da118cf5
|
Merge branch 'jungin' into 'main'
assignment 6-7-8-10
See merge request kaist-cp-class/cs220-private!14
|
2023-08-20 13:10:04 +00:00 |
|
|
AnHaechan
|
ce3051cbd7
|
grading script for 12 fixed
|
2023-08-19 16:53:31 +00:00 |
|
|
AnHaechan
|
5caaac6c42
|
copy-paste assignment 2~5
|
2023-08-19 16:52:42 +00:00 |
|
|
jungin.rhee
|
ee1f7d0b8f
|
assignment 6-7-8-10
|
2023-08-18 16:08:13 +00:00 |
|
|
jungin.rhee
|
b1f1f1a5fc
|
copy-paste problems
|
2023-08-18 16:07:30 +00:00 |
|
|
Woojin Lee
|
3ef3cae0cd
|
Merge branch 'woojin' into 'main'
Add assignment 8, 11, 12
See merge request kaist-cp-class/cs220-private!12
|
2023-08-18 13:23:03 +00:00 |
|
|
woojin
|
e7b8dc3899
|
cargo lock
|
2023-08-18 22:10:46 +09:00 |
|
|
woojin
|
b0ee36a9ff
|
add 8, 11, 12
|
2023-08-18 22:10:35 +09:00 |
|
|
Jeehoon Kang
|
e500317044
|
Merge pull request #240 from AnHaechan/main
Update exam date
|
2023-08-11 18:18:38 +09:00 |
|
|
AnHaechan
|
e078763db9
|
Update exam date
|
2023-08-11 04:17:47 +00:00 |
|
|
Jeehoon Kang
|
fc0889b442
|
Revise
|
2023-08-11 01:25:48 +09:00 |
|
|
Jeehoon Kang
|
e9f596c782
|
Update exam policy
|
2023-08-11 01:13:16 +09:00 |
|
|
Jeehoon Kang
|
f89f0ae2f1
|
Update LLM policy
|
2023-08-11 01:03:04 +09:00 |
|