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 …


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.