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.