
    ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(o)—     |     |   |   |     |   |   |  |  |  |————     '————|
 ———————    |     |   |    |   |    |   |    ||  |              |
—————————   —————'   —'—     '     —'—  '     '  '—————         '

home     manual     roadmap     issues     status     papers     download

Timeline

04/12/2021:

12:12 Ticket #114 (divine check fails with "cannot enter kernel mode here") closed by mornfall: worksforme: I believe this is resolved: the problem was a change in the semantics …

03/26/2021:

13:01 Ticket #111 (libc: zero size allocations are handled improperly) closed by mornfall: fixed: The invalid dereference variant is fixed in next. I don't think the …
02:23 Ticket #16 (Undetected double free) closed by mornfall: fixed: The comparison is now reported as an error by verify, so the program …
01:46 Ticket #110 (DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference) closed by mornfall: fixed: Fixed in next.
01:18 Ticket #97 (DiOS: Passing the debug:mainargs option results in config error in kernel) closed by mornfall: fixed: Fixed in next.
01:18 Ticket #96 (DiOS: Passing the debug:faultcfg option results in null pointer ...) closed by mornfall: fixed: Fixed in next.

Note: See TracTimeline for information about the timeline view.

—— paradise  |  fi muni  |  2000 – 2018 ——