summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraUtilMisc.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-2/+2
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+6
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-181-1/+1
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-171-0/+34
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-19/+19
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-231-3/+84
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-1/+1
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+1
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-201-8/+16
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-191-0/+288
* Major restructuring of the code.Alan Mishchenko2012-01-211-76/+2
* initial commit of public abcAlan Mishchenko2010-11-011-3/+6
* Version abc90215Alan Mishchenko2009-02-151-29/+29
* Version abc80702Alan Mishchenko2008-07-021-6/+6
* Version abc80130_2Alan Mishchenko2008-01-301-1/+804
* Version abc80130Alan Mishchenko2008-01-301-804/+1
* Version abc71001Alan Mishchenko2007-10-011-0/+2235
* Version abc70930Alan Mishchenko2007-09-301-2235/+0
* Version abc70703Alan Mishchenko2007-07-031-1/+49
* Version abc60611Alan Mishchenko2006-06-111-8/+8
* Version abc51012Alan Mishchenko2005-10-121-2/+2
* Version abc51002Alan Mishchenko2005-10-021-0/+724
* Version abc51001Alan Mishchenko2005-10-011-0/+31
* Version abc50829Alan Mishchenko2005-08-291-2/+2
* Version abc50827Alan Mishchenko2005-08-271-1/+1
* Version abc50822Alan Mishchenko2005-08-221-3/+299
* Version abc50819Alan Mishchenko2005-08-191-35/+383
* Version abc50818Alan Mishchenko2005-08-181-0/+408
* Version abc50729Alan Mishchenko2005-07-291-0/+380