Timeline
04/02/2019:
- 10:11 Ticket #59 (Make it possible for `step --over` to stop on thread switch) created by
-
Currently
step --over
continues until the execution of the current …
04/01/2019:
- 08:40 Ticket #58 (Build fails: Directory nonexistent) created by
- 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
- 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
- I downloaded the current divine (29c9e5ef04df00) via darcs, tried to …
03/08/2019:
- 20:30 Ticket #56 (Showing globals does not work) created by
- From Marek: DIVINE reaches abort() when trying to show a global …
Note: See TracTimeline
for information about the timeline view.