Branch: refs/heads/testing
Home:
https://github.com/acl2/acl2
Commit: a5a557c7149b2eabde23fdf79a93165129490078
https://github.com/acl2/acl2/commit/a5a557c7149b2eabde23fdf79a93165129490078
Author: Cuong Kim Chau <
ckc...@cs.utexas.edu>
Date: 2017-04-19 (Wed, 19 Apr 2017)
Changed paths:
A books/projects/fm9001/Makefile
A books/projects/fm9001/README
A books/projects/fm9001/acl2-customization.lsp
A books/projects/fm9001/alu-spec.lisp
A books/projects/fm9001/approx.lisp
A books/projects/fm9001/assoc-eq-value.lisp
A books/projects/fm9001/cert.acl2
A books/projects/fm9001/chip.lisp
A books/projects/fm9001/constants.lisp
A books/projects/fm9001/control-modules.lisp
A books/projects/fm9001/control.lisp
A books/projects/fm9001/core-alu.lisp
A books/projects/fm9001/de.lisp
A books/projects/fm9001/dual-port-ram.lisp
A books/projects/fm9001/expand-fm9001-macros.lisp
A books/projects/fm9001/expand-fm9001.lisp
A books/projects/fm9001/extend-immediate.lisp
A books/projects/fm9001/f-functions.lisp
A books/projects/fm9001/fast-zero.lisp
A books/projects/fm9001/final-reset.lisp
A books/projects/fm9001/flags.lisp
A books/projects/fm9001/fm9001-hardware.lisp
A books/projects/fm9001/fm9001-memory.lisp
A books/projects/fm9001/fm9001-spec.lisp
A books/projects/fm9001/hard-spec.lisp
A books/projects/fm9001/list-rewrites.lisp
A books/projects/fm9001/macros.lisp
A books/projects/fm9001/memory.lisp
A books/projects/fm9001/monotonicity-macros.lisp
A books/projects/fm9001/package.lsp
A books/projects/fm9001/pad-vectors.lisp
A books/projects/fm9001/pg-theory.lisp
A books/projects/fm9001/portcullis-constants.lsp
A books/projects/fm9001/portcullis.acl2
A books/projects/fm9001/portcullis.lisp
A books/projects/fm9001/post-alu.lisp
A books/projects/fm9001/pre-alu.lisp
A books/projects/fm9001/primitives.lisp
A books/projects/fm9001/primp-database.lisp
A books/projects/fm9001/proofs.lisp
A books/projects/fm9001/reg.lisp
A books/projects/fm9001/regfile.lisp
A books/projects/fm9001/store-resultp.lisp
A books/projects/fm9001/t-or-nor.lisp
A books/projects/fm9001/tree-number.lisp
A books/projects/fm9001/tv-alu-help.lisp
A books/projects/fm9001/tv-dec-pass.lisp
A books/projects/fm9001/tv-if.lisp
A books/projects/fm9001/unbound.lisp
A books/projects/fm9001/utils.lisp
A books/projects/fm9001/v-equal.lisp
A books/projects/fm9001/v-inc4.lisp
A books/projects/fm9001/vector-macros.lisp
A books/projects/fm9001/vector-module.lisp
M books/workshops/2017/README
R books/workshops/2017/chau/fm9001/support/Makefile
R books/workshops/2017/chau/fm9001/support/README
R books/workshops/2017/chau/fm9001/support/acl2-customization.lsp
R books/workshops/2017/chau/fm9001/support/alu-spec.lisp
R books/workshops/2017/chau/fm9001/support/approx.lisp
R books/workshops/2017/chau/fm9001/support/assoc-eq-value.lisp
R books/workshops/2017/chau/fm9001/support/cert.acl2
R books/workshops/2017/chau/fm9001/support/chip.lisp
R books/workshops/2017/chau/fm9001/support/constants.lisp
R books/workshops/2017/chau/fm9001/support/control-modules.lisp
R books/workshops/2017/chau/fm9001/support/control.lisp
R books/workshops/2017/chau/fm9001/support/core-alu.lisp
R books/workshops/2017/chau/fm9001/support/de.lisp
R books/workshops/2017/chau/fm9001/support/dual-port-ram.lisp
R books/workshops/2017/chau/fm9001/support/expand-fm9001-macros.lisp
R books/workshops/2017/chau/fm9001/support/expand-fm9001.lisp
R books/workshops/2017/chau/fm9001/support/extend-immediate.lisp
R books/workshops/2017/chau/fm9001/support/f-functions.lisp
R books/workshops/2017/chau/fm9001/support/fast-zero.lisp
R books/workshops/2017/chau/fm9001/support/final-reset.lisp
R books/workshops/2017/chau/fm9001/support/flags.lisp
R books/workshops/2017/chau/fm9001/support/fm9001-hardware.lisp
R books/workshops/2017/chau/fm9001/support/fm9001-memory.lisp
R books/workshops/2017/chau/fm9001/support/fm9001-spec.lisp
R books/workshops/2017/chau/fm9001/support/hard-spec.lisp
R books/workshops/2017/chau/fm9001/support/list-rewrites.lisp
R books/workshops/2017/chau/fm9001/support/macros.lisp
R books/workshops/2017/chau/fm9001/support/memory.lisp
R books/workshops/2017/chau/fm9001/support/monotonicity-macros.lisp
R books/workshops/2017/chau/fm9001/support/package.lsp
R books/workshops/2017/chau/fm9001/support/pad-vectors.lisp
R books/workshops/2017/chau/fm9001/support/pg-theory.lisp
R books/workshops/2017/chau/fm9001/support/portcullis-constants.lsp
R books/workshops/2017/chau/fm9001/support/portcullis.acl2
R books/workshops/2017/chau/fm9001/support/portcullis.lisp
R books/workshops/2017/chau/fm9001/support/post-alu.lisp
R books/workshops/2017/chau/fm9001/support/pre-alu.lisp
R books/workshops/2017/chau/fm9001/support/primitives.lisp
R books/workshops/2017/chau/fm9001/support/primp-database.lisp
R books/workshops/2017/chau/fm9001/support/proofs.lisp
R books/workshops/2017/chau/fm9001/support/reg.lisp
R books/workshops/2017/chau/fm9001/support/regfile.lisp
R books/workshops/2017/chau/fm9001/support/store-resultp.lisp
R books/workshops/2017/chau/fm9001/support/t-or-nor.lisp
R books/workshops/2017/chau/fm9001/support/tree-number.lisp
R books/workshops/2017/chau/fm9001/support/tv-alu-help.lisp
R books/workshops/2017/chau/fm9001/support/tv-dec-pass.lisp
R books/workshops/2017/chau/fm9001/support/tv-if.lisp
R books/workshops/2017/chau/fm9001/support/unbound.lisp
R books/workshops/2017/chau/fm9001/support/utils.lisp
R books/workshops/2017/chau/fm9001/support/v-equal.lisp
R books/workshops/2017/chau/fm9001/support/v-inc4.lisp
R books/workshops/2017/chau/fm9001/support/vector-macros.lisp
R books/workshops/2017/chau/fm9001/support/vector-module.lisp
Log Message:
-----------
Moved the fm9001/ directory from the workshops/ directory to the projects/ directory.
Commit: da10741f1604d2b343c44ddac066291ffef4a17a
https://github.com/acl2/acl2/commit/da10741f1604d2b343c44ddac066291ffef4a17a
Author: MattKaufmann <
kauf...@cs.utexas.edu>
Date: 2017-04-20 (Thu, 20 Apr 2017)
Changed paths:
A books/projects/fm9001/Makefile
A books/projects/fm9001/README
A books/projects/fm9001/acl2-customization.lsp
A books/projects/fm9001/alu-spec.lisp
A books/projects/fm9001/approx.lisp
A books/projects/fm9001/assoc-eq-value.lisp
A books/projects/fm9001/cert.acl2
A books/projects/fm9001/chip.lisp
A books/projects/fm9001/constants.lisp
A books/projects/fm9001/control-modules.lisp
A books/projects/fm9001/control.lisp
A books/projects/fm9001/core-alu.lisp
A books/projects/fm9001/de.lisp
A books/projects/fm9001/dual-port-ram.lisp
A books/projects/fm9001/expand-fm9001-macros.lisp
A books/projects/fm9001/expand-fm9001.lisp
A books/projects/fm9001/extend-immediate.lisp
A books/projects/fm9001/f-functions.lisp
A books/projects/fm9001/fast-zero.lisp
A books/projects/fm9001/final-reset.lisp
A books/projects/fm9001/flags.lisp
A books/projects/fm9001/fm9001-hardware.lisp
A books/projects/fm9001/fm9001-memory.lisp
A books/projects/fm9001/fm9001-spec.lisp
A books/projects/fm9001/hard-spec.lisp
A books/projects/fm9001/list-rewrites.lisp
A books/projects/fm9001/macros.lisp
A books/projects/fm9001/memory.lisp
A books/projects/fm9001/monotonicity-macros.lisp
A books/projects/fm9001/package.lsp
A books/projects/fm9001/pad-vectors.lisp
A books/projects/fm9001/pg-theory.lisp
A books/projects/fm9001/portcullis-constants.lsp
A books/projects/fm9001/portcullis.acl2
A books/projects/fm9001/portcullis.lisp
A books/projects/fm9001/post-alu.lisp
A books/projects/fm9001/pre-alu.lisp
A books/projects/fm9001/primitives.lisp
A books/projects/fm9001/primp-database.lisp
A books/projects/fm9001/proofs.lisp
A books/projects/fm9001/reg.lisp
A books/projects/fm9001/regfile.lisp
A books/projects/fm9001/store-resultp.lisp
A books/projects/fm9001/t-or-nor.lisp
A books/projects/fm9001/tree-number.lisp
A books/projects/fm9001/tv-alu-help.lisp
A books/projects/fm9001/tv-dec-pass.lisp
A books/projects/fm9001/tv-if.lisp
A books/projects/fm9001/unbound.lisp
A books/projects/fm9001/utils.lisp
A books/projects/fm9001/v-equal.lisp
A books/projects/fm9001/v-inc4.lisp
A books/projects/fm9001/vector-macros.lisp
A books/projects/fm9001/vector-module.lisp
M books/workshops/2017/README
R books/workshops/2017/chau/fm9001/support/Makefile
R books/workshops/2017/chau/fm9001/support/README
R books/workshops/2017/chau/fm9001/support/acl2-customization.lsp
R books/workshops/2017/chau/fm9001/support/alu-spec.lisp
R books/workshops/2017/chau/fm9001/support/approx.lisp
R books/workshops/2017/chau/fm9001/support/assoc-eq-value.lisp
R books/workshops/2017/chau/fm9001/support/cert.acl2
R books/workshops/2017/chau/fm9001/support/chip.lisp
R books/workshops/2017/chau/fm9001/support/constants.lisp
R books/workshops/2017/chau/fm9001/support/control-modules.lisp
R books/workshops/2017/chau/fm9001/support/control.lisp
R books/workshops/2017/chau/fm9001/support/core-alu.lisp
R books/workshops/2017/chau/fm9001/support/de.lisp
R books/workshops/2017/chau/fm9001/support/dual-port-ram.lisp
R books/workshops/2017/chau/fm9001/support/expand-fm9001-macros.lisp
R books/workshops/2017/chau/fm9001/support/expand-fm9001.lisp
R books/workshops/2017/chau/fm9001/support/extend-immediate.lisp
R books/workshops/2017/chau/fm9001/support/f-functions.lisp
R books/workshops/2017/chau/fm9001/support/fast-zero.lisp
R books/workshops/2017/chau/fm9001/support/final-reset.lisp
R books/workshops/2017/chau/fm9001/support/flags.lisp
R books/workshops/2017/chau/fm9001/support/fm9001-hardware.lisp
R books/workshops/2017/chau/fm9001/support/fm9001-memory.lisp
R books/workshops/2017/chau/fm9001/support/fm9001-spec.lisp
R books/workshops/2017/chau/fm9001/support/hard-spec.lisp
R books/workshops/2017/chau/fm9001/support/list-rewrites.lisp
R books/workshops/2017/chau/fm9001/support/macros.lisp
R books/workshops/2017/chau/fm9001/support/memory.lisp
R books/workshops/2017/chau/fm9001/support/monotonicity-macros.lisp
R books/workshops/2017/chau/fm9001/support/package.lsp
R books/workshops/2017/chau/fm9001/support/pad-vectors.lisp
R books/workshops/2017/chau/fm9001/support/pg-theory.lisp
R books/workshops/2017/chau/fm9001/support/portcullis-constants.lsp
R books/workshops/2017/chau/fm9001/support/portcullis.acl2
R books/workshops/2017/chau/fm9001/support/portcullis.lisp
R books/workshops/2017/chau/fm9001/support/post-alu.lisp
R books/workshops/2017/chau/fm9001/support/pre-alu.lisp
R books/workshops/2017/chau/fm9001/support/primitives.lisp
R books/workshops/2017/chau/fm9001/support/primp-database.lisp
R books/workshops/2017/chau/fm9001/support/proofs.lisp
R books/workshops/2017/chau/fm9001/support/reg.lisp
R books/workshops/2017/chau/fm9001/support/regfile.lisp
R books/workshops/2017/chau/fm9001/support/store-resultp.lisp
R books/workshops/2017/chau/fm9001/support/t-or-nor.lisp
R books/workshops/2017/chau/fm9001/support/tree-number.lisp
R books/workshops/2017/chau/fm9001/support/tv-alu-help.lisp
R books/workshops/2017/chau/fm9001/support/tv-dec-pass.lisp
R books/workshops/2017/chau/fm9001/support/tv-if.lisp
R books/workshops/2017/chau/fm9001/support/unbound.lisp
R books/workshops/2017/chau/fm9001/support/utils.lisp
R books/workshops/2017/chau/fm9001/support/v-equal.lisp
R books/workshops/2017/chau/fm9001/support/v-inc4.lisp
R books/workshops/2017/chau/fm9001/support/vector-macros.lisp
R books/workshops/2017/chau/fm9001/support/vector-module.lisp
Log Message:
-----------
Merge pull request #717 from myall86/master
Moved the fm9001/ directory to the projects/ directory
Compare:
https://github.com/acl2/acl2/compare/4ef0636e355d...da10741f1604