
    ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(o)—     |     |   |   |     |   |   |  |  |  |————     '————|
 ———————    |     |   |    |   |    |   |    ||  |              |
—————————   —————'   —'—     '     —'—  '     '  '—————         '

home     manual     roadmap     issues     status     papers     download

Timeline

05/21/2019:

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++ …

05/17/2019:

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

04/21/2019:

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.

—— paradise  |  fi muni  |  2000 – 2018 ——