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

03/06/2020:

10:42 Ticket #109 (libc: calloc forgets to set errno whenever it fails) created by Lukáš Zaoral

Hi, Divine fails to correctly verify following piece of code and the …

02/06/2020:

17:07 Ticket #108 (symbolic: __VERIFIER_nondet_(u)int() causes a memory leak) closed by Henrich Lauko

duplicate: This is a duplication of #10. Unfortunately symbolic values currently …

16:25 Ticket #108 (symbolic: __VERIFIER_nondet_(u)int() causes a memory leak) created by Lukáš Zaoral

Hi, whenever the __VERIFIER_nondet_int() (or uint) function is …

14:37 Ticket #75 (cmake: Build of 4.4.2 fails due to missing target dependencies) closed by Henrich Lauko

fixed: Fix should appear in the next release.

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