latex
Merge branch 'master' of https://github.com/gsdlab/PythonIR

Conflicts:
	latex/smt_proposal.aux
	latex/smt_proposal.log
	latex/smt_proposal.pdf
	latex/smt_proposal.synctex.gz
latex
Merge branch 'master' of https://github.com/gsdlab/PythonIR
latex