Timeline



12/04/2018:

15:32 Ticket #18 (Implement string modification abstraction.) created by Henrich Lauko
15:30 Ticket #17 (Generalize smt builder interface to be usable with different back-ends.) created by Henrich Lauko
14:57 Ticket #9 (Problem with cast form abstract int to abstract pointer.) closed by Henrich Lauko
fixed
14:56 Ticket #15 (Implement strcmp for mstring domain.) closed by Henrich Lauko
fixed
14:55 Ticket #11 (Implement string abstraction with 'strlen' function.) closed by Henrich Lauko
fixed
09:40 Ticket #12 (Have both versions of strerror_r) closed by blurrymoi
fixed

11/20/2018:

09:48 Ticket #16 (Undetected double free) created by Henrich Lauko
In current divine, we are not able to detect possible double free …

11/19/2018:

14:10 Ticket #15 (Implement strcmp for mstring domain.) created by Henrich Lauko
Also, inspect equality check on mstring domain. It should be …

11/15/2018:

12:07 Ticket #14 (Allow programs to override libc symbols) created by Vladimír Štill
[…] This code can be normally compiled by gcc. But it does not …

11/12/2018:

18:00 Ticket #13 (pass CMake pthreads check) created by blurrymoi
Should be fixed by using system's linker instead of gcc for linking, …
17:53 Ticket #12 (Have both versions of strerror_r) created by blurrymoi
"There are two variants of strerror_r(). The POSIX version (returns an …
17:26 Ticket #11 (Implement string abstraction with 'strlen' function.) created by Henrich Lauko
Rethink domain annotation of string domain functions. Update VPA, …

11/05/2018:

19:41 Ticket #7 (Problems with --symbolic in SV-COMP benchmarks) closed by Vladimír Štill
fixed
18:57 Ticket #10 (Memory leak from symbolic values.) created by Henrich Lauko
Problem with:[…]
18:53 Ticket #9 (Problem with cast form abstract int to abstract pointer.) created by Henrich Lauko
The following code (run with divine check --symbolic) fails with …
Note: See TracTimeline for information about the timeline view.