| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has quit IRC (Quit: Connection reset by peep) | 01:18 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 01:21 | |
| programmerjake | jix: I opened a draft pr: https://github.com/YosysHQ/yosys/pull/3319 | 04:45 |
|---|---|---|
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:583d:eb3c:f0d4:2fa2> has joined #yosys | 05:28 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:507a:a18b:6a75:4106> has quit IRC (Ping timeout: 240 seconds) | 05:31 | |
| *** cr1901_ is now known as cr1901 | 05:58 | |
| *** acathla_ <[email protected]> has joined #yosys | 05:59 | |
| *** acathla <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 06:00 | |
| *** lkcl- <[email protected]> has joined #yosys | 06:00 | |
| *** TD-Linux <TD-Linux!~Thomas@user/td-linux> has quit IRC (Ping timeout: 246 seconds) | 06:01 | |
| *** lkcl <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 06:01 | |
| *** Ekho <Ekho!~Ekho@user/ekho> has quit IRC (Ping timeout: 246 seconds) | 06:01 | |
| *** TD-Linux <TD-Linux!~Thomas@user/td-linux> has joined #yosys | 06:06 | |
| *** Ekho- <Ekho-!~Ekho@user/ekho> has joined #yosys | 06:13 | |
| *** Ekho- is now known as Ekho | 06:18 | |
| *** FabM <[email protected]> has joined #yosys | 06:57 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 06:58 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 260 seconds) | 07:04 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 07:06 | |
| jix | so for fpmul_test.smt2 the bitwuzla -SE kissat I ran overnight made very little progress and now I need to reboot for updates (for fp16mul_test it was 9 times faster than z3 on my machine) | 07:40 |
| programmerjake | ok, as expected it's probably brute-forcing it to some extent | 07:41 |
| jix | yeah, even proving equivalence of different integer multipliers isn't handled very well by CDCL solvers | 07:46 |
| programmerjake | if you have time, could you look at my pr to see if i made any major mistakes? i don't want to merge it yet until i have modified nmigen to use it and can verify that works...it does have a test tho so at least it works in verilog | 07:49 |
| programmerjake | thx! | 07:50 |
| jix | so far I'm much more familiar with the formal parts (smtbmc, sby and specific yosys passes) than yosys overall (which is where part of my hesitation to add a cell for this comes from) but I can have a look | 07:55 |
| programmerjake | thx! | 07:56 |
| programmerjake | oh, should i escape the expression to avoid unintentionally producing smtbmc command comments? | 07:57 |
| *** ZipCPU <[email protected]> has quit IRC (Quit: ZNC 1.7.5+deb4 - https://znc.in) | 07:57 | |
| programmerjake | or similar | 07:57 |
| *** ZipCPU <[email protected]> has joined #yosys | 08:00 | |
| *** cyrozap-ZNC <[email protected]> has quit IRC (Quit: Client quit) | 09:49 | |
| *** cyrozap <cyrozap!~cyrozap@2604:180:2:69f::45de> has joined #yosys | 09:49 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:d1f0:2e29:5946:9ad0> has joined #yosys | 12:08 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:583d:eb3c:f0d4:2fa2> has quit IRC (Ping timeout: 240 seconds) | 12:11 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:911:ca4:8e3e:7dba:8c54> has joined #yosys | 12:12 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:d1f0:2e29:5946:9ad0> has quit IRC (Ping timeout: 240 seconds) | 12:15 | |
| *** lumo_e <[email protected]> has joined #yosys | 12:33 | |
| *** lumo_e <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 12:47 | |
| *** srk <srk!~sorki@user/srk> has quit IRC (Quit: ZNC 1.8.1 - https://znc.in) | 12:49 | |
| *** srk <srk!~sorki@user/srk> has joined #yosys | 12:50 | |
| *** emeb_mac <[email protected]> has joined #yosys | 13:16 | |
| *** Guest15 <[email protected]> has joined #yosys | 13:28 | |
| *** rektide <[email protected]> has quit IRC (Remote host closed the connection) | 13:28 | |
| *** Guest15 <[email protected]> has quit IRC (Client Quit) | 13:28 | |
| *** rektide <[email protected]> has joined #yosys | 13:33 | |
| *** rektide <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 13:54 | |
| *** rektide <[email protected]> has joined #yosys | 14:00 | |
| *** lumo_e <[email protected]> has joined #yosys | 14:11 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 14:48 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 15:34 | |
| lambda | mwk: congrats and thanks :) | 15:49 |
| *** emeb_mac <[email protected]> has quit IRC (Remote host closed the connection) | 15:57 | |
| *** lumo_e <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 16:48 | |
| *** emeb <[email protected]> has joined #yosys | 16:53 | |
| *** lumo_e <[email protected]> has joined #yosys | 18:32 | |
| *** lumo_e <[email protected]> has quit IRC (Read error: Connection reset by peer) | 18:35 | |
| *** kraiskil <[email protected]> has joined #yosys | 18:57 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 19:52 | |
| *** kraiskil_ <[email protected]> has joined #yosys | 19:53 | |
| *** kraiskil_ <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 20:18 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 20:34 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:12 | |
| *** nonchip <[email protected]> has joined #yosys | 22:13 | |
| *** emeb_mac <[email protected]> has joined #yosys | 23:03 | |
| cr1901 | Updating 06ef3f264..606f1637a | 23:21 |
| cr1901 | kernel/constids.inc | 12 + | 23:21 |
| cr1901 | Ahhh, this would explain why sccache thinks nothing's up to date | 23:22 |
| cr1901 | (I think) | 23:23 |
| mwk | I umm | 23:23 |
| mwk | I may have landed a... thing | 23:23 |
| cr1901 | Yea, it's not a problem. I was just trying to benchmark something and now the results are gonna be thrown off :P | 23:24 |
| cr1901 | More amused than anything that the one day I decide to do this, a new feature lands :D | 23:25 |
| mwk | do what? | 23:25 |
| cr1901 | I upgraded to an SSD after my Windoze installation died. I wanted to benchmark how fast I can build yosys on this 11 year old Core i7 laptop when the hard drive bottleneck is removed 1/2 | 23:26 |
| cr1901 | with management engine on and off | 23:26 |
| cr1901 | err not management engine | 23:27 |
| cr1901 | Idk where my mind is tonight | 23:27 |
| cr1901 | With MsMpEng.exe (Defender/Antivirus) turned on and off*. | 23:27 |
| cr1901 | I git pulled thinking it wouldn't matter much, and to give a more realistic incremental build. Whoops :D | 23:30 |
| mwk | welp sorry I destroyed everything | 23:30 |
| cr1901 | No worries. You landing a new feature is far more important than my silly benchmark :3. | 23:31 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!