rename validator to authenticator
rename validator to authenticator
rename validator to authenticator
fix examples
fix examples
Merge pull request #154 from mirleft/rename-validator

Rename validator
style
Merge pull request #155 from mirleft/style-fix

style
remove hardcoded static seed
use Entropy device from mirage to seed rng
Merge pull request #156 from mirleft/entropy

Entropy
mirage: types: require entropy device
mirage: use entropy device

... properly feed it into fortuna accumulator pool
unbreak mirage examples
Merge pull request #157 from mirleft/entropy-times-t

E*t
ignore *.docdir
select a supported protocol version and ciphersuite by random
when sending hello request, actually wait for a client hello
disable version randomization for now
rename rekeying -> reneg