Tim Edwards 6e9e6abe98 Removed the netgen.sh and netgen.tcl scripts from the repository, ...

which are generated by ./configure and should not be in the repo.

2020-12-05 15:46:03 -05:00

..

console.tcl

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

Makefile

Modified the Makefile per the patch from Charlene at OpenBSD to

2020-02-17 14:04:40 -05:00

netgen.sh.in

Changed the netgen shell script from "sh" to "bash" due to the

2018-08-08 11:28:04 -04:00

netgen.tcl.in

Added a "-full" switch to the scripted "lvs" command that switches

2020-10-08 09:57:01 -04:00

netgenexec.c

Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky

2015-05-18 09:27:46 -04:00

tclnetgen.c

Found a counterexample which shows that the fast symmetry breaking

2020-10-08 09:43:25 -04:00

tkcon.tcl

Updated tkcon.tcl, which was not corrected for a minor problem that

2019-08-03 16:22:26 -04:00

tmp.out

Extended the verilog parser to account for the fact that there can

2018-10-29 15:19:13 -04:00