- STV to C++ compiler. (preliminary, probably buggy)

- VL update: subtle change to synthesis of ?: operators.  Previously, even
  for approx muxes we had a bizarre inconsistency, where
    X ? 0 : 0 was producing 0, but
    X ? 1 : 1 was producing X.
  To be more consistent and slightly more conservative, both versions will
  now produce X.  This change won't affect non-approx muxes.

- Removed unneeded legacy file books/certify-numbers.lsp (with Matt)



git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2147 303c5b2c-9740-0410-b014-fd8f9db7be32
Bugfix for aig2c

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2148 303c5b2c-9740-0410-b014-fd8f9db7be32
Installed a new version of models/jvm/m1/wormhole-abstraction.lisp
from J Moore, as he requested.

Executed the following command in cutil and milawa directories, to
help "svn status" give a cleaner report (see README-svn):

svn propset -R svn:ignore -F /projects/acl2/devel/books/unversioned-files.txt .


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2149 303c5b2c-9740-0410-b014-fd8f9db7be32
Attempt to revert milawa/ to svn revision 2148.  I had done the
default setting of ignore properties there (checked into svn rev 2149)
because "svn status" showed files that I expected not to be shown:

?                    milawa/doc.cert
?                    milawa/doc.lx64fsl
?                    milawa/doc.cert.out

But Jared informed me that he had done custom property setting for
milawa/.  I executed the following while standing in the milawa/
directory.

svn merge -r 2149:2148 .


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2151 303c5b2c-9740-0410-b014-fd8f9db7be32