# 实验说明

## 目前已布置的实验

* [lab1](./Documentations/1-parser/)
  
    + DDL：2022-10-03 23:59:59 (UTC+8)
    - [report](./Reports/1-parser/)

* [lab2](./Documentations/2-ir-gen-warmup/)
  
    + DDL：2022-10-23 23:59:59 (UTC+8)
    - [report](./Reports/2-ir-gen-warmup/report.md)    

* [lab3](./Documentations/3-ir-gen/)
  
    + DDL：2022-11-13 23:59:59 (UTC+8)
    - [report](./Reports/3-ir-gen/report.md)  

* [lab4.1](./Documentations/4.1-ssa/)
  
    + DDL：2022-11-27 23:59:59 (UTC+8)
    - [report](./Reports/4.1-ssa/report.md)  

* [lab4.2](./Documentations/4.2-gvn/)
  
    + DDL: 2022-12-12 23:59:59 (UTC+8)
    - [report](./Reports/4.2-gvn/report.md)

* [lab5](./Documentations/5-bonus/)
  
    + DDL:
        + **建议报名期限**：2023/01/29
        + **实验提交**：2023 年 3 月初，具体时间待定
        + **答辩时间**：2023 年 3 月初，具体时间待定
    + [report](./Reports/5-bonus/report.md)

## 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
```