19:47 Ticket #56 (Showing globals does not work) closed by mornfall
fixed: Should be fixed in next.


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 …


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


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