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

home     manual     roadmap     issues     status     papers     download

Timeline

11/05/2018:

19:41 Ticket #7 (Problems with --symbolic in SV-COMP benchmarks) closed by Vladimír Štill: fixed
18:57 Ticket #10 (Memory leak from symbolic values.) created by Henrich Lauko: Problem with:[…]
18:53 Ticket #9 (Problem with cast form abstract int to abstract pointer.) created by Henrich Lauko: The following code (run with divine check --symbolic) fails with …

Note: See TracTimeline for information about the timeline view.

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