Friday, 2019-05-24

*** tpb has joined #openrisc00:00
*** mafm has quit IRC00:48
*** jevinskie has joined #openrisc02:04
*** jevinskie has quit IRC02:31
*** thunor has quit IRC03:16
*** thunor has joined #openrisc03:16
*** thunor has quit IRC03:22
*** thunor has joined #openrisc03:22
*** rohitksingh has joined #openrisc04:35
*** rohitksingh has quit IRC05:05
*** rohitksingh_work has joined #openrisc05:20
*** futarisIRCcloud has joined #openrisc07:34
*** arnd has quit IRC08:11
*** arnd has joined #openrisc08:11
*** daveshah has quit IRC08:16
*** marex-cloud has quit IRC08:17
*** daveshah has joined #openrisc08:17
*** futarisIRCcloud has quit IRC08:23
*** futarisIRCcloud has joined #openrisc08:27
*** marex-cloud has joined #openrisc09:43
*** mafm has joined #openrisc10:30
*** futarisIRCcloud has quit IRC10:33
*** thunor has quit IRC12:04
*** thunor has joined #openrisc12:05
*** rohitksingh_work has quit IRC12:55
*** thunor has quit IRC13:41
*** rohitksingh has joined #openrisc13:49
*** rohitksingh has quit IRC14:55
*** rohitksingh has joined #openrisc14:57
*** rohitksingh has quit IRC15:41
*** rohitksingh has joined #openrisc15:42
shorneZipCPU: :)21:32
ZipCPUshorne: What's going on these days?21:32
shorneZipCPU: still working on GCC for openrisc21:44
ZipCPUI've seen you make great strides at it21:44
ZipCPUI've been impressed21:44
ZipCPUThat's taken a lot of work21:44
shorneAdding FPU support and working on some new OpenRISC spec updates21:44
ZipCPUThe 1.3 spec has lied dormant for quite some time21:44
shornealso, trying to get all of the verilog cores better tested21:44
ZipCPUI didn't think it was going to see the light of day21:45
ZipCPUPlay with the formal methods at all are you ?  ;)21:45
shorneNot really playing with them yet, I have been reading some of your stuff, and just verilog `ifdef FORMAL sections of code21:46
shornebut haven't sat down and run anything on my own21:46
ZipCPUIf you choose to give them a try, feel free to holler at me if/when you get stuck21:47
shorneI did synthesize some things with yosys21:47
ZipCPUI think you'll be surprised at what you find21:47
ZipCPUHeheh ... yeah, it's one thing to touch your toes to the water, its another to wade in towards the deep end ;)21:47
*** thunor has joined #openrisc22:45
*** futarisIRCcloud has joined #openrisc23:48

Generated by 2.13.1 by Marius Gedminas - find it at!