
    ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(o)—     |     |   |   |     |   |   |  |  |  |————     '————|
 ———————    |     |   |    |   |    |   |    ||  |              |
—————————   —————'   —'—     '     —'—  '     '  '—————         '

home     manual     roadmap     issues     status     papers     download

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 …

Note: See TracTimeline for information about the timeline view.

—— paradise  |  fi muni  |  2000 – 2018 ——