---

CIS Account

If you do not have a CIS account, here is how to get one:

• Get a K-State eID if you don’t already have one.
• Sign up online for a CIS account (which requires an active eID first!).
• The account manager will approve your account and you will receive a password by email to by your eID account.

GitHub Account

Coursework submissions will be done via GitHub. In the beginning of the course, each student will be given a private GitHub repository; thus, you need to have a GitHub account.

Course Software Infrastructure

It is required that you use Sireum IVE which provides all the required tools for the course in a single bundle.

Git Workflow

To merge updates from https://github.com/ksu-cis-706/f24-706-project (replace with your K-State e-id):

• https

  git clone https://github.com/ksu-cis-706/f24-706-<eid>.git
  cd f24-706-<eid>
  git remote add upstream https://github.com/ksu-cis-706/f24-706-project.git
  git fetch upstream
  git merge upstream/master
  

• ssh

  git clone git@github.com:ksu-cis-706/f24-706-<eid>.git
  cd f24-706-<eid>
  git remote add upstream git@github.com:ksu-cis-706/f24-706-project.git
  git fetch upstream
  git merge upstream/master
  

Resolve any git merge issues, then:

git push
sireum proyek ive .

StaticJava Compiler, Examples, and Slides

The course example projects (e.g., StaticJava Compiler) are stored in a Git repository accessible at: https://github.com/ksu-cis-706/f24-706-project

Slides and recorded lectures can be accessed in the course’s K-State Canvas files section.