Timeline



12/13/2018:

13:57 Ticket #22 (Use lifetime markers to move allocas) created by Vladimír Štill
- kill allocas with VM obj free
13:21 Ticket #2 (Lazy loading / linking of DiOS bitcode.) closed by blurrymoi
fixed
12:47 Ticket #21 (Implement clock_gettime) created by John Lång
I'm trying to verify the implementation of my C++14 software …

12/10/2018:

17:08 Ticket #20 (Use error output for actual errors only) closed by mornfall
invalid: This is not how stdout/stderr works. In divine, like in many other …
16:05 Ticket #20 (Use error output for actual errors only) created by tkratochvila
When there is no error, print the output to STDOUT instead of STDERR. …

12/06/2018:

13:15 Ticket #19 (SYM: Spurious errors due to infeasible explicit values) created by Vladimír Štill
It is possible to create programs manifesting not only division by 0, …

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