| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix typos. | Bruce Mitchener | 2024-11-26 | 1 | -1/+1 |
| * | Fix indentation of second clause of license. | Gareth Rees | 2020-08-30 | 1 | -3/+3 |
| * | Use https: instead of http: when linking to the ravenbrook web site. | Gareth Rees | 2020-08-30 | 1 | -1/+1 |
| * | Publish licence updates in code directory. | Peter Jackson | 2020-06-11 | 1 | -46/+34 |
| * | Use tags with dots; regularize design references from code. | Gareth Rees | 2018-11-29 | 1 | -29/+29 |
| * | Rename "mac os x" and "os x" to "macos", except for a few cases where for his... | Gareth Rees | 2018-06-15 | 1 | -3/+3 |
| * | Documentation improvements. | Gareth Rees | 2017-02-18 | 1 | -3/+3 |
| * | Make shield assertions robust against deep checking -- when shieldcover is ca... | Gareth Rees | 2016-05-03 | 1 | -11/+14 |
| * | Untabify. | Gareth Rees | 2016-04-21 | 1 | -1/+1 |
| * | Merging branch/2016-03-13/defer-write-barrier into master sources. | Richard Brooksby | 2016-03-24 | 1 | -4/+0 |
| |\ |
|
| | * | Simplifying segsetsummary by not requiring it to calculate the previous shiel... | Richard Brooksby | 2016-03-13 | 1 | -2/+0 |
| * | | Improving shieldflushentries to allow for delayed protection changes on shiel... | Richard Brooksby | 2016-03-23 | 1 | -6/+5 |
| * | | Improving commentary: the mutator is suspended, not the arena. | Richard Brooksby | 2016-03-23 | 1 | -1/+1 |
| * | | Responding to review by nb <https://info.ravenbrook.com/mail/2016/03/22/17-19... | Richard Brooksby | 2016-03-23 | 1 | -3/+3 |
| * | | Improving commentary in response to nb <https://info.ravenbrook.com/mail/2016... | Richard Brooksby | 2016-03-23 | 1 | -4/+6 |
| * | | Responding to review by gdr <https://info.ravenbrook.com/mail/2016/03/21/21-0... | Richard Brooksby | 2016-03-23 | 1 | -0/+6 |
| * | | Moving quicksort's workspace off the stack to limit mps stack usage. | Richard Brooksby | 2016-03-23 | 1 | -1/+2 |
| * | | Added discussion of when it might be good to resume the mutator early in desi... | Richard Brooksby | 2016-03-23 | 1 | -4/+4 |
| * | | Counting shield holds and releases, to ensure they are nested correctly. | Richard Brooksby | 2016-03-23 | 1 | -32/+129 |
| * | | Reorganising shield design and updating. | Richard Brooksby | 2016-03-23 | 1 | -6/+6 |
| * | | Catch-up merge from master sources to branch/2016-03-11/shield-coalesce. | Richard Brooksby | 2016-03-20 | 1 | -1/+1 |
| |\ \
| |/ |
|
| * | | Fixing splitting and merging for queued segments. | Richard Brooksby | 2016-03-20 | 1 | -3/+4 |
| * | | Tearing down shield correctly. | Richard Brooksby | 2016-03-20 | 1 | -6/+9 |
| * | | Renaming shield cache to shield queue. | Richard Brooksby | 2016-03-20 | 1 | -81/+81 |
| * | | Promoting shield to first class structure. | Richard Brooksby | 2016-03-20 | 1 | -77/+193 |
| * | | More documentation, tidying up, and cross-referencing. | Richard Brooksby | 2016-03-19 | 1 | -32/+40 |
| * | | Tidying up, especially special assertions. | Richard Brooksby | 2016-03-19 | 1 | -46/+76 |
| * | | Fixing missing cache flag reset when a single entry is removed in low memory ... | Richard Brooksby | 2016-03-19 | 1 | -34/+52 |
| * | | Separating flag for segment in shield cache from depth, clarifying code and o... | Richard Brooksby | 2016-03-19 | 1 | -49/+66 |
| * | | Updating shield design and actually checking invariants in code. | Richard Brooksby | 2016-03-19 | 1 | -72/+14 |
| * | | Deferring non-urgent fixmes to todos. | Richard Brooksby | 2016-03-19 | 1 | -1/+1 |
| * | | Design documentation, commentary, and code tidying. | Richard Brooksby | 2016-03-17 | 1 | -59/+53 |
| * | | Tidying up quicksort into an mpm utility. | Richard Brooksby | 2016-03-17 | 1 | -51/+13 |
| * | | Replacing qsort with an iterative implementation. | Richard Brooksby | 2016-03-17 | 1 | -7/+44 |
| * | | Shield cache that grows. improving commentary. | Richard Brooksby | 2016-03-17 | 1 | -29/+78 |
| * | | Catch-up merge from master sources to branch/2016-03-11/shield-coalesce. | Richard Brooksby | 2016-03-17 | 1 | -1/+1 |
| |\ \
| |/ |
|
| * | | Allocate the shield cache. also improve commentary quite a bit. | Richard Brooksby | 2016-03-17 | 1 | -50/+88 |
| * | | Basic coalescing of protects on shield flush. | David Lovemore | 2016-03-11 | 1 | -2/+100 |
| * | | Rename functions cache() and flush(). | David Lovemore | 2016-03-11 | 1 | -6/+12 |
| |/ |
|
| * | Catch-up merge from masters. | Richard Brooksby | 2016-01-19 | 1 | -2/+5 |
| * | Assert if a thread dies while registered, but make a best effort to continue ... | Gareth Rees | 2014-10-25 | 1 | -2/+2 |
| * | Ensure that code of the form if (condition) statement; is split over two line... | Gareth Rees | 2014-09-27 | 1 | -4/+6 |
| * | Adding comment i was prompted to write at <http://news.ycombinator.com/item?i... | Richard Brooksby | 2012-09-14 | 1 | -0/+27 |
| * | Added single compilation unit version of mps library to allow global optimiza... | Richard Brooksby | 2012-05-22 | 1 | -3/+3 |
| * | Eliminating "impl" type tags and replacing them with uri-style file references. | Richard Brooksby | 2002-06-07 | 1 | -1/+1 |
| * | Updating cross references to design documents to html style, to go with maste... | Richard Brooksby | 2002-06-07 | 1 | -5/+5 |
| * | Adding forward reference to licenses from copyright notices. | Richard Brooksby | 2002-06-06 | 1 | -1/+1 |
| * | Adding licenses to source code files. | Richard Brooksby | 2002-06-06 | 1 | -0/+42 |
| * | Remove trailing whitespace. | Nick Barnes | 2001-12-17 | 1 | -9/+9 |
| * | Removing hopenames from the master sources. | Richard Brooksby | 2001-12-07 | 1 | -1/+0 |
