If you do not have a CIS account, here is how to get one:
It is required that you use Sireum IVE which provides all the required tools for the course in a single bundle.
To merge updates from https://github.com/ksu-cis-706/f23-706-project (replace
<eid> with your K-State e-id):
git clone email@example.com:ksu-cis-706/f23-706-<eid>.git cd f23-706-<eid> git remote add upstream firstname.lastname@example.org:ksu-cis-706/f23-706-project.git git fetch upstream git merge upstream/master
Resolve any git merge issues, then:
git push sireum proyek ive .
The course example projects (e.g., StaticJava Compiler) are stored in a Git repository accessible at: https://github.com/ksu-cis-706/f23-706-project
Slides can be accessed in the course’s K-State Canvas Files section.
Note that the slides might be updated during the course so do not print them until we have discussed the topics.