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).