Add StyleCheck.cmake
Add "style_check" test
Exclude 'style_check' from MemCheck list
Use time(0) as an initial seed for rand_r() in pvector/pdeque tests
Update style.md
Remove debug code from cpplint.py
Add <ctime> header for time() in pdeque/pvector tests
Add mpq(string s, unsigned radix) constructor
Add SMT frontend (skeletal)
Update smt parser
Update SMT parser
Update
Update options
update
update
Pick get-option, set-option
fix elaborate
checkpoint
Add coercion and elaborator for smt frontend
Update