Tim Edwards 8e215d3b66 Corrected the PropertyMatch() routine; previously the symmetry ...

breaking by property was only matching properties between circuits but
not within the same circuit, which is needed for correct symmetry
breaking.  But the PropertyMatch() routine assumed that it is passed
one item from each circuit, leading to a segfault when running the
symmetry breaking within a single circuit.  This has been fixed.

2020-07-31 12:56:20 -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 the PropertyMatch() routine; previously the symmetry

2020-07-31 12:56:20 -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

Made several corrections to handling of proxy pins when matching

2020-07-30 22:51:34 -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

Tracked down and fixed problems with implicit pins in verilog (pins

2020-07-31 12:22:50 -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

Made several corrections to handling of proxy pins when matching

2020-07-30 22:51:34 -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

Made several corrections to handling of proxy pins when matching

2020-07-30 22:51:34 -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