Monday, 2021-10-04

lkclghostmansd[m], i updated the table. the function you wrote looks great. interestingly the min() is redundant12:04
lkclwhat do you think of the idea of putting those tables as CSV files (say, in here https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=openpower/isafunctions;hb=HEAD)12:05
lkclthen picking them up in *both* the wiki (isafunctions is an underlay in the wiki) *and* using them as unit test data? :)12:05
lkclthe name of the csv file is the value being tested, the csv file contains the expected results12:06
lkcli think that would be frickin funny12:06
ghostmansd[m]lkcl: ok, but how to import csv into the wiki? any examples?17:14
ghostmansd[m]With tests it's easy, I've read/written csvs in Python, but how to dynamically load stuff into the wiki?17:15
lkclghostmansd[m], it's pretty easy, a 1-liner.  1 sec20:23
lkcl[[!table format=csv file="openpower/isatables/minor_62.csv"]]20:23
lkclthat's it.20:23
lkclso in this case it would be ... mmm... [[!table format=csv file="openpower/isafunctions/extsxl_sourcenumberinhex.csv"]]20:25
lkclbut remember that the csv file goes *into the openpower-isa* repo, next to bcd.mdwn20:25
lkcl*NOT* the wiki repo20:25
lkcli have set up ikiwiki to *merge* those two repos together20:26
lkclghostmansd[m], csv file20:29
lkclhttps://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=71b3209ce709e13cad6d537f6962c9f445d3a4a320:29
ghostmansd[m]Ack. Will do once I have time.20:30
lkclcorresponding wiki https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=91ae9ae736df5a849e0d9b374ba040d9fb9a145820:30
lkclno problem, no rush20:30
lkclghostmansd[m], csv works well.23:01

Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!