adding new README
merge
updating md files
updated external/{fixpoint, misc}
tweaking stat.h
ok, merged ALL diffs into single repo
passed all tests after goto-mirror-merge
added log for post-mirror-merge-goto-github etc
see TODO.md
asdasd
asdasd
use nqualargs for simpler list rendering, apply to conc-args then funargs, can squish size see Dropbox/foo.html
update parser and infospec format
Merge pull request #1 from ucsd-progsys/incrspec

update parser and infospec format
Add TAG uninterpreted function
Parse in boolean-valued predicates (i.e. (? PRED(...))). Also add TAGSET function that makes use of theory of sets
Add tagging to some system call specs
Parse in constants from hquals files
add interface changes
More spec