CS134b Lab 3: Semantic analysis and Type checking

Here are the IR files and run results on the test programs:

• test1.c: test1.ir, test1.out
• test2.c: test2.ir, test2.out
• test3.c: test3.ir, test3.out
• test4.c: test4.ir, test4.out

Bugs found after submission:

• make_uarith_expr on general expressions (not only AtomVar) fixed. See lab4 README.