fix typo
minor TODO list updates
minor simplifications to SMT encoding
consolidate another test
enhance parsing of comments
Add framework for error diagnostics
fix line numbers in error messages
Improve display of errors generated by the parser
Another round of improvements to error handling
fix a crash with width(%foo) in expressions
fix build
More tests for instcombine/addsub.opt