Copyright © 2021 by Pete Manolios CS 4820 Fall 2021 Homework 1. Due: 9/12 (Midnight) Instructions: Perform the steps below. When done, send me an email. In the email state that you were able to successfully complete all the steps. Nothing else is required. If you complete all steps you get 100. Please do this ASAP in case you run into problems. Use piazza if you have questions. 1 Create a gitlab account using https://gitlab.com/. 2. Clone the following repository: https://gitlab.com/acl2s/external-tool-support/scripts 3. Follow the installation instructions to install, SBCL, ACL2 and ACL2s. Note that it is perfectly fine to not use SBCL git repository and to just use a package manager to install SBCL. 4. Create an acl2s image as per the instructions in the repository. The scripts clean-gen-acl2-acl2s.sh and rebuild-sbcl-acl2-acl2s.sh can be used to do this. 5. Install and familiarize yourself with emacs. A good place to start is https://www.gnu.org/software/emacs/tour/. Make sure to read about shell buffers and create and use a shell in emacs. Make sure you create a .emacs file in your home directory. Here is an example of what you might put in this file, where .lisp.el is the file I provide in the scripts repository: (load "$HOME/.lisp.el") (put 'match 'lisp-indent-function 'defun) (setq line-number-mode t) (setq column-number-mode t) (setq visible-bell t) (setq fill-column 70) (setq default-major-mode 'text-mode) (setq text-mode-hook '(lambda () (auto-fill-mode 1))) (add-hook 'text-mode 'turn-on-auto-fill) (show-paren-mode 1) (put 'upcase-region 'disabled nil) (put 'downcase-region 'disabled nil) 6. Run the ACL2s code from this week's lectures on the version of ACL2s you just created and make sure there are no problems. Make sure to use the key bindings (not cut and paste!) when in emacs (in .lisp.el).