[acl2/acl2] 4cf277: SVTV decomp hint: Avoid applying the meta rule rep...

0 views

Skip to first unread message

unread,

Nov 20, 2015, 1:57:52 PM11/20/15

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 4cf277f5e720c84bf740889f48411e1b16bc7b4b
https://github.com/acl2/acl2/commit/4cf277f5e720c84bf740889f48411e1b16bc7b4b
Author: Sol Swords <ssw...@centtech.com>
Date: 2015-11-20 (Fri, 20 Nov 2015)

Changed paths:
M books/centaur/sv/svtv/decomp.lisp

Log Message:
-----------
SVTV decomp hint: Avoid applying the meta rule repeatedly.

unread,

Nov 20, 2015, 2:13:47 PM11/20/15

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages