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
..
Makefile	Implemented a new configuration variable "dist_prefix" for	2020-01-28 10:40:01 -05: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
spice2sim	Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky	2017-04-25 08:41:48 -04:00