^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(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

05/22/2019:

13:51 Ticket #61 (Problems in SV-COMP) closed by Henrich Lauko

invalid: You still have the same problem. In DIVINE it is not possible to print …

09:29 Ticket #61 (Problems in SV-COMP) reopened by otis01329

I made some changes after listening to your suggestions. This is my …

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 …

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