[acl2/acl2] e34b51: Added 'passing' make target to cosims

0 views
Skip to first unread message

GitHub

unread,
Oct 6, 2015, 6:12:18 PM10/6/15
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: e34b51d2c0be29edbaf2c79bdc44dc85123ff65c
https://github.com/acl2/acl2/commit/e34b51d2c0be29edbaf2c79bdc44dc85123ff65c
Author: David L. Rager <david...@oracle.com>
Date: 2015-10-06 (Tue, 06 Oct 2015)

Changed paths:
M books/centaur/sv/cosims/Makefile

Log Message:
-----------
Added 'passing' make target to cosims


Commit: 42a383d7b8f49a43c2fbb0c70ab9a4979d63ed0b
https://github.com/acl2/acl2/commit/42a383d7b8f49a43c2fbb0c70ab9a4979d63ed0b
Author: David L. Rager <rag...@gmail.com>
Date: 2015-10-06 (Tue, 06 Oct 2015)

Changed paths:
M books/centaur/sv/cosims/Makefile

Log Message:
-----------
Merge pull request #523 from ragerdl/master

Added 'passing' make target to cosims


Compare: https://github.com/acl2/acl2/compare/bd6b998674b7...42a383d7b8f4
Reply all
Reply to author
Forward
0 new messages