Tim Edwards 9cebb76787 Corrected a problem in ResolveAutomorphsByProperty() that causes ...

long run-times even when there are no properties to check.  Corrected
a problem with SPICE and verilog netlist reading which arbitrarily
replaces file extensions even when a file extension is given,
resulting in reading the wrong file.

2020-07-29 13:57: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

Corrected a problem in ResolveAutomorphsByProperty() that causes

2020-07-29 13:57: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