Saturday, 2022-08-27

*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC05:41
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc05:42
ghostmansd[m]lkcl, I recall you mentioned we could dedicate some grant from cavatools. Since these recent works relate to each and every subsystem which deals with instructions — pysvp64asm, pysvp64dis, potentially nmigen-related chunks, and sv_binutils, — it'd be really great.07:29
*** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC08:28
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC09:01
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.57> has joined #libre-soc09:02
lkclghostmansd[m], yes absolutely. basically (deep breath) the plan is to do a nmigen-to-c compiler and a pseudocode-to-c compiler then cobble things together10:29
ghostmansd[m]Wow, sounds like a big project.10:30
lkclnot really.  the first nmigen-to-c experiment took about... 3 weeks i think? it's already faster than the standard nmigen-python simulator and that's with the main loop still in nmigen using cffi10:34
lkcland i'd expect the pseudocode-to-c compiler to be... mmm... a month? first version in under a week, stabilised in 310:35
lkclnmigen uses an absolutely tiny subset "programming" language.10:36
lkclarithmetic10:36
lkclif10:36
lkclelse10:36
lkclassignment10:36
lkclthat's all there is to it. so it was remarkably easy/quick to create a compiler.10:37
lkcland the pseudocode is remarkably similar to python, so much so that i only needed to take dabeaz's python-ply GardenSnake.py example, fix the lexer errors, and convert its lexer symbols.10:38
*** ghostmansd <ghostmansd!~ghostmans@176.59.166.57> has joined #libre-soc10:42
*** ghostmansd <ghostmansd!~ghostmans@176.59.166.57> has quit IRC11:06
*** ghostmansd <ghostmansd!~ghostmans@176.59.166.57> has joined #libre-soc11:08
*** ghostmansd <ghostmansd!~ghostmans@176.59.166.57> has quit IRC11:34
*** ghostmansd <ghostmansd!~ghostmans@176.59.166.57> has joined #libre-soc11:41
*** ghostmansd <ghostmansd!~ghostmans@176.59.166.57> has quit IRC12:03
ghostmansd[m]lkcl, got it12:26
ghostmansd[m]What'd be the right task and the right amount for the work already done? I'm still checking a case with pysvp64asm, but once it's handled I'd like to connect the completed works to some tasks or subtasks.12:29
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.57> has quit IRC14:07
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.166.57> has joined #libre-soc14:08
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.135> has joined #libre-soc14:09
lkclghostmansd[m], i'm going to need to stop doing everything else and look at that for about 2 clear days.14:49
lkcl4-5 if i have to do the cavatools MoU14:50
lkclbut14:50
lkclbecause the cavatools grant *has* been approved, any work done that gets allocated to tasks *will* be payable.14:51
ghostmansd[m]Perfect, thank you! Meanwhile I'll continue working on extending this.14:54
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.135> has quit IRC17:59
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.192> has joined #libre-soc18:02
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.192> has quit IRC18:20
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.135> has joined #libre-soc18:21
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.135> has quit IRC19:40
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.108> has joined #libre-soc19:40

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