Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <24014-0@swan.cl.cam.ac.uk>;
          Thu, 11 Apr 1991 08:41:00 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <2891-1@sun2.nsfnet-relay.ac.uk>;
          Thu, 11 Apr 1991 08:34:54 +0100
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa01601; 11 Apr 91 8:30 BST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA26447;
          Thu, 11 Apr 91 00:27:13 -0700
Received: from Sun.COM (192.9.9.1) by aster.eecs.ucdavis.edu (3.2/3.14)
          id AA12986; Thu, 11 Apr 91 00:27:18 PDT
Received: from Eng.Sun.COM (zigzag-bb.Corp.Sun.COM) by Sun.COM (4.1/SMI-4.1)
          id AA20341; Thu, 11 Apr 91 00:27:07 PDT
Received: from cilantro.Eng.Sun.COM by Eng.Sun.COM (4.1/SMI-4.1) id AA03103;
          Thu, 11 Apr 91 00:27:14 PDT
Received: by cilantro.Eng.Sun.COM (4.0/SMI-4.0) id AA01696;
          Thu, 11 Apr 91 00:26:54 PDT
Date: Thu, 11 Apr 91 00:26:54 PDT
From: matute@com.Sun.Eng (Matute)
Message-Id: <9104110726.AA01696@cilantro.Eng.Sun.COM>
To: info-hol@edu.ucdavis.eecs.aster
Subject: bit manipulation
Sender: matute <matute%com.sun.eng@iris.ucdavis.edu>

Can someone update me on the status of bit manipulation libraries for
hardware specification.  There are some warnings about "eval"'s
theoretical soundness.  Is there something that supersedes it?