Nikolaj Bjorner 82d0310d94 remove repeated default argument, remove tabs ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2016-07-28 21:13:12 -07:00
..
automata	remove repeated default argument, remove tabs	2016-07-28 21:13:12 -07:00
euclid	fix warnings for unused variables	2016-05-17 13:54:22 -07:00
grobner	Take into account number of monomials for rlimit counting	2016-06-08 11:17:26 +09:00
hilbert	reduce set of mainly verbose warnings raised by -Wmaybe-uninitialized and unused variable warnings from release mode builds	2016-06-22 20:25:47 -07:00
interval	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
polynomial	reduce set of mainly verbose warnings raised by -Wmaybe-uninitialized and unused variable warnings from release mode builds	2016-06-22 20:25:47 -07:00
realclosure	Move CMakeLists.txt files (other than the one in the repository root)	2016-03-04 15:26:09 +00:00
simplex	fix ubuntu build failure	2016-07-15 13:39:50 -07:00
subpaving	Fix spelling errors	2016-07-09 11:46:43 +02:00