# 实验说明

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

## 目前已布置的实验

* [lab1](./Documentations/1-parser/)
  + DDL：2021-10-06(~~10-03~~) 23:59:59 (UTC+8)
* [lab2](./Documentations/2-ir-gen-warmup/)
  + DDL：2021-10-22 23:59:59 (UTC+8)
* [lab3](./Documentations/3-ir-gen/)
  + DDL: 2021-11-21 23:59:59 (UTC+8)
* [lab4](./Documentations/4-ir-opt)
  + DDL：
    + **阶段一**：2021/11/29 23:59:59 (UTC+8)
    + **阶段二**：2022/12/13 23:59:59 (UTC+8)
* [lab5](./Documentations/5-bonus/)
  + 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):

```shell
$ 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:

```shell
$ git pull upstream master
```

Then synchronize changes to your forked remote repository:

```shell
$ git push origin master
```