avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
copy` has quit [Quit: Connection closed for inactivity]
lars_kurth has joined #mirage
AltGr has joined #mirage
tekacs has quit [K-Lined]
tekacs has joined #mirage
AltGr has left #mirage [#mirage]
argent_smith has joined #mirage
<mato> kensan: Re HalVM and Solo5, I suspect the effort is stalled for now. I've not seen any discussion in ages.
apache2_ has quit [Quit: leaving]
<kensan> mato: I saw this ticket from April 2nd, '17: https://github.com/GaloisInc/HaLVM/issues/114
<kensan> mato: Judging by this the decision do move towards Solo5 has been taken: http://uhsure.com/halvm-status1.html
demonimin has joined #mirage
copy` has joined #mirage
_whitelogger has joined #mirage
argent_smith has quit [Quit: Leaving.]