hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Feb 1st) - next call Jan 9th 16:00 GMT https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.1 is released - happy hacking!
mort___ has joined #mirage
mort___1 has quit [Ping timeout: 250 seconds]
mort___ has quit [Quit: Leaving.]
pagurus` has quit [Ping timeout: 272 seconds]
pagurus has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
<ehirdoy> any pointer to 'dead code elimination'? https://github.com/ocaml/ocaml/pull/608# For example, which version of compliers enabled and its usage?
jnavila has joined #mirage
mort___ has joined #mirage
jnavila has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
_whitelogger has joined #mirage
mort___ has joined #mirage
mort___1 has joined #mirage
mort___1 has left #mirage [#mirage]
lars_kurth has quit [Quit: ZNC - http://znc.in]
mort___ has quit [Ping timeout: 268 seconds]
lars_kurth has joined #mirage
superherointj has joined #mirage
superherointj has quit [Quit: Leaving]
<copy`> ehirdoy: install the 4.06.1+lto switch and add `-use-lto` to the `(flags …)` stanza
Haudegen has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
Haudegen has joined #mirage
jnavila has joined #mirage
jnavila has quit [Remote host closed the connection]
mort___ has left #mirage [#mirage]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
mort___ has joined #mirage
sigjuice_ has joined #mirage
syntiux_ has joined #mirage
sigjuice has quit [*.net *.split]
syntiux has quit [*.net *.split]
zkms has quit [*.net *.split]