10:36 Ticket #61 (Problems in SV-COMP) closed by Henrich Lauko
invalid: Hi, to use sv-comp nondet functions you need to run divine with the …
08:41 Ticket #61 (Problems in SV-COMP) created by otis01329
I have some doubts about the use of DIVINE4 software. 1. In C++ …


14:38 Ticket #60 (missing __sym_sitofp) created by tkratochvila
While for example in divine 4.1.6+43d9a505081f was able to convert int …


19:47 Ticket #56 (Showing globals does not work) closed by mornfall
fixed: Should be fixed in next.
Note: See TracTimeline for information about the timeline view.