Some initial VM tests.

Add -DPINTOS to DEFINES.

Update.

Update tests.

Clarifications.

Fix bug caused by previous change.

Improve list_remove().

Prevent bitmap_scan() from assert-failing if CNT is greater than the
bitmap's size.

Update point values.

Improve output.

Refine exit code print spec.

Improve run-tests to accept more output code formats.
Fix some tests.

Patch to make bitmap choice random.

Rework makefiles to work with older make.

More tests.

Use "&& mv $@.tmp $@" for threads/intr-stubs.S.

Add more tests.

Add more tests.

Add more tests.

Fix use of arbitrary files for disks with "get" and "put" commands.

Add more tests.
Fix - in makefile var bug reported by Jim.
Make pintos util able to format and put in one step.

Add -*- makefile -*- line.

Add more tests.

Fix bug in strlcpy() that could cause reading too much data from the
source string.  Thanks to Jim Chow for reporting the bug and providing
the fix.

Work on userprog tests.

Work on userprog testing.

Revise.

Revise.

Move segment rounding LDFLAGS into tests/userprog/Makefile.

Clarifications.

Clarifications.

Clarifications.

Work on userprog tests.

Clean up.  Use perl -w and strict.
Add ability to use arbitrary files for disks.

(file_read_at) Fix behavior of read when position is past EOF.
(file_write_at) Ditto.  Also, fix test for needing read-modify-write.

Start of userprog tests.

Add comment to clarify behavior.

Make tests/userprog makefile modular so we can reuse it for
grading/userprog.

Revise.

Add some more correctness assertions to free().
(I did some basic testing on this.)

Disallow the empty string as a file name.

Reverse LIB order so that programs that don't make system
calls link properly

Improve implementation of puts().

Add filesize() stub.

Fix description of remove() and create() return values.

Comments.

Fix.

Revise.

Fix.

Revise.

Clarifications.

Final updates for grading project 1.

Try it a different way.

Fix donate-multiple test.

Revise MLFQS bits.

Grade MLFQS.
Generate final grade file.

Fix bug in pagedir_get_page(): didn't apply uaddr page offset to kaddr
return value (!)

Improve.

Improve.

Improve.

Improve.

Improve.

Improve.

Improve.

Improve.

Allow cpp to remove comments when producing kernel.lds.s.
This allows // comments to be used.

Comments.

Clarify.

Revert to previous version.

Improve run-tests.
Edit the grading result files.

Document tab width.

Warn that coding style costs points.

ASSERT should evaluate to an expression not a statement.

Add -s to LDFLAGS to strip output binaries.

Comments.

Work on grading.

Fix typo.

Update FAQ.

Add test scripts.

Fix a few details.

Spelling fix.

Add more tests.

Add 14 (page fault) to named exceptions.
(Why wasn't this here before?)

Should iterate 10 times not 5.

Add some grading test programs.

Restore verbatim.
Fix table.

Implement verbatim as equivalent to example.

Redo menu.

Typo fixes.

Punctuation fix.

Debugging by infinite loop.

Add and refine FAQ answers.

Add `install' target.

Neither of these tests works under MLFQS.

Adjust wording of "static priority" comment.

Make sure that we're not being tested with MLFQS on.

Mention that GCC reorders statements.

Add volatile to asm statement in intr_get_level(),
otherwise GCC will assume that two calls to this function can be
optimized into one, even across asm("sti") or asm("cli").

Fix logic problem.

Fix compile problems.
Thanks to Grant Patterson <grantp@stanford.edu>
for reporting the problem.