IRC logs for #openrisc Monday, 2017-06-19

--- Log opened Mon Jun 19 00:00:36 2017
-!- Netsplit *.net <-> *.split quits: Laksen14:19
-!- Netsplit over, joins: Laksen14:23
--- Log closed Mon Jun 19 20:13:53 2017
--- Log opened Mon Jun 19 20:14:00 2017
-!- Irssi: #openrisc: Total of 48 nicks [0 ops, 0 halfops, 0 voices, 48 normal]20:14
-!- Irssi: Join to #openrisc was synced in 27 secs20:14
promachFor verilator, anyone have experience using dump() with non-integer timestamp ?22:31
--- Log closed Tue Jun 20 00:00:38 2017

Generated by irclog2html.py 2.15.2 by Marius Gedminas - find it at mg.pov.lt!