| lkcl | octavius, mooornin. you saw i added a part ii to the pdf? | 10:37 |
|---|---|---|
| lkcl | biiig | 10:37 |
| octavius | morning lkcl, yes it's quite impressive! | 10:38 |
| lkcl | needs an inline-include program which does the same job as ikiwiki [[!inline ...]] | 10:40 |
| octavius | inline-include? What are you including? | 10:40 |
| lkcl | ```python | 10:44 |
| lkcl | [[!inline pagenames="gf_reference/pack_poly.py" raw="yes"]] | 10:44 |
| lkcl | ``` | 10:44 |
| octavius | Ah, you can pull in text files directly, cool | 10:45 |
| octavius | https://tex.stackexchange.com/questions/583984/how-to-include-a-txt-file-content-inside-the-latex-file | 10:46 |
| lkcl | i'm going to pre-process it, it's easier | 10:47 |
| lkcl | octavius, do put in RFPs *today* | 10:55 |
| lkcl | cesar, ^ | 10:55 |
| lkcl | programmerjake, ^ | 10:55 |
| octavius | regardless of completion? | 10:56 |
| programmerjake | I'll do it when I get up later...it's 3am now... | 10:56 |
| lkcl | programmerjake, ack :) | 10:56 |
| lkcl | octavius, no, only if completed | 10:56 |
| lkcl | octavius, can you update the link-creating-program for the pdf? | 11:05 |
| lkcl | add [[sv/vector_ops]] for example | 11:08 |
| lkcl | see simple_v_spec.tex for the names of chapters | 11:08 |
| lkcl | oh - after doing RFPs :) | 11:08 |
| cesar | lkcl: I really did some work (FSM CompUnit proof) on https://bugs.libre-soc.org/show_bug.cgi?id=342 , so I will send a RFP for that one. For the MultiCompUnit proof ( https://bugs.libre-soc.org/show_bug.cgi?id=879 ) I'd like to work a few more days on it. But I can send a RFP anyway, if you prefer. | 11:36 |
| programmerjake | I probably got fma working for f16 and round towards zero...bitwuzla's been running for 8min so far...it usually stops quickly if the HDL is broken somehow | 11:36 |
| lkcl | cesar, no don't send in an RFP for work not already done! that's one of the conditions of the NLnet grants, things have to be 100% completed | 12:08 |
| lkcl | programmerjake, wha-hey! | 12:08 |
| lkcl | dang | 12:08 |
| cesar | Got it, but then I'd like to work on them for a few more days. Won't be long, but it's not today, sorry. | 12:15 |
| lkcl | cesar, no problem - do put in 342 though | 12:30 |
| programmerjake | gn all | 12:35 |
| lkcl | programmerjake, night | 12:37 |
| lkcl | octavius, ya get the general drift? | 12:37 |
| lkcl | https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=cd038c559eb9b68bd0a5af74bfd0cb01aa323729 | 12:37 |
| octavius | Yeah, want me to do the rest? | 12:40 |
| * octavius afk for 15 min | 12:41 | |
| lkcl | yes please | 12:45 |
| lkcl | and add more to Part III | 12:45 |
| octavius | lkcl, do you want me to add all the remaining pseudo code mdwn files from isa/ dir? | 14:00 |
| octavius | I noticed a few you had in Part II (svfparith and svfixedarith) | 14:00 |
| octavius | I'll re-arrange the Makefile rules to follow the contents order, otherwise it gets pretty confusing XD | 14:01 |
| lkcl | octavius, yes please, add the *existing* Power ISA ones from isa/ dir | 14:11 |
| lkcl | they're listed oooonn.... | 14:11 |
| lkcl | https://libre-soc.org/openpower/isa/ | 14:11 |
| octavius | Also I noticed fcvt is unused (SV FP Conversion) | 14:11 |
| octavius | thanks lkcl, will do | 14:12 |
| lkcl | yes. don't add that | 14:14 |
| octavius | sure | 14:15 |
| lkcl | octavius, git pull, i just added a define for ../../openpower-isa/.... | 14:16 |
| lkcl | the Makefile should now work *without* having to build absolutely everything | 14:17 |
| octavius | yep | 14:17 |
| lkcl | if one single .mdwn file is modified it should pull in only what's needed | 14:17 |
| lkcl | but it's not perfect, because of some of the [[!inline]] includes | 14:17 |
| octavius | That's what I thought you were planning | 14:17 |
| octavius | Ah | 14:18 |
| lkcl | there is a way to deal with that, by getting the ./mdwn_inline.py program to actually output the files it detects | 14:18 |
| lkcl | btw don't move the svfixedarith / svfparith to Part III | 14:19 |
| octavius | Ok | 14:21 |
| * lkcl added bitmanip pseudocode | 14:26 | |
| lkcl | https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=6a5930c865332bb53d005ba37a87e39c47c04973 | 14:27 |
| octavius | wait, I thought I'm meant to add them? | 14:27 |
| octavius | I'm gonna have git fun again | 14:29 |
| octavius | I've set rebase to true | 14:32 |
| lkcl | that one i deliberately added into Part II *not* Part III | 14:36 |
| lkcl | because it's new. | 14:37 |
| octavius | ok | 14:37 |
| lkcl | Part III is *only* for *existing* Power ISA v3.0B | 14:37 |
| lkcl | the list of which is on | 14:37 |
| lkcl | https://libre-soc.org/openpower/isa/?updated | 14:37 |
| lkcl | bcd .... system | 14:37 |
| lkcl | oh and fpload ... fpcvt | 14:37 |
| octavius | Phew...324 pages XD | 15:24 |
| lkcl | octavius, i know :) | 15:27 |
| lkcl | that's very deliberate, to include everything | 15:27 |
| octavius | Yes ;) | 15:33 |
| octavius | Added all the instructions from the spec | 15:42 |
| octavius | I'll go for walk, gotta give my eyes a break :) | 15:42 |
| tinybronca[m] | This may be a bit OT, but I have a general Power ISA question... do any Power ISA CPUs made by anyone have loadable microcode like intel CPUs have? | 18:54 |
| lkcl | tinybronca[m], hi, there's only IBM POWERn/nn processors available | 19:54 |
| lkcl | if you ask in either #talos-workstation or #openpower you'd be more likely to get an accurate answer | 19:55 |
| tinybronca[m] | I did not know of these channels, thank you! | 19:55 |
| lkcl | because there will be people there with more knowledge of IBM's specific product lines - the POWER8, POWER9 and POWER10 | 19:56 |
| lkcl | this is also a gateway to them: https://chat.openpower.foundation/opf/channels | 19:56 |
| lkcl | not #talos-workstation though, that's for raptor TALOS-II systems | 19:57 |
| lkcl | octavius, now you know why my eyes went prism! | 20:02 |
| octavius | Hmm? | 20:02 |
| octavius | Oh you mean the computer overuse? | 20:03 |
| octavius | Luckily for me, my eyes get strained very quickly, so I have to take breaks sooner | 20:03 |
| lkcl | yehyeh | 20:03 |
| octavius | Paper's lovely :D | 20:04 |
| lkcl | required for the [[sv/av_opcodes]] | 20:04 |
| lkcl | mooore muhahahah | 20:04 |
| lkcl | can you put that (and others) into pandoc_img.py? | 20:04 |
| lkcl | ineptly-named program, i know | 20:04 |
| lkcl | [[sv/vector_ops]] | 20:05 |
| octavius | * (I was thinking about that name earlier....) * | 20:05 |
| octavius | sure, will do | 20:05 |
| octavius | You know what I just realised lkcl? We need to add a dependency on pandoc_img, otherwise the .tex files won't regenerate | 20:16 |
| octavius | Do I have to add this dependency to every file? | 20:16 |
| octavius | * rule (not file) | 20:16 |
| octavius | lkcl, can you check why the av_opcodes link is not working? Last time I added links I didn't really understand what the proper link names are supposed to be | 20:20 |
| octavius | "Just worked" for most of the links I added before XD | 20:20 |
| octavius | I've seen that mv_swizzle and mv_vec became mv.swizzle etc. but not sure what needs to be done for the av_opcodes | 21:04 |
| octavius | ...I'm a numpty | 21:05 |
| octavius | Added the pandoc_img dependency to pseudo_bitmanip (not bitmanip, which has a link to av_opcodes) | 21:09 |
| lkcl | octavius, yyep ya do | 22:07 |
| lkcl | generate the latex then inspect it, you'll see an auto-generated hyperlink. just copy that. | 22:08 |
| octavius | but now inline.py has an error (Error in $: Failed reading: not a valid json value) | 22:08 |
| lkcl | deep joy. ya broke it! | 22:09 |
| lkcl | remove whatever-you-added, one line at a time. | 22:09 |
| octavius | I didn't make changes in that area. The difference is that the bitmanip rule is now being executed | 22:11 |
| octavius | And looking at the mdwn_inline.py code, and I don't understand why JSON is involved. Are you converting the mdwn to json? | 22:12 |
| octavius | Just tried converting another file, the inline.py has the same issue | 22:16 |
| lkcl | that's how pandoc filters work | 22:18 |
| lkcl | $ pandoc --version | 22:19 |
| lkcl | pandoc 1.19.2.4 | 22:19 |
| lkcl | Compiled with pandoc-types 1.17.0.5, texmath 0.9.4.4, skylighting 0.3.3.1 | 22:19 |
| lkcl | i'm not getting any errors | 22:20 |
| octavius | pandoc 2.2.1 Compiled with pandoc-types 1.17.5.1, texmath 0.11.1, skylighting 0.7.5 | 22:20 |
| octavius | I'm using debian 10 as well | 22:21 |
| lkcl | can you back-track through the commit history, git log git checkout blahblah | 22:22 |
| lkcl | tomorrow. 22:30 now | 22:25 |
| octavius | Ok, I just git reset --hard to my latest commit. It now generates the text files | 22:25 |
| octavius | Not sure what happened there, some junk files not cleared? | 22:25 |
| octavius | You mean the meeting tomorrow? Or is there something else? | 22:26 |
| lkcl | it's late | 22:28 |
| octavius | Ah ok, gn | 22:29 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!