lean2

429 commits 3 branches 0 tags 28 MiB

Author	SHA1	Message	Date
Soonho Kong	93b99cf1ec	Add constants(Pi, 1/2Pi, 2Pi) to double, float, and mpq	2013-08-07 19:32:03 -07:00
Leonardo de Moura	84de625ee4	Rename pp functions (that do not use format lib) to print Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-08-07 12:10:10 -07:00
Leonardo de Moura	722e2b0ed4	Reformat code (make formating more consistent) Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-08-07 08:17:33 -07:00
Leonardo de Moura	c2ebe42ca8	Move numerics and sexpr to util Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-07-24 14:57:51 -07:00

Renamed from src/numerics/mpq.cpp (Browse further)