15 Commits

Author	SHA1	Message	Date
Alan Mishchenko	667326b18e	Compiler warnings.	2023-02-28 15:53:12 +07:00
Alan Mishchenko	eb44a80bf2	Compiler warnings.	2021-09-30 18:08:26 -07:00
Alan Mishchenko	674bcbee37	Various changes.	2021-09-30 18:02:33 -07:00
Alan Mishchenko	77d64787e0	Changes to be able to compile ABC without CUDD.	2015-08-24 19:49:18 -07:00
Alan Mishchenko	19c25fd6aa	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
Alan Mishchenko	7e598cd231	Fixing compilation problems on Linux-32 related to constants of type unsigned long long.	2013-01-30 16:15:53 +07:00
Alan Mishchenko	e8d690f2a4	Adding command 'testdec'.	2012-07-28 18:30:21 -07:00
Alan Mishchenko	908d5e696c	Replacing Mb/Gb to be MB/GB.	2012-07-09 22:57:03 -07:00
Alan Mishchenko	1c33107cbb	Updating project settings to have simpler include paths.	2012-07-07 20:14:12 -07:00
Alan Mishchenko	3aab724573	Fixing time primtouts throughout the code.	2012-07-07 17:46:54 -07:00
Alan Mishchenko	f16457aaf5	Added/moved several APIs.	2012-04-10 00:28:36 -07:00
Alan Mishchenko	596bbbe6dc	Added QuickSort based on 3-way partitioning.	2012-02-19 13:16:51 -08:00
Alan Mishchenko	97856d021a	Silencing some of the gcc warnings.	2012-02-16 23:40:23 -08:00
Alan Mishchenko	791b107e7a	Silencing some of the gcc warnings.	2012-02-16 21:53:16 -08:00
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00