4 commits

Author	SHA1	Message	Date
Nuno Lopes	8061765574	remove default destructors & some default constructors ... Another ~700 KB reduction in binary size	2024-09-04 22:30:23 +01:00
Nikolaj Bjorner	d0e20e44ff	booyah ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-07-04 15:56:30 -07:00
Nikolaj Bjorner	c637240c40	parallel verison of ccc ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2017-04-25 16:56:39 -07:00
Nikolaj Bjorner	e65f106a83	ccc ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2017-04-19 08:59:49 -07:00