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

home     manual     roadmap     issues     status     papers     download     

Timeline

View changes from
going back days
by author

Changesets in all repositories   - current   - next Milestones completed Tickets opened and closed

08/26/2018:

10:36 Ticket #8 (Missing or spurious ODBC dependency) created by Vladimír Štill

As reported by Kamil: ODBC is missing in the build dependencies. On …

08/20/2018:

09:46 Ticket #7 (Problems with --symbolic in SV-COMP benchmarks) created by Vladimír Štill

all with SV-COMP benchmarks or modified versions thereof: 1. divine …

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