[acl2/acl2] 011fdf: Added books/projects/sb-machine/ contribution from...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 011fdf87b2392d3753fa505c5e35f8dff32f9b17
https://github.com/acl2/acl2/commit/011fdf87b2392d3753fa505c5e35f8dff32f9b17
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2015-10-06 (Tue, 06 Oct 2015)

Changed paths:
A books/projects/sb-machine/README
A books/projects/sb-machine/acl2-customization.lsp
A books/projects/sb-machine/cert.acl2
A books/projects/sb-machine/package.lsp
A books/projects/sb-machine/portcullis.acl2
A books/projects/sb-machine/portcullis.lisp
A books/projects/sb-machine/programs/dekker.lsp
A books/projects/sb-machine/proofs/completed/fence.lisp
A books/projects/sb-machine/proofs/completed/portcullis.acl2
A books/projects/sb-machine/proofs/completed/portcullis.lisp
A books/projects/sb-machine/proofs/completed/stupid.lisp
A books/projects/sb-machine/proofs/completed/stupid2.lisp
A books/projects/sb-machine/proofs/completed/stupid3.lisp
A books/projects/sb-machine/proofs/completed/writes-with-fence-dumb.lisp
A books/projects/sb-machine/proofs/completed/writes-with-fence-ghost.lisp
A books/projects/sb-machine/proofs/completed/writes-with-fence.lisp
A books/projects/sb-machine/proofs/in-progress/producer.lsp
A books/projects/sb-machine/proofs/in-progress/read-write.lsp
A books/projects/sb-machine/proofs/in-progress/unshared.lsp
A books/projects/sb-machine/sb.lisp
A books/projects/sb-machine/tools.lisp

Log Message:
-----------
Added books/projects/sb-machine/ contribution from Ben Selfridge (as he requested).

[GitHub]

Branch: refs/heads/testing

Commit: bd6b998674b719baac476399505398f53085fc56
https://github.com/acl2/acl2/commit/bd6b998674b719baac476399505398f53085fc56
Author: David L. Rager <rag...@gmail.com>

Merge commit '011fdf87b2392d3753fa505c5e35f8dff32f9b17' into HEAD


Compare: https://github.com/acl2/acl2/compare/be2e94eeb7d5...bd6b998674b7