| lkcl | mepy: good | 09:54 |
|---|---|---|
| * mepy waves at lkcl | 09:56 | |
| *** mepy <mepy!~mepy@151.75.96.251> has left #libre-soc | 11:41 | |
| jxj-openwifi[m] | https://www.pixilica.com/graphics | 13:02 |
| lkcl | jxj-openwifi[m], yes - we know Atif Zazar. i've been in contact with him on and off | 15:11 |
| lkcl | very interesting, very intelligent guy | 15:11 |
| awygle | lkcl: i agree to the charter | 18:28 |
| lkcl | awygle: i've added you to a stack of repos, including https://git.libre-soc.org/?p=nmigen.git;a=summary | 19:56 |
| lkcl | feel free to do what you like, do however push/maintain suitable tag/branch(es) there | 19:58 |
| lkcl | there's more budget available for e.g. Formal Correctness Proofs, that budget of EUR 1250 is just for the implementation-side | 20:02 |
| lkcl | and there's *another* budget for documentation. it's a bit piecemeal, we had to shoe-horn things in across different NLnet 50,000 budgets | 20:02 |
| lkcl | https://bugs.libre-soc.org/show_bug.cgi?id=458 | 20:02 |
| awygle | can you link the bugs which track those other budget elements? | 20:05 |
| awygle | specifically documentation | 20:05 |
| lkcl | i'll have to make them | 20:16 |
| lkcl | the formal proofs one(s) can be large(r) we've plenty available there | 20:16 |
| lkcl | my feeling is for m.If/Else/Switch it reaaally needs formal correctness proofs | 20:17 |
| lkcl | bizarrely - as long as my intuition's on track - the actual modifications should be tiny. | 20:17 |
| awygle | so for #458, let's talk about what constitutes delivery briefly | 20:20 |
| awygle | my plan is to take the descriptions of PartitionedSignal and your proposed modifications | 20:20 |
| awygle | confirm that i agree that your proposed modifications are the best way to achieve the goal | 20:20 |
| awygle | write up an nmigen RFC around that | 20:20 |
| lkcl | oh nice. | 20:21 |
| awygle | discuss with whitequark whether she's comfortable making those changes to the core language at any point | 20:21 |
| awygle | and make those changes myself on a branch/fork | 20:21 |
| lkcl | right, i just found this https://bugs.libre-soc.org/show_bug.cgi?id=384 | 20:21 |
| awygle | (and test them etc etc) | 20:21 |
| awygle | whitequark accepting the changes can't be part of delivery because i don't control that | 20:21 |
| awygle | does that sound reasonable? | 20:21 |
| lkcl | that's a great plan | 20:21 |
| lkcl | yehyeh | 20:21 |
| awygle | great | 20:22 |
| lkcl | so *thinks* what am i calling this one... create RFC for nmigen dynamic partitioned signals support | 20:22 |
| lkcl | if the discussion occurs on nmigen bugtracker that's absolutely fine as long as it's linked to https://bugs.libre-soc.org/show_bug.cgi?id=594 | 20:26 |
| awygle | copy | 20:28 |
| lkcl | we've EUR 5,000 available from the parent doc budget, lots else todo from that one, can't go mad, but let me know (after-the-fact) a reasonable amount you'd be happy with for doing the RFC, and i can fill in the budget for it | 20:31 |
| lkcl | (we can adjust it later, that's ok) | 20:31 |
| awygle | ok, sounds good | 20:34 |
| lkcl | meeting 18 mins | 20:42 |
| lkcl | cesar[m]1, ^ | 20:42 |
| lkcl | programmerjake[m, ^ | 20:42 |
| lkcl | lxo, ^ | 20:42 |
| programmerjake[m | k | 20:43 |
| lkcl | (awygle this is with the OPF ISA WG. we also have an informal one every tuesday, talk-about-anything, if you're interested) | 20:43 |
| lxo | oh my. here was I, afk, so sure that the meeting started at half past the hour that I didn't even check. turned out it was the other meeting I had on Wednesdays that was at half past the hour. sorry | 21:31 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!