[acl2/acl2] 74c5fd: This was in the pull requets #641, but lost.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 74c5fd21fe9851e046dc7ceddc6f528f20afd2e9
https://github.com/acl2/acl2/commit/74c5fd21fe9851e046dc7ceddc6f528f20afd2e9
Author: nadezhin <Dmitry....@gmail.com>
Date: 2016-11-27 (Sun, 27 Nov 2016)

Changed paths:
M books/centaur/sv/cosims/run.lsp

Log Message:
-----------
This was in the pull requets #641, but lost.


Commit: 4dea1f3889102785eecf736e5c914707fdef2f8a
https://github.com/acl2/acl2/commit/4dea1f3889102785eecf736e5c914707fdef2f8a
Author: David L. Rager <rag...@gmail.com>
Date: 2016-11-28 (Mon, 28 Nov 2016)

Changed paths:
M books/centaur/sv/cosims/run.lsp

Log Message:
-----------
Merge pull request #673 from nadezhin/icarus-verilog

Drop comment lines from Icaruse Verilog output.

I thought I had merged this the other day, but it was a UI interpretation bug.


Compare: https://github.com/acl2/acl2/compare/7bff925dcf6d...4dea1f388910

[GitHub]

Branch: refs/heads/master