实验说明

请 fork 此 repo 到自己的仓库下，随后在自己的仓库中完成实验，请确保自己的 repo 为 Private。

目前已布置的实验

• lab1

  • DDL：2022-10-03 23:59:59 (UTC+8)

• lab2

  • DDL：2022-10-23 23:59:59 (UTC+8)

• lab3

  • DDL：2022-11-13 23:59:59 (UTC+8)

• lab4.1

  • DDL：2022-11-27 23:59:59 (UTC+8)

• lab4.2

  • DDL: 2023-01-14 23:59:59 (UTC+8)

FAQ: How to merge upstream remote branches

In brief, you need another alias for upstream repository (we assume you are now in your local copy of forked repository on Gitlab):

$ git remote add upstream git@202.38.79.174:compiler_staff/2022fall-compiler_cminus.git

Then try to merge remote commits to your local repository:

$ git pull upstream master

Then synchronize changes to your forked remote repository:

$ git push origin master