Timeline



07/17/2019:

16:48 Ticket #74 (make static failures - Divine 4.3.2) created by imartisko
Hello, based on the info from the issue #73, we are trying to make …

07/12/2019:

10:55 Ticket #73 (make install failure - Divine 4.3.2) created by Lukáš Zaoral
Hi, I am trying to build divine 4.3.2 on Fedora 30. The build itself …

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