Timeline



07/03/2019:

14:53 Ticket #72 (Termination testing our data structures) created by Vladimír Štill
- refcnt_ptr and its compare_exchange_strong - hashset: …

07/02/2019:

16:09 Ticket #71 (Divine 4.3.2 Build failures) created by imartisko
Hi, I am trying to build the stable version of divine on Fedora 29 …

07/01/2019:

21:41 Ticket #70 (libpng tests in divine hit op != OpCode::Call in setjmp) created by blurrymoi
built zlib with dioscc (​https://zlib.net/zlib-1.2.11.tar.gz) built …

06/28/2019:

11:48 Ticket #69 (Fix linking with lld) created by blurrymoi
divcc is set to default to system ld for now
11:34 Ticket #58 (Build fails: Directory nonexistent) closed by mornfall
fixed: I assume this got fixed by the following patch: […]
11:22 Ticket #68 (sysconf macros should be inferred via hostabi) created by blurrymoi
11:20 Ticket #37 (Update libc++ and libc++abi.) closed by mornfall
fixed
11:19 Ticket #24 (divcc needs native libc++ and libc++abi to build C++ programs) closed by blurrymoi
fixed

06/11/2019:

16:58 Ticket #67 (DiOS: VFS Capture does not work) created by Vladimír Štill
Let's have a program, du.cpp: […] Now, we want to run this …
11:18 Ticket #66 (Re-write addSection in terms of llvm code.) created by blurrymoi
Use the ELF reading/writing code that is in llvm instead of objcopy.
07:42 Ticket #65 (Error message in symbolic mode) reopened by otis01329
I put the report of the divine4 output in the cloud. …

06/10/2019:

08:21 Ticket #65 (Error message in symbolic mode) closed by mornfall
invalid: A program which gives the same error as you see would be the …
05:14 Ticket #65 (Error message in symbolic mode) created by otis01329
In the symbolic mode using the divine, I have encountered the …

06/06/2019:

22:10 Ticket #64 (Integrate Ballista into DiOS' testsuite.) created by blurrymoi
Ballista provides a test suite for exceptional cases in functions and …
Note: See TracTimeline for information about the timeline view.