Leonardo de Moura 04fd50e4e8 chore(*): fix tests and style		2017-02-20 23:53:44 -08:00
..
frontends/lean	feat(frontends/lean): add token class, and procedure for consuming the tokens	2017-02-03 18:11:06 -08:00
kernel	feat(*): parallel compilation	2016-11-29 11:12:40 -08:00
library	chore(*): fix tests and style	2017-02-20 23:53:44 -08:00
shared	fix(tests/shared/univ): memory access violation	2017-02-12 16:29:13 -08:00
shell	chore(tests/shell): leftover	2017-02-15 21:40:27 -08:00
util	chore(*): remove mpfr dependency	2017-02-17 20:36:53 -08:00