Alan Mishchenko b7176ee3e5 Adding command-line switch 'testnpn -A 12' for P-only canonical form computation.		2021-12-03 18:48:26 -08:00
..
cgt	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	2021-09-26 11:30:54 -07:00
csw	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
cut	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
dar	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	2021-09-26 11:30:54 -07:00
dau	Adding command-line switch 'testnpn -A 12' for P-only canonical form computation.	2021-12-03 18:48:26 -08:00
dsc	Fixing compilation problem in 'dsc' package.	2017-02-06 18:53:35 -08:00
fret	Extending and improving timing manager.	2015-11-08 11:44:37 -08:00
fsim	Replacing Mb/Gb to be MB/GB.	2012-07-09 22:57:03 -07:00
fxch	Other compiler changes.	2021-09-26 11:58:42 -07:00
fxu	Compiler warnings.	2021-08-23 19:56:26 -07:00
lpk	Temporary commenting out of the assertion.	2020-02-06 14:58:54 -08:00
mfs	Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.	2021-09-26 11:30:54 -07:00
nwk	Compiler warnings.	2017-07-22 11:41:17 +07:00
res	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
ret	Cleaning up code and fixing for several typos.	2020-01-27 10:43:37 -08:00
rwr	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
rwt	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
sbd	Various changes.	2021-09-21 10:00:46 -07:00
sfm	Making default value (-M 0) work correctly in &mfs.	2021-04-07 21:32:52 -07:00
sim	Suggested white-space changes for fewer gcc warnings.	2019-03-04 14:29:57 -08:00