实验说明

目前已布置的实验

• lab1

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

• lab2

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

• lab3

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

• lab4.1

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

• lab4.2

  • DDL: 2022-12-12 23:59:59 (UTC+8)
  • report

• lab5

  • DDL:
    • 建议报名期限：2023/01/29
    • 实验提交：2023 年 3 月初，具体时间待定
    • 答辩时间：2023 年 3 月初，具体时间待定

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 http://211.86.152.198:8080/staff/2021fall-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