Timeline



06/05/2018:

13:28 Ticket #6 (Improve support for debugging inlined functions) created by Vladimír Štill
In divine sim it is now very hard to debug a function which was …
12:57 Ticket #5 (Invalid YAML report for programs with options or stdin) created by Vladimír Štill
divine check outputs invalid report if there is a binary file given …

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.
Note: See TracTimeline for information about the timeline view.