| lkcl | ghostmansd[m], i updated the table. the function you wrote looks great. interestingly the min() is redundant | 12:04 |
|---|---|---|
| lkcl | what 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 |
| lkcl | then picking them up in *both* the wiki (isafunctions is an underlay in the wiki) *and* using them as unit test data? :) | 12:05 |
| lkcl | the name of the csv file is the value being tested, the csv file contains the expected results | 12:06 |
| lkcl | i think that would be frickin funny | 12: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 |
| lkcl | ghostmansd[m], it's pretty easy, a 1-liner. 1 sec | 20:23 |
| lkcl | [[!table format=csv file="openpower/isatables/minor_62.csv"]] | 20:23 |
| lkcl | that's it. | 20:23 |
| lkcl | so in this case it would be ... mmm... [[!table format=csv file="openpower/isafunctions/extsxl_sourcenumberinhex.csv"]] | 20:25 |
| lkcl | but remember that the csv file goes *into the openpower-isa* repo, next to bcd.mdwn | 20:25 |
| lkcl | *NOT* the wiki repo | 20:25 |
| lkcl | i have set up ikiwiki to *merge* those two repos together | 20:26 |
| lkcl | ghostmansd[m], csv file | 20:29 |
| lkcl | https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=71b3209ce709e13cad6d537f6962c9f445d3a4a3 | 20:29 |
| ghostmansd[m] | Ack. Will do once I have time. | 20:30 |
| lkcl | corresponding wiki https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=91ae9ae736df5a849e0d9b374ba040d9fb9a1458 | 20:30 |
| lkcl | no problem, no rush | 20:30 |
| lkcl | ghostmansd[m], csv works well. | 23:01 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!