getting abs-int to build
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification

asdasd
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification

asdas
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
asasd
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
ia
done with AI lec1
change title to cse291
fixing issues in tests
Merge pull request #10 from Ptival/fix-homework

fixing issues in tests
Merge pull request #11 from gridaphobe/master

add `logs/.gitkeep` to prevent error on first run of `make test`
asdasd
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
asdasd
Adding my stuff
Reached the end of notes. Still need to add abstract int. example.
Adding files so that pdfcrop and inkscape are not necessary.
typo
Finalized shapes to png - no .ods
Proof read under way
Adding .sty
same...