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 …


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 …


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


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 …


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 …


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
11:19 Ticket #24 (divcc needs native libc++ and libc++abi to build C++ programs) closed by blurrymoi
Note: See TracTimeline for information about the timeline view.