Tim Edwards ad13e48a07 Corrected ext2spice for the case where a port has been given more ...

than one name, because in that case one of the port records ends
up with a null pointer to a node, and causes a crash condition.
This can happen inadvertently, as when a connected node is not
specifically designated a port, but is forced to be a port
because of the connection.

2020-03-20 14:50:56 -04:00

..

ext2hier.c

Corrected ext2spice for the case where a port has been given more

2020-03-20 14:50:56 -04:00

ext2spice.c

Corrected ext2spice for the case where a port has been given more

2020-03-20 14:50:56 -04:00

ext2spice.h

Fixed a long-standing error in which "ext2spice merge" fails when

2019-10-23 09:33:37 -04:00

Makefile

Implemented a new configuration variable "dist_prefix" for

2020-01-28 10:40:01 -05:00

spice2sim

Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky

2017-04-25 08:41:48 -04:00