ucsd-progsys/csolve — pull request #1 by abakst (2013-02-28 18:52:27+00:00)
Title: update parser and infospec format

Made some changes to the parser to understand how the infospec file format has changed. Additionally changed how the infospec file is written out, primarily:
1) Add location specs
2) Expand qualifiers
3) Change function applications to look like F([a1;...;an]) instead of the easier-to-read F(a1,...,an) to match expectations elsewhere.