Friday, 2025-06-13

*** tpb <[email protected]> has joined #yosys00:01
*** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection)00:24
*** _whitelogger <[email protected]> has joined #yosys00:31
*** srk <srk!~sorki@user/srk> has quit IRC (Ping timeout: 268 seconds)01:54
*** FabM <FabM!~FabM@2a03:d604:100:a500:c9dc:602c:ab38:3194> has joined #yosys04:38
*** Lord_Nightmare <Lord_Nightmare!Lord_Night@user/lord-nightmare/x-3657113> has quit IRC (Ping timeout: 252 seconds)05:09
*** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys05:12
*** remexre <remexre!~remexre@user/remexre> has quit IRC (Ping timeout: 260 seconds)05:43
*** remexre <remexre!~remexre@user/remexre> has joined #yosys05:45
*** lofty[m] <lofty[m]!loftyfield@2a01:4f8:c012:5b7:0:1:0:570> has joined #yosys06:14
lofty[m]vancz: I'm pretty sure the default is that it does not search for modules.06:14
*** anticw <[email protected]> has quit IRC (Ping timeout: 252 seconds)07:13
*** anticw <[email protected]> has joined #yosys07:14
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer)08:03
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys08:03
*** srk <srk!~sorki@user/srk> has joined #yosys08:10
*** zero-xray7 <zero-xray7!~nonlinear@user/nonlinear> has joined #yosys09:46
*** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 260 seconds)09:49
*** zero-xray7 is now known as zero-xray09:49
*** zero-xray4 <zero-xray4!~nonlinear@user/nonlinear> has joined #yosys10:14
*** tlwoerner <[email protected]> has quit IRC (Ping timeout: 252 seconds)10:17
*** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 260 seconds)10:17
*** zero-xray4 is now known as zero-xray10:17
*** tlwoerner <[email protected]> has joined #yosys10:19
*** zero-xray <zero-xray!~nonlinear@user/nonlinear> has quit IRC (Ping timeout: 268 seconds)10:54
*** xutaxkamay <xutaxkamay!~xutaxkama@2a01:cb1c:206:da00:318e:250:9a90:2816> has quit IRC (Ping timeout: 244 seconds)11:39
*** xutaxkamay <xutaxkamay!~xutaxkama@2a01:cb1c:206:da00:318e:250:9a90:2816> has joined #yosys11:40
*** xutaxkamay <xutaxkamay!~xutaxkama@2a01:cb1c:206:da00:318e:250:9a90:2816> has quit IRC (Ping timeout: 276 seconds)11:57
*** xutaxkamay <xutaxkamay!~xutaxkama@2a01:cb1c:206:da00:318e:250:9a90:2816> has joined #yosys11:58
*** jn <jn!~quassel@2a0a-a54a-a3a6-0-20d-b9ff-fe49-15fc.ipv6dyn.netcologne.de> has joined #yosys12:02
vanczI ended up looking at the source code, though not very carefully15:15
vanczI didn't see anything other than the -I"dir" parameter, though I didnt quite figure out if that Does The Thing. In any case, it seems to.15:16
vanczverilator documents what it does here https://veripool.org/guide/latest/exe_verilator.html?highlight=path#cmdoption-y15:17
tpbTitle: verilator Arguments — Verilator Devel 5.031 documentation (at veripool.org)15:17
whitequark[cis]read_verilog doesn't attempt to load any files you don't direct it to, where "direct" could be "specify at the command line or as an argument to read_verilog" or "use a preprocessor directive"15:23
whitequark[cis]so it doesn't search anything when it encounters an unknown module. it just proceeds under the assumption that you'll load it later15:23
*** foxfromabyss <foxfromabyss!~foxfromab@dynamic-078-054-194-038.78.54.pool.telefonica.de> has joined #yosys16:18
*** foxfromabyss <foxfromabyss!~foxfromab@dynamic-078-054-194-038.78.54.pool.telefonica.de> has quit IRC (Ping timeout: 272 seconds)18:34
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 272 seconds)19:11
*** tlwoerner_ <[email protected]> has joined #yosys20:18
*** tlwoerner <[email protected]> has quit IRC (Remote host closed the connection)20:20
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:11
*** nonchip <[email protected]> has joined #yosys22:11
*** flag <[email protected]> has quit IRC (Ping timeout: 252 seconds)22:25
*** flag <[email protected]> has joined #yosys22:27

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