Tim Edwards 8a24c6c3ca Modified the ResolveAutomorphisms() routine once again, to break ...

symmetry of all elements in all symmetric partitions, rather than
(as previously done) all elements in each partition, before re-
running iterations to convergence.  This solves the problem of
having a very large number of partitions with a few elements each
taking a long time to run.

2020-07-30 14:48:08 -04:00

..

actel.c

Overhaul of the hash table method. Original method used global

2016-06-23 10:13:18 -04:00

actellib.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

anneal.c

Removed all instances of macro INLINE, as this is showing up now

2016-10-24 13:42:08 -04:00

bottomup.c

Removed all instances of macro INLINE, as this is showing up now

2016-10-24 13:42:08 -04:00

ccode.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

config.h

Removed all instances of macro INLINE, as this is showing up now

2016-10-24 13:42:08 -04:00

dbug.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

Depend

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

embed.c

Corrected missing tcl.h includes, which are needed in files that

2018-06-17 15:05:15 -04:00

embed.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

ext.c

Added new handling for verilog structural netlists, and fixed

2018-04-12 17:09:10 -04:00

flatten.c

Changed the default string size for tmpstr in flattenInstancesOf

2020-03-26 09:04:52 -04:00

greedy.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

hash.c

Corrected missing tcl.h includes, which are needed in files that

2018-06-17 15:05:15 -04:00

hash.h

Corrected a number of function returns, mainly to avoid compile-

2018-01-26 11:56:41 -05:00

inetcomp.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

Makefile

Added new handling for verilog structural netlists, and fixed

2018-04-12 17:09:10 -04:00

netcmp.c

Modified the ResolveAutomorphisms() routine once again, to break

2020-07-30 14:48:08 -04:00

netcmp.h

Based on code from John Wood, added command "netgen::format <col1_width>

2020-02-10 09:11:34 -05:00

netfile.c

Corrected the routines DescendCountQueue and DescendCompareQueue

2020-07-24 20:50:07 -04:00

netfile.h

Corrected the routines DescendCountQueue and DescendCompareQueue

2020-07-24 20:50:07 -04:00

netgen.c

Corrected two instances of missing values on return from a function.

2018-11-19 08:12:12 -05:00

netgen.h

Fairly substantial overhaul of the tokenizing routine to better

2019-01-09 20:26:38 -05:00

ntk.c

Corrected missing tcl.h includes, which are needed in files that

2018-06-17 15:05:15 -04:00

objlist.c

Corrected a missing "#ifdef TCL_NETGEN" around a Tcl subroutine

2019-07-24 11:13:25 -04:00

objlist.h

Fairly substantial overhaul of the tokenizing routine to better

2019-01-09 20:26:38 -05:00

pdutils.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

pdutils.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

place.c

Removed all instances of macro INLINE, as this is showing up now

2016-10-24 13:42:08 -04:00

print.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

print.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

proto.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

query.c

Corrected the routines DescendCountQueue and DescendCompareQueue

2020-07-24 20:50:07 -04:00

query.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

random.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

regexp.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

spice.c

Corrected a problem in ResolveAutomorphsByProperty() that causes

2020-07-29 13:57:08 -04:00

test.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

timing.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

timing.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

verilog.c

Corrected a problem in ResolveAutomorphsByProperty() that causes

2020-07-29 13:57:08 -04:00

wombat.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

xilinx.c

Corrected a number of function returns, mainly to avoid compile-

2018-01-26 11:56:41 -05:00

xillib.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

xnetgen.c

Fixed a bug in the combine routine that causes a segfault; added

2017-01-07 06:56:51 -05:00

xnetgen.h

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00