| lkcl | cesar[m]1, did you manage to recover the tablet yet? :) | 10:36 |
|---|---|---|
| cesar[m]1 | Not yet, but I'm making progress. I'm learning and practicing some recovery steps with an old unused Android phone, first, until I have enough confidence. | 11:01 |
| lkcl | cesar[m]1, good idea | 11:12 |
| lkcl | add. Rc=1 works! | 11:12 |
| lkcl | the for-loop is such a ridiculously small amount of code :) | 11:23 |
| lkcl | surely it has to be more difficult, right? :) | 11:23 |
| lkcl | actually y'know what, it just occurred to me, if VL=0 the instruction doesn't even have to be issued | 11:25 |
| cesar[m]1 | lkcl: I intend to draw a state diagram to help understanding the current FSM design for Simple-V. | 13:13 |
| lkcl | yes please :) | 14:04 |
| lkcl | btw we do need to morph the PC (NIA) setting back into fetch at some point (now that the loop's working) because PC is a forward-progression that in pipeline and multi-issue can't have a dependence on issue/execuet | 14:06 |
| lkcl | amusingly we might be able to do a multi-issue FSM :) | 14:07 |
| lkcl | lxo: david calmed down. it was very interesting. he's witnessed... a *lot* of spongeing over the years, of his and other experts' time, over the years. he thought we (RED Semiconductor) were going to do the same thing | 14:10 |
| lkcl | i explained that i *am* a libre software developer and i'm not going to let that happen | 14:10 |
| lkcl | :) | 14:10 |
| mopar_ed | lkcl: hi, I went through the HDL_workflow installation process. as a feedback here a some of the extra things I'd to do: for section 6.5 I had to do "pip3 install wheel", and I had to install rust for 6.5 as well | 14:13 |
| lkcl | ahh brilliant | 14:45 |
| lkcl | mopar_ed: thanks | 14:46 |
| lkcl | have you managed to work out how to edit the wiki yet? :) | 14:46 |
| lkcl | i apologise i was getting a lot of spam email-logins you may just have to do password-based | 14:47 |
| cesar[m]1 | lkcl: Understood, will work on moving the VL==0 loop and the NIA write into the Issue FSM. | 14:50 |
| lkcl | mopar_ed, what on earth does rust have to do with softfloat? moo? :) | 14:52 |
| lkcl | the ieee754 library which needs pia does need it | 14:54 |
| lkcl | mopar_ed, ah: pip3 install --upgrade -r requirements.txt | 14:54 |
| lkcl | cat requirements.txt | 14:54 |
| lkcl | pip | 14:54 |
| lkcl | wheel | 14:54 |
| lkcl | twine | 14:54 |
| lkcl | keyring | 14:54 |
| lkcl | cython==0.28.5 | 14:54 |
| cesar[m]1 | lkcl: We wait on "core busy" before simulating an instruction. Trouble is, on a VL==0 loop, there is no issue, so busy is never toggled. Will create another signal for the Simulator to wait on. | 15:00 |
| cesar[m]1 | See https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/simple/test/test_runner.py;h=9b8426b65cc4afba530de0fcd7efdc1839976bf0;hb=HEAD#l256 | 15:00 |
| lkcl | ah ok yes duh of course | 15:02 |
| lkcl | i will add svstate to DMI | 15:02 |
| lkcl | and JTAG | 15:02 |
| lkcl | oh. err... that was easy :) | 15:05 |
| lkcl | that will at least allow in litex sim.py to do a side-by-side comparison of debug output, later | 15:07 |
| mopar_ed | lkcl: strange, I did the pip3 install using the requirements.txt, probably I wasn't inside the venv. not sure now if rust was required for 6.5 or somewhere else, I thought I had written it down, but cannot find my notes now. | 19:13 |
| mopar_ed | question: I'm at the "make update" from here: https://git.libre-soc.org/?p=soc.git;a=summary | 21:03 |
| mopar_ed | log is not very helpful: | 21:04 |
| mopar_ed | Running Sphinx v3.5.2 | 21:04 |
| mopar_ed | Sphinx error: | 21:04 |
| mopar_ed | Builder name update not registered or available through entry point | 21:04 |
| mopar_ed | make: *** [Makefile:63: update] Error 2 | 21:04 |
| mopar_ed | has anyone had this before? | 21:04 |
| lkcl | mopar_ed, it will have been for pia | 21:32 |
| lkcl | sphinx? moo? :) | 21:32 |
| lkcl | 1 sec | 21:32 |
| lkcl | "make update" ah hang on... yep | 21:33 |
| lkcl | "make gitupdate" | 21:34 |
| lkcl | mopar_ed, ^ | 21:34 |
| mopar_ed | lkcl: thanks! | 21:49 |
| awygle | hi everyone. is it expected that the ieee754fpu test suite will pass on current master? i'm seeing some failures which are straight-up python errors and i want to make sure i don't have the wrong repo or branch (although i didn't see any likely branches) | 22:01 |
| awygle | (these are separate from the "nmigen's simulator interface has changed" errors which are more expected) | 22:03 |
| programmerjake[m | yes, it's (sadly) expected that master doesn't pass all tests | 22:04 |
| awygle | hm, ok. so my target then is "don't break any additional tests"? | 22:05 |
| programmerjake[m | we *still* haven't gotten around to finishing setting up CI | 22:05 |
| programmerjake[m | yeah, more or less | 22:05 |
| awygle | gotcha, thanks | 22:05 |
| awygle | To Whom It May Concern - AddReduce is broken in part_mul_add/multiply.py, line 334, looks like some code got halfway migrated | 22:06 |
| programmerjake[m | plz create a bug report | 22:07 |
| awygle | yup | 22:08 |
| programmerjake[m | thx | 22:08 |
| awygle | as soon as bugzilla sends me a password reset link..... | 22:17 |
| programmerjake[m | if you can't get it to work, check with lkcl | 22:21 |
| lkcl | awygle, yes none of the IEEE754 code is in use (including the partitioned multiply) | 23:40 |
| lkcl | we had to leave it for about a year and focus on getting the OpenPOWER 3.0B core running | 23:40 |
| awygle | makes sense | 23:41 |
| lkcl | awygle: your mail server is treating libre-soc.org as a spam / virus server | 23:41 |
| awygle | hm that's odd. it's just a forward to gmail, and i did get the earlier bugzilla messages. | 23:42 |
| lkcl | i've sent you a pm with the link, and forwarded you the message as well | 23:42 |
| awygle | thanks | 23:43 |
| awygle | ok i'm in now, great | 23:43 |
| awygle | just to confirm, the PartitionedSignal in ieee754fpu _is_ the PartitionedSignal in question, right? that's the only one i'm seeing in the repos i have checked out. | 23:45 |
| lkcl | yes | 23:45 |
| awygle | ok, good | 23:45 |
| awygle | that would have been embarrassing | 23:45 |
| lkcl | :) | 23:45 |
| lkcl | cesar[m]1 worked on the formal correctness proof only a few weeks back | 23:45 |
| lkcl | awygle, even the forwarding from lkcl@lkcl.net just failed! | 23:57 |
| lkcl | host mx.hover.com.cust.hostedemail.com [216.40.42.4]: | 23:57 |
| lkcl | 550 5.7.1 Message contains spam or virus. (109) | 23:57 |
| awygle | hm ok let me try and convince hover to chill out | 23:57 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!