[acl2/acl2] a5a557: Moved the fm9001/ directory from the workshops/ di...

0 views
Skip to first unread message

GitHub

unread,
Apr 20, 2017, 9:59:56 AM4/20/17
to acl2-...@googlegroups.com
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

GitHub

unread,
Apr 20, 2017, 10:13:44 AM4/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages