← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/centaur/esim/esim-vcd.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/centaur/esim/esim-vcd.lisp
346
346
 
347
347
         (visible-p
348
348
          ;; This is a little goofy.  I might have instead written something like
349
 
          ;; (keys-boundp-fal wires dwires-fal) here.  But, I think due to the
 
349
          ;; (fall-all-boundp wires dwires-fal) here.  But, I think due to the
350
350
          ;; way they are constructed, the design-wires should either include all
351
351
          ;; of the wires or none of them.  If that's the case, it should suffice
352
352
          ;; to just check the first wire, for speed.