숙제 채점 방법

[aqjune]

안녕하세요, 숙제 채점 사이트가 열렸습니다.

http://147.46.219.145:9131/

아이디 및 비밀번호는 학번입니다. 로그인 하고 나서 제출하기 전에 반드시 오른쪽 상단의 Change password 를 클릭해서 패스워드를 바꾸시기 바랍니다.

제출방법은 다음과 같습니다.

1. assignments/assn1/Assignment01.v에서 작성하던 숙제를 assignments/01/P<번호>.v로 옮겨넣습니다.

2. make 명령어를 쳐서 숙제들이 컴파일이 되는지 확인합니다. (만약 현재 make 명령어가 동작하지 않는 상황이라면, Assignment01.v 에서 잘 된 증명을 그대로 붙여넣기 하시면 됩니다)

3. make submission 명령어를 입력해서, P<번호>.v 들을 압축한 submission.zip을 만듭니다 (만약 make가 잘 동작하지 않는다면, 모든 P<번호>.v들을 zip 파일로 압축해서 제출하셔도 됩니다)

4. 위 사이트에 해당 submission.zip을 제출합니다.

혹시 제출 과정에서 문제가 있을 경우 조교에게 (juneyoung.lee@sf.snu.ac.kr) 이메일을 주세요.

감사합니다.

[aqjune]

윈도우 사용자분들께 - 리눅스 명령어(예:make)를 잘 동작시키는 방법은 두 가지가 있습니다.

1. WSL (Windows Subsystem for Linux) 설치 (추천)

• https://docs.microsoft.com/en-us/windows/wsl/install-win10 를 따라하시면, Windows Store에서 Ubuntu / openSUSE / ... 를 골라서 윈도우에 설치하실 수 있습니다

• 설치한 뒤에 리눅스 터미널을 띄워서 /mnt/c/... 로 들어가시면 C 드라이브를 탐색할 수 있습니다.

• 필요한 라이브러리는 해당 운영체제의 패키지 매니저(예: apt-get, ..)를 사용해서 설치할 수 있습니다

2. Cygwin 혹은 MinGW 설치

• Cygwin: https://www.cygwin.com/ , MinGW: https://sourceforge.net/projects/mingw-w64/

[aqjune]

make를 했을 때 coq_makefile 이 없다는 에러가 뜰 경우: coq_makefile 가 있는 디렉토리를 PATH 환경 변수에 추가해 주세요. (예: 리눅스에서 OPAM을 이용해 설치했을 시 /home/sf/.opam/system/bin/ 혹은 그와 유사한 디렉토리에 coq_makefile 존재)

[aqjune]

안녕하세요, 현재 서버 상태가 꽤 많이 불안정합니다. 듀 이전에 숙제를 자주 submit 부탁 드립니다.
9시 반관리 권한이 랩 데스크탑에 있어, 9시 45분에 다시 서버가 열릴 예정입니다.

[aqjune]

문제가 있을 경우 이메일로 알려주시면 감사하겠습니다.

(홈페이지에 있는 Questions 는 시험때 쓰는 기능입니다. 이메일로 주시면 좀 더 빠르게 답장 드릴 수 있습니다)