Tim Edwards f59c9ebcb7 Corrected an issue where a mismatch in property type (e.g., ...

string vs. integer) will cause a segfault.  Not sure if
type promotion is needed at that point because the failing case
was a syntax error that caused a double value to be interpreted
as a string because it could not be cast into a numeric form.

2023-10-03 19:39:01 -04:00

..

actel.c

parameterized string length and increased to 256

2022-11-01 11:43:43 -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

parameterized string length and increased to 256

2022-11-01 11:43:43 -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

parameterized string length and increased to 256

2022-11-01 11:43:43 -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

parameterized string length and increased to 256

2022-11-01 11:43:43 -04:00

flatten.c

One minor change to the previous commit: The check for shorting

2023-09-04 14:47:23 -04:00

flatten.h

Made a correction to the last commit. The "FlattenUnmatched()"

2021-12-17 20:31:41 -05: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

Updated version to go along with the merge of pull request #39

2021-11-17 12:05:01 -05:00

hash.h

Updated version to go along with the merge of pull request #39

2021-11-17 12:05:01 -05:00

inetcomp.c

Patches for Clang

2023-02-28 09:02:41 -05:00

Makefile

Added new handling for verilog structural netlists, and fixed

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

netcmp.c

Corrected an issue where a mismatch in property type (e.g.,

2023-10-03 19:39:01 -04:00

netcmp.h

Modified code from EquivalenceClasses() that forces the two cells

2023-03-06 09:36:35 -05:00

netfile.c

Made two changes to the verilog token parsing in netfile.c in

2023-09-04 10:50:59 -04:00

netfile.h

Added support for simple forms of for() loops in generate blocks.

2023-03-29 16:17:37 -04:00

netgen.c

(1) Fixed the series sorting, which needed to be modified to match

2022-12-15 21:34:56 -05:00

netgen.h

(1) Fixed the series sorting, which needed to be modified to match

2022-12-15 21:34:56 -05:00

ntk.c

parameterized string length and increased to 256

2022-11-01 11:43:43 -04:00

objlist.c

(1) Fixed the series sorting, which needed to be modified to match

2022-12-15 21:34:56 -05:00

objlist.h

(1) Fixed the series sorting, which needed to be modified to match

2022-12-15 21:34:56 -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

parameterized string length and increased to 256

2022-11-01 11:43:43 -04:00

print.c

parameterized string length and increased to 256

2022-11-01 11:43:43 -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

parameterized string length and increased to 256

2022-11-01 11:43:43 -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

Additional correction to the property match subroutine to better

2022-11-04 20:40:37 -04:00

tech.h

revert removal of superfluous 'extern'

2021-11-17 11:53:04 -05:00

test.c

Patches for Clang

2023-02-28 09:02:41 -05: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

Modified some of the verilog read-in code to avoid a segmentation

2023-09-01 09:04:44 -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

fix wrong 'hash' being linked in + C99 compat

2021-11-16 20:06:15 -05:00

xilinx.h

revert removal of superfluous 'extern'

2021-11-17 11:53:04 -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

parameterized string length and increased to 256

2022-11-01 11:43:43 -04: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