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

home     manual     roadmap     issues     status     papers     download     

Timeline

View changes from
going back days
by author

Changesets in all repositories   - current   - next Milestones completed Tickets opened and closed

05/15/2018:

13:39 Ticket #4 (Implement exec --symbolic.) created by mornfall

Basically what KLEE does: construct / explore a symbolic execution …

13:18 Ticket #3 (Aggregate and garbage-collect *_log tables.) created by mornfall

When the log tables grow too much, they become useless anyway. We can …

05/14/2018:

08:49 Ticket #2 (Lazy loading / linking of DiOS bitcode.) created by mornfall

Linking small binaries with divcc (like those created by autoconf …

05/13/2018:

19:21 Ticket #1 (Fix memory leaks in DiOS) created by mornfall

The leak checker is currently useless because DiOS itself leaks memory.

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