| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** experemental <[email protected]> has joined #yosys | 00:03 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 01:37 | |
| *** experemental <[email protected]> has quit IRC (Read error: error:0A000119:SSL routines::decryption failed or bad record mac) | 02:32 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 264 seconds) | 02:35 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Quit: Connection reset by peep) | 03:37 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 03:45 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Quit: Connection reset by peep) | 04:02 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 04:05 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 07:07 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 08:03 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 08:09 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 10:51 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 276 seconds) | 11:04 | |
| *** Zevv <[email protected]> has joined #yosys | 14:19 | |
| Zevv | What is the reason the FSM opt will not do state machines where the state has an initial value? | 14:19 |
|---|---|---|
| lofty | Zevv: from looking at stuff like issues #187 and #188, the FSM optimisations are not sound in the presence of initial values | 14:24 |
| Zevv | right. | 14:24 |
| lofty | "The framework only works if it can assume that the FSM is never in an invalid state, except before the reset signal is asserted, in which case it has undefined behavior before that." | 14:26 |
| lofty | (from #187) | 14:26 |
| Zevv | ok, that makes sense. | 14:27 |
| Zevv | thanks. | 14:27 |
| *** markov_twain <markov_twain!~markov_tw@user/markov-twain/x-1620001> has quit IRC (Quit: markov_twain) | 14:56 | |
| *** cr1901 <[email protected]> has quit IRC (Quit: Leaving) | 15:27 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:807a:bec5:9217:8924> has joined #yosys | 15:31 | |
| *** emeb_mac <[email protected]> has joined #yosys | 15:31 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:807a:bec5:9217:8924> has quit IRC (Remote host closed the connection) | 15:38 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 15:39 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:807a:bec5:9217:8924> has joined #yosys | 15:39 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:807a:bec5:9217:8924> has quit IRC (Remote host closed the connection) | 15:42 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:807a:bec5:9217:8924> has joined #yosys | 15:42 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 245 seconds) | 15:43 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 15:50 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 260 seconds) | 16:02 | |
| *** Zevv <[email protected]> has left #yosys (thanks) | 16:07 | |
| *** jn_ is now known as jn | 17:06 | |
| *** darkling <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 17:26 | |
| *** darkling <darkling!~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space> has joined #yosys | 18:36 | |
| *** mewt <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 18:44 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 22:06 | |
| *** experemental <[email protected]> has joined #yosys | 22:13 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 264 seconds) | 22:52 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:23 | |
| *** nonchip <[email protected]> has joined #yosys | 23:23 | |
| *** philtor <[email protected]> has joined #yosys | 23:43 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!