/

• .gitignore
• Makefile
• assignment1.tex
• assignment2.tex
• assignment3-leastfirst.png
• assignment3-mostfirst.png
• assignment3.tex
• assignment4.tex
• assignment6
• assignment7
• assignment8
• elevator.smv
• elevator.tex
• sv.sty