send
Merge branch 'master' of https://github.com/UCSD-PL/algorithmic-software-verification
adding absint slides
updating vcgen markdown
Asdasd
asdasd
Merge branch 'master' of https://github.com/UCSD-PL/algorithmic-software-verification
Floyd-Hoare lecture, with Unicode...
almost done VCG lecture
asdasd
why does it keep asking me to write stuff.
Merge branch 'master' of github.com:UCSD-PL/algorithmic-software-verification
Merge pull request #7 from Ptival/scribing

Floyd-Hoare lecture, with Unicode...
forgot header.tex
removed Unicode because we can't have good things :(
added operational semantics of IMP
Merge pull request #8 from Ptival/scribing

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

asdasd