| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** flag <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 01:17 | |
| *** flag <[email protected]> has joined #yosys | 01:19 | |
| cr1901 | tnt: Like this? https://github.com/cr1901/spi_tb/blob/master/formal.sby#L10 | 02:25 |
|---|---|---|
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 252 seconds) | 04:14 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 04:15 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 252 seconds) | 04:20 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 04:20 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:d64f:9caf:873c:5d2d> has joined #yosys | 04:36 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 276 seconds) | 04:36 | |
| *** FabM <[email protected]> has joined #yosys | 07:12 | |
| tnt | cr1901: yeah for some reason the script I was modifying (I'm not the original author) wasn't using the -formal parameter, adding it fixed it. | 07:17 |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer) | 08:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 08:03 | |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has joined #yosys | 10:33 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 246 seconds) | 10:35 | |
| *** FabM <FabM!~FabM@2a03:d604:114:5b00:21de:9d5d:443f:66aa> has joined #yosys | 11:36 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Remote host closed the connection) | 12:43 | |
| *** FabM <FabM!~FabM@2a03:d604:114:5b00:21de:9d5d:443f:66aa> has joined #yosys | 12:46 | |
| *** oldtopman <[email protected]> has quit IRC (Ping timeout: 276 seconds) | 13:04 | |
| *** oldtopman <[email protected]> has joined #yosys | 13:05 | |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has quit IRC (Ping timeout: 260 seconds) | 14:48 | |
| *** tlwoerner <[email protected]> has joined #yosys | 14:53 | |
| *** ZipCPU <[email protected]> has quit IRC (Ping timeout: 244 seconds) | 14:55 | |
| *** ZipCPU <[email protected]> has joined #yosys | 15:00 | |
| *** Guest47 <[email protected]> has joined #yosys | 15:02 | |
| *** MyNetAz <MyNetAz!~MyNetAz@user/MyNetAz> has quit IRC (Remote host closed the connection) | 15:25 | |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has joined #yosys | 15:32 | |
| *** MyNetAz <MyNetAz!~MyNetAz@user/MyNetAz> has joined #yosys | 15:45 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 265 seconds) | 16:51 | |
| *** Guest47 <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 16:55 | |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has quit IRC (Ping timeout: 268 seconds) | 17:36 | |
| *** craigt <craigt!~Icedove@fsf/staff/craigt> has joined #yosys | 17:48 | |
| *** craigt1 <craigt1!~Icedove@fsf/staff/craigt> has joined #yosys | 18:08 | |
| *** craigt <craigt!~Icedove@fsf/staff/craigt> has quit IRC (Ping timeout: 244 seconds) | 18:10 | |
| *** craigt1 is now known as craigt | 18:10 | |
| *** hwpplayer1 <hwpplayer1!~user@user/hwpplayer1> has joined #yosys | 18:47 | |
| hwpplayer1 | Hello, I just wanted to share that Nextpnr and Yosys have been added to the Free Softare Directory. It is a publicly editable wiki, so if anyone wishes to improve the entries, you can! Thank you for creating free software! | 18:49 |
| hwpplayer1 | https://directory.fsf.org/wiki/Nextpnr and https://directory.fsf.org/wiki/Yosys | 18:52 |
| tpb | Title: Nextpnr - Free Software Directory (at directory.fsf.org) | 18:52 |
| *** hwpplayer1 <hwpplayer1!~user@user/hwpplayer1> has quit IRC (Remote host closed the connection) | 19:15 | |
| *** hwpplayer1 <hwpplayer1!~user@user/hwpplayer1> has joined #yosys | 19:17 | |
| *** craigt1 <craigt1!~Icedove@fsf/staff/craigt> has joined #yosys | 20:00 | |
| *** craigt <craigt!~Icedove@fsf/staff/craigt> has quit IRC (Ping timeout: 260 seconds) | 20:01 | |
| *** craigt1 is now known as craigt | 20:01 | |
| *** craigt1 <craigt1!~Icedove@fsf/staff/craigt> has joined #yosys | 20:07 | |
| *** craigt <craigt!~Icedove@fsf/staff/craigt> has quit IRC (Ping timeout: 272 seconds) | 20:10 | |
| *** craigt1 is now known as craigt | 20:10 | |
| *** craigt <craigt!~Icedove@fsf/staff/craigt> has quit IRC (Quit: craigt) | 20:34 | |
| *** ats <[email protected]> has quit IRC (Ping timeout: 276 seconds) | 21:10 | |
| *** ats <[email protected]> has joined #yosys | 21:36 | |
| *** hwpplayer1 <hwpplayer1!~user@user/hwpplayer1> has quit IRC (Quit: tomorrow is another day) | 22:36 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 22:44 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 22:45 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:04 | |
| *** nonchip <[email protected]> has joined #yosys | 23:04 | |
| *** hwpplayer1 <hwpplayer1!~user@user/hwpplayer1> has joined #yosys | 23:58 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!