summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraUtilMisc.c
Commit message (Collapse)AuthorAgeFilesLines
* Fix compile error on targets with unsigned charAnton Blanchard2022-02-181-1/+1
| | | | | | | | abc is failing to compile on ppc64le because char is unsigned by default: src/misc/extra/extraUtilMisc.c: In function ‘void abc::Extra_TruthExpand(int, int, unsigned int*, unsigned int, unsigned int*)’: src/misc/extra/extraUtilMisc.c:1550:5: error: narrowing conversion of ‘-1’ from ‘int’ to ‘char’ inside { } [-Wnarrowing]
* Various changes.Alan Mishchenko2020-03-281-5/+5
|
* Experiments with simulation-based engines.Alan Mishchenko2020-03-221-36/+49
|
* Adding macro to disable bridge output and APIs by popular demand.Alan Mishchenko2019-11-091-0/+144
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-051-2/+2
| | | | memcpy, etc.
* 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 ↵Alan Mishchenko2013-01-301-19/+19
| | | | unsigned long long.
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 05:02:23 +0000