1234567891011121314151617181920212223242526 |
- Each of the submitted files have been annotated if appropriate.
- The solution files to the exercises are structured in the following way:
- .
- ├─── exercise 1 {a, b, c}:
- │ ├─── ex1.smv
- │ └─── ex1.out
- ├─── exercise 2 {a, b}:
- │ ├─── ex2.b.smv
- │ └─── ex2.b.out
- ├─── exercise 2 {c}:
- │ ├─── ex2.c.smv
- │ └─── ex2.c.out
- ├─── exercise 3 {a}:
- │ ├─── ex3.a.smv
- │ └─── ex3.a.out
- ├─── exercise 3 {b}:
- │ ├─── ex3.b.smv
- │ └─── ex3.b.out
- ├─── exercise 3 {b}:
- │ ├─── ex3.c.smv
- │ └─── ex3.c.out
- └─── exercise 3 {d}:
- ├─── ex3.d.smv
- └─── ex3.d.out
|