Leonardo de Moura dd21cdcc95 Add more theorems. ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2013-08-07 11:23:04 -07:00
..
cmake/Modules	Add MPFR & restructure cmake directory	2013-08-05 17:58:54 -07:00
interval	Reformat code (make formating more consistent)	2013-08-07 08:17:33 -07:00
kernel	Add more theorems.	2013-08-07 11:23:04 -07:00
parsers	Add scanner base class	2013-08-03 16:10:20 -07:00
shell	Clean white-spaces	2013-07-19 10:29:33 -07:00
tests	Remove useless is_* functions. We can use equality for that (more readable and similar performance).	2013-08-07 08:34:50 -07:00
util	Reformat code (make formating more consistent)	2013-08-07 08:17:33 -07:00
CMakeLists.txt	Require GMP version 5.0.5	2013-08-06 19:55:34 -07:00
Doxyfile	Improve documentation	2013-07-26 11:43:53 -07:00