[acl2/acl2] cbb135: VL: Revamped the addnames transform so that it com...

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: cbb135568aa355beefb9e1f2ed0f426f221db273
https://github.com/acl2/acl2/commit/cbb135568aa355beefb9e1f2ed0f426f221db273
Author: Sol Swords <ssw...@centtech.com>
Date: 2016-08-17 (Wed, 17 Aug 2016)

Changed paths:
M books/GNUmakefile
M books/centaur/fty/deftypes.lisp
M books/centaur/fty/top.lisp
M books/centaur/fty/visitor.lisp
M books/centaur/sv/vl/top.lisp
M books/centaur/vl/transforms/addnames.lisp

Log Message:
-----------
VL: Revamped the addnames transform so that it complies with the SystemVerilog spec for naming of unnamed generate blocks.

[GitHub]

Branch: refs/heads/master