Monday, 2021-08-16

*** tpb <[email protected]> has joined #yosys00:00
*** emeb_mac <[email protected]> has quit IRC (Ping timeout: 245 seconds)01:33
*** emeb_mac <[email protected]> has joined #yosys01:34
*** emeb_mac <[email protected]> has quit IRC (Ping timeout: 258 seconds)01:41
*** emeb_mac <[email protected]> has joined #yosys01:42
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Read error: Connection reset by peer)03:01
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys03:22
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (*.net *.split)04:42
*** CarlosEDP <CarlosEDP!~carlosedp@2001:470:69fc:105::218e> has quit IRC (*.net *.split)04:42
*** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (*.net *.split)04:42
*** eater <[email protected]> has quit IRC (*.net *.split)04:42
*** scientes <scientes!~scientes@2001:bc8:62c:6e::1> has quit IRC (*.net *.split)04:42
*** vup <[email protected]> has quit IRC (*.net *.split)04:42
*** scientes <scientes!~scientes@2001:bc8:62c:6e::1> has joined #yosys04:43
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys04:43
*** CarlosEDP <CarlosEDP!~carlosedp@2001:470:69fc:105::218e> has joined #yosys04:43
*** tnt <tnt!~tnt@osmocom/tnt> has joined #yosys04:43
*** eater <[email protected]> has joined #yosys04:43
*** vup <[email protected]> has joined #yosys04:43
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (*.net *.split)04:44
*** dormito <dormito!~dullfire@user/dormito> has quit IRC (*.net *.split)04:44
*** V <[email protected]> has quit IRC (*.net *.split)04:44
*** dnm <[email protected]> has quit IRC (*.net *.split)04:44
*** benreynwar <[email protected]> has quit IRC (*.net *.split)04:44
*** AdamHord- <[email protected]> has quit IRC (*.net *.split)04:44
*** srk <srk!~sorki@user/srk> has quit IRC (*.net *.split)04:44
*** knielsen <[email protected]> has quit IRC (*.net *.split)04:44
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys04:45
*** dormito <dormito!~dullfire@user/dormito> has joined #yosys04:45
*** V <[email protected]> has joined #yosys04:45
*** dnm <[email protected]> has joined #yosys04:45
*** benreynwar <[email protected]> has joined #yosys04:45
*** AdamHord- <[email protected]> has joined #yosys04:45
*** srk <srk!~sorki@user/srk> has joined #yosys04:45
*** knielsen <[email protected]> has joined #yosys04:45
*** promach[m] <promach[m]!~promach@2001:470:69fc:105::ca1> has quit IRC (Ping timeout: 276 seconds)04:46
*** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has quit IRC (Ping timeout: 240 seconds)04:46
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Ping timeout: 272 seconds)04:46
*** CarlosEDP <CarlosEDP!~carlosedp@2001:470:69fc:105::218e> has quit IRC (Ping timeout: 272 seconds)04:46
*** diadatp <diadatp!~diadatp@2001:470:69fc:105::c603> has quit IRC (Ping timeout: 252 seconds)04:46
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Ping timeout: 252 seconds)04:46
*** Niklas[m]1 <Niklas[m]1!~nsmlzlmat@2001:470:69fc:105::c93a> has quit IRC (Ping timeout: 240 seconds)04:46
*** emilazy <emilazy!~emilazy@user/emilazy> has quit IRC (Ping timeout: 276 seconds)04:47
*** nak_ <nak_!~nak@yosys/nak> has quit IRC (*.net *.split)04:48
*** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (*.net *.split)04:48
*** Ekho <Ekho!~Ekho@user/ekho> has quit IRC (*.net *.split)04:48
*** mwk <mwk!~mwk@yosys/mwk> has quit IRC (*.net *.split)04:48
*** smkz <smkz!~x@user/smkz> has quit IRC (*.net *.split)04:48
*** nak_ <nak_!~nak@yosys/nak> has joined #yosys04:48
*** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys04:48
*** Ekho <Ekho!~Ekho@user/ekho> has joined #yosys04:48
*** mwk <mwk!~mwk@yosys/mwk> has joined #yosys04:48
*** smkz <smkz!~x@user/smkz> has joined #yosys04:48
*** gatecat <[email protected]> has quit IRC (*.net *.split)04:50
*** sorear <[email protected]> has quit IRC (*.net *.split)04:50
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (*.net *.split)04:50
*** koorogi <koorogi!~koorogi@user/koorogi> has quit IRC (*.net *.split)04:50
*** ecs <ecs!~ecs@user/ecs> has quit IRC (*.net *.split)04:50
*** gatecat <[email protected]> has joined #yosys04:50
*** sorear <[email protected]> has joined #yosys04:50
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has joined #yosys04:50
*** koorogi <koorogi!~koorogi@user/koorogi> has joined #yosys04:50
*** ecs <ecs!~ecs@user/ecs> has joined #yosys04:50
*** jryans <jryans!~jryans@2001:470:69fc:105::1d> has quit IRC (Ping timeout: 268 seconds)04:50
*** kaji <kaji!~kajiryoji@2001:470:69fc:105::405b> has quit IRC (Ping timeout: 276 seconds)04:51
*** Max-P <Max-P!~Max-P@thelounge/maintainer/Max-P> has quit IRC (*.net *.split)04:52
*** Max-P <Max-P!~Max-P@thelounge/maintainer/Max-P> has joined #yosys04:53
*** jix <jix!~jix@user/jix> has quit IRC (*.net *.split)04:54
*** adamse <adamse!sid72084@user/adamse> has quit IRC (*.net *.split)04:54
*** bluesceada <[email protected]> has quit IRC (*.net *.split)04:54
*** jix <[email protected]> has joined #yosys04:54
*** adamse <[email protected]> has joined #yosys04:55
*** bluesceada <[email protected]> has joined #yosys04:55
*** diadatp <diadatp!~diadatp@2001:470:69fc:105::c603> has joined #yosys05:07
*** CarlosEDP <CarlosEDP!~carlosedp@2001:470:69fc:105::218e> has joined #yosys05:40
*** jevinskie[m] <jevinskie[m]!~jevinskie@2001:470:69fc:105::bb3> has joined #yosys05:43
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys05:46
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys05:59
*** FabM <FabM!~FabM@armadeus/team/FabM> has joined #yosys06:02
*** promach[m] <promach[m]!~promach@2001:470:69fc:105::ca1> has joined #yosys06:19
*** Niklas[m]1 <Niklas[m]1!~nsmlzlmat@2001:470:69fc:105::c93a> has joined #yosys06:37
*** emilazy <emilazy!~emilazy@user/emilazy> has joined #yosys06:41
*** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.)07:02
*** kaji <kaji!~kajiryoji@2001:470:69fc:105::405b> has joined #yosys07:17
*** jryans <jryans!~jryans@2001:470:69fc:105::1d> has joined #yosys07:17
*** dormito <dormito!~dullfire@user/dormito> has quit IRC (Ping timeout: 256 seconds)09:50
*** vidbina <[email protected]> has joined #yosys10:32
*** dormito <dormito!~dullfire@user/dormito> has joined #yosys10:32
*** nak_ is now known as nak11:37
*** vidbina <[email protected]> has quit IRC (Ping timeout: 268 seconds)12:04
*** vidbina <[email protected]> has joined #yosys12:15
*** vidbina <[email protected]> has quit IRC (Ping timeout: 248 seconds)12:52
*** vidbina <[email protected]> has joined #yosys12:55
*** vidbina <[email protected]> has quit IRC (Ping timeout: 245 seconds)13:20
*** vidbina <[email protected]> has joined #yosys13:26
*** vidbina <[email protected]> has quit IRC (Ping timeout: 245 seconds)13:31
*** oldtopman <[email protected]> has joined #yosys14:09
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection)14:59
*** gsmecher <[email protected]> has joined #yosys15:51
*** vidbina <[email protected]> has joined #yosys17:03
*** modwizcode <modwizcode!~modwizcod@104-188-235-24.lightspeed.cicril.sbcglobal.net> has joined #yosys17:03
*** vidbina <[email protected]> has quit IRC (Ping timeout: 245 seconds)17:16
*** modwizcode <modwizcode!~modwizcod@104-188-235-24.lightspeed.cicril.sbcglobal.net> has quit IRC (Quit: Ping timeout (120 seconds))17:25
*** vidbina <[email protected]> has joined #yosys17:36
*** emeb <[email protected]> has joined #yosys17:47
*** vidbina <[email protected]> has quit IRC (Ping timeout: 240 seconds)17:59
*** emeb_mac <[email protected]> has joined #yosys20:09
*** emeb <[email protected]> has quit IRC (Ping timeout: 248 seconds)20:33
*** emeb_mac <[email protected]> has quit IRC (Ping timeout: 245 seconds)20:34
*** emeb_mac <[email protected]> has joined #yosys20:36
*** dormito <dormito!~dullfire@user/dormito> has quit IRC (Ping timeout: 240 seconds)20:36
*** emeb <[email protected]> has joined #yosys20:37
*** dormito <dormito!~dullfire@user/dormito> has joined #yosys21:09
cr1901Has anyone used yosys w/ a crash test case minimizer?21:45
tntIsn't that http://www.clifford.at/yosys/cmd_bugpoint.html ?21:55
tpbTitle: Yosys Open SYnthesis Suite :: Command Reference :: bugpoint (at www.clifford.at)21:55
cr1901Works for me21:56
*** emeb_mac <[email protected]> has quit IRC (Ping timeout: 240 seconds)22:13
*** emeb <[email protected]> has quit IRC (Ping timeout: 268 seconds)22:14
*** emeb <[email protected]> has joined #yosys22:15
*** emeb_mac <[email protected]> has joined #yosys22:18
*** emeb <[email protected]> has quit IRC (Quit: Leaving.)22:55
*** dormito <dormito!~dullfire@user/dormito> has quit IRC (Ping timeout: 240 seconds)23:53

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!