Timeline



02/19/2019:

10:47 Ticket #55 (Store snapshots in 2 layers.) created by mornfall
The base snapshot would change rarely or never, the 'normal' snapshot …
10:39 Ticket #54 (Split global variables by compilation unit.) created by mornfall
This would be a straightforward static heuristic and could save …

02/18/2019:

18:33 Ticket #53 (divcc: Investigate and fix coreutils' ls) created by blurrymoi
Running ls results in a Segmentation Fault both natively and in DIVINE.

02/10/2019:

19:36 Ticket #41 (Faults that are suppressed should not appear in the trace) closed by mornfall
fixed: Should be gone in next. (Static builds are borked though, I'll look …
00:09 Ticket #52 (unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06) closed by mornfall
fixed: I have checked in the fix. Also turns out that LLVM codegen can't deal …

02/07/2019:

16:30 Ticket #52 (unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06) created by Kamil Dudka
I tried to reproduce …

02/04/2019:

17:37 Ticket #51 (Write a style guide.) created by mornfall
A few bullet points for now: - indent is 4 spaces and applies to …

02/03/2019:

02:14 Ticket #50 (Comparison of pointers in usermeta is incorrect.) created by mornfall
Marked pointers are not extracted into SMT queries and normal pointers …
02:03 Ticket #36 (Assign 'types' (weak, marked) to objects, not to pointers.) closed by mornfall
fixed: I have kept the _VM_T_DebugPersist call (at least for now), mainly for …

02/01/2019:

13:45 Ticket #49 (Build system should check for minimal version of Z3) created by adamatousek
DIVINE build currently fails on Debian with downstream Z3 installed. …

01/30/2019:

13:40 Ticket #48 (Destroy symbolic formula directly when 0 reference count is reached) created by Henrich Lauko
13:36 Ticket #47 (Benchmark abstraction cleanup influence) created by Henrich Lauko
13:31 Ticket #46 (Simplify stashing mechanism) created by Henrich Lauko
Backtrack to the previous solution with a single stashed structure: …

01/27/2019:

12:05 Ticket #45 (Add support for __atomic_* libcalls) created by Vladimír Štill
In some code (such as boost::lockfree), there are 128bit atomics, …

01/25/2019:

16:22 Ticket #44 (Multi-Threaded Performance Doesn't Scale) created by John Lång
On my Debian laptop, I noticed that running divine check on my model …

01/21/2019:

16:25 Ticket #43 (Fix thread_local) created by Vladimír Štill
Currently, the thread_local keyword is not supported. Even worse, it …
Note: See TracTimeline for information about the timeline view.