| *** tpb <[email protected]> has joined #yosys | 00:01 | |
| *** lofty[m] <lofty[m]!loftyfield@2a01:4f8:c012:5b7:0:1:0:570> has joined #yosys | 00:41 | |
| lofty[m] | ysionneau: so, I uncovered something interesting while researching this | 00:41 |
|---|---|---|
| lofty[m] | the default seed is 3549216002486605715, which is more meaningfully 0x3141592653589793. | 00:41 |
| lofty[m] | however, nextpnr runs the rng a few times on a seed to get sufficient randomness when seeded, but not by default | 00:41 |
| lofty[m] | so --seed 3549216002486605715 will not give you the same result as a run without --seed | 00:41 |
| lofty[m] | but anyway, a run without --seed is deterministic. | 00:43 |
| Adrien[m] | Thanks lofty, good to know ! | 06:22 |
| janrinze | lofty[m]: That's good to know, and it's a nicely chosen seed :-D the digits of Pi in 64 bits hex. | 07:15 |
| *** krispaul <[email protected]> has quit IRC (Read error: Connection reset by peer) | 08:02 | |
| *** krispaul <[email protected]> has joined #yosys | 08:03 | |
| ysionneau | thanks lofty[m] for the research | 08:47 |
| ysionneau | I didn't even notice that the result was deterministic o_o | 08:48 |
| Adrien[m] | I'm not sure it is strictly deterministic 🤔 | 10:04 |
| Adrien[m] | The algorithms probably are, but their implementations (per-uarch contributions, etc) could well use containers sensitive to pointer values, so to virtual memory allocation, which is not reproducible. I have not checked that everywhere in the code, though. | 10:04 |
| *** buhman <buhman!sid411355@user/buhman> has quit IRC (Ping timeout: 244 seconds) | 11:03 | |
| *** mithro <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 11:03 | |
| *** buhman <buhman!sid411355@user/buhman> has joined #yosys | 11:04 | |
| *** sorear <[email protected]> has quit IRC (Ping timeout: 245 seconds) | 11:04 | |
| *** mithro <[email protected]> has joined #yosys | 11:04 | |
| *** sorear <[email protected]> has joined #yosys | 11:07 | |
| lofty[m] | which is why we generally make a point of not storing pointers as keys. | 12:00 |
| Adrien[m] | I wasn't aware of this policy, nice, thanks | 13:07 |
| *** tpb_ <[email protected]> has joined #yosys | 15:51 | |
| *** tpb_ is now known as tpb | 15:51 | |
| mewt | /23/32 | 15:59 |
| mewt | sorry | 15:59 |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:12 | |
| *** nonchip <[email protected]> has joined #yosys | 22:12 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!