Each student is given a git directory that needs to
be cloned at the beginning of the semester. This
can be done as follows:
|
git clone
https://github-dev.cs.illinois.edu/egunter/cs477-<netid>.git <working_directory>
|
|
After the initial cloning, <working_directory>
will contain a subdirectory assignments. Once an
assignment (mp or hw) has been announced, if you do a
you will add a directory named after the assignment
(e.g. mp1) in the assignments
directory. That directory will contain instructions for
the assignment, plus a stub for each file you must turn
in.
To do an assignment, you will need to follow the
instructions given in the directory for that
assignment. There will be two kinds of assignments, mps
and hws. Mps will be exercises carried out on tools
supporting a specific type of formal methods. Hws will be
written assignments proving theorems and doing hand
calculations. Since the mps involve using various tools,
by default you will need to do them on the ews linux
machines. Most of the tools should also be avialable from
the web to download to you own machine should you choose
to work on your own machine.
To submit an assignment, once you have completed the
necessary files as decribed in the assignment
instructions, in the assignment directory or either of the
parent directory or the gradparent directory
git commit -a -m "<your comment
here>"
git push
|
|
You may restrict git commit to a specific
collection of files and directories by adding a list to
the end of the command.
You may do multiple commits; the version that is in
the repository at 9:00pm on the due date is that one that
will be collected and graded. If you submit a version
after the time due, it will be considered your official
submission and treated as late, even if there were
submissions done earlier.
|