floyd-hoare notes
typo
first round of changes
Update lec-refinement-types-2.markdown
Update lec-refinement-types-2.markdown
make it build with beamer
fixed README
Merge pull request #14 from abakst/scribenotes

Scribenotes (Floyd-Hoare pt 2) Thanks!
Merge pull request #15 from nikivazou/master

update lec-refinement-types-2.markdown
adding hsenv instructions
Merge branch 'master' of https://github.com/UCSD-PL/algorithmic-software-verification
flibberty
ignore files from regression tests
ensure logs/ exists before regression tests run
Merge pull request #16 from ztatlock/master

ignore some test files, ensure logs dir exists before regression tests