05:45 <OmniMancer> Has there been any progress on documenting the bitstream for Anlogic EG4S20s?

06:32 <sensille> OmniMancer: have you used those?

06:52 <OmniMancer> sensille: not yet

11:41 <blueCmd> debit is pretty nice, but sadly it seems to have bit-rotten over the years

11:41 <blueCmd> I tried using it to reverse the bit-file of a Virtex-4 just now, and it's pretty ifficy to get to run, especially since only some Virtex pars are supported

15:37 <emily> pepijndevos: hi, poking you as I figure you probably know more about ghdl than me -- I'd like to package it for NixOS/nixpkgs, but not sure whether a release version or the git HEAD would be more appropriate (nixpkgs is totally fine having as long as they're kept reasonably stable, and I notice that the last release is quite old)

15:38 <emily> pepijndevos: I'd also like to understand which backend to use for the package -- looks like only mcode and llvm get tarball releases, so presumably not gcc at least?

15:39 <emily> (I'm fine with build pain, just want to give the best experience for users. if both backends are useful than I can package them both)

15:42 <pepijndevos[m]> emily the right guy to talk to would be 1132 something on gitter. I'd say for synthesis definitely master, for simulation stable is fine

15:42 <pie__> (yeah the good thing about nix is hopefully you only go through build pain theN+1 times you try to get it to build right, the first time)

15:43 <emily> pepijndevos[m]: ok, thanks :)

15:44 <pepijndevos[m]> There is a page in the docs about the backends

15:44 <emily> I'd be interested in seeing VHDL synthesis working, that requires a patched yosys right?

15:45 <pepijndevos[m]> Basically I think GCC has some coverage thing, but llvm is easier to build. Mcode is slower

15:45 <pepijndevos[m]> No, you can load ghdldynth-beta as a plugin

15:46 <emily> oh, cool

15:46 <pepijndevos[m]> That's the recommended way until the plugin is upstreamed in yosys

15:47 <pepijndevos[m]> Tristan is currently working on memory interference, after which it should be able to synthesize Microwatt

15:48 <pepijndevos[m]> Should, because they keep adding new things haha

15:49 <emily> does it support building multiple backends or do you need separate ghdl builds for that? ah, well, I should ask this stuff on the gitter I suppose :)

15:49 <emily> just need to find the time to jump through the hoops of yet another chat platform...

15:51 <pepijndevos[m]> I think it's separate builds

15:52 <pepijndevos[m]> Yea this 1132 guy maintains packages and docker images

15:53 <pepijndevos[m]> At least with gitter you can just oauth once with github and be done, rather than getting an invite for every single project [angry look at slack]

16:47 <qu1j0t3> ...ut

16:47 <qu1j0t3> oops

17:14 <mithro> Anyone ever used dinotrace? https://www.veripool.org/wiki/dinotrace