contra-bit (9216d2df) at 23 Jun 13:55
fix termination of prng
contra-bit (103d1d68) at 23 Jun 11:16
fix non terminating loop in frama-c prng
... and 2 more commits
contra-bit (84bc1738) at 16 Jun 12:53
more unroll loop ACSL
contra-bit (5d67417b) at 15 Jun 21:29
remove leftover conflict
contra-bit (297000de) at 15 Jun 13:47
Merge branch 'master' of git.frama-c.com:contra-bit/open-source-cas...
... and 6 more commits
contra-bit (018169b2) at 15 Jun 13:02
changes from upstream
contra-bit (67cb4002) at 14 Jun 11:27
add tinyDTLS license
contra-bit (9435e42a) at 14 Jun 11:05
WIP verifiaction of tinyDTLS