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

home     manual     roadmap     issues     status     papers     download

Timeline

04/02/2019:

10:11 Ticket #59 (Make it possible for `step --over` to stop on thread switch) created by Vladimír Štill: Currently step --over continues until the execution of the current …

04/01/2019:

08:40 Ticket #58 (Build fails: Directory nonexistent) created by Marek Chalupa: Hi, this error is raised when building DIVINE, commit 29c9e5ef04d. I …

03/29/2019:

11:27 Ticket #57 (Build error in divine-smt) closed by Marek Chalupa: duplicate: This is a duplicate of https://divine.fi.muni.cz/trac/ticket/49, I …
11:25 Ticket #57 (Build error in divine-smt) created by Marek Chalupa: I downloaded the current divine (29c9e5ef04df00) via darcs, tried to …

03/08/2019:

20:30 Ticket #56 (Showing globals does not work) created by Vladimír Štill: From Marek: DIVINE reaches abort() when trying to show a global …

Note: See TracTimeline for information about the timeline view.

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