wangzhe3224 / cs3110

CS3110 Spring 2018 Lab solutions

CS3110 lab answers (Spring 2018)

This repo contains most (not including the part for formal method) lab solutions of CS3110 Spring 2018 in ./lab/.

Some gotchas

• In .merlin and _tag, change oUnit to ounit2, otherwise it won't compile.

Zhe @ 2020-11