projects / pintos-anon / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Small bug fixes in gdb macros
2021-01-12 John OusterhoutSmall bug fixes in gdb macros
 commit | commitdiff | tree
2020-06-27 John OusterhoutUndo accidental LDFLAGS modfication from b568df7ae9
 commit | commitdiff | tree
2020-05-19 John OusterhoutConvert tabs to spaces in design doc templates
 commit | commitdiff | tree
2020-05-12 John OusterhoutRemove "insult" example
 commit | commitdiff | tree
2020-05-12 John OusterhoutMark test alarm-priority as timing-sensitive
 commit | commitdiff | tree
2020-05-12 John OusterhoutDocument threads tests that may fail under jitter
 commit | commitdiff | tree
2020-03-26 John OusterhoutFix link errors with GCC 10 and binutils 2.34 on Fedora
 commit | commitdiff | tree
2020-03-26 John OusterhoutFix ld output with recent versions of GCC and binutils
 commit | commitdiff | tree
2018-03-28 John OusterhoutFix problems compiling documentation
 commit | commitdiff | tree
2015-12-18 John OusterhoutClarified wording in design question A2 for vm
 commit | commitdiff | tree
2015-12-18 John OusterhoutMake docs compile again
 commit | commitdiff | tree
2015-12-17 John OusterhoutUpdates for new version of qemu
 commit | commitdiff | tree
2015-12-17 John OusterhoutFsutil_ls must close the directory after reading it
 commit | commitdiff | tree
2015-12-17 John OusterhoutPatches to make Bochs 2.6.2 work with Pintos
 commit | commitdiff | tree
2015-12-17 John OusterhoutFixes exec-bound-3 failures
 commit | commitdiff | tree
2015-12-17 John OusterhoutFixed typo in docs Section 3.1.4.1 (0x08084000 => 0x08048000)
 commit | commitdiff | tree
2015-12-17 John OusterhoutRemove mention of CS 107 from localsettings.texi
 commit | commitdiff | tree
2015-12-17 John OusterhoutSwitch docs to use Git instead of CVS by default
 commit | commitdiff | tree
2015-12-17 John OusterhoutAdded more userprog tests, mostly relating to boundary...
commit | commitdiff | tree
2015-12-17 John OusterhoutMinor documentation updates
 commit | commitdiff | tree
Pintos public repository