14:55 hakzsam: pepp: mareko: https://gitlab.freedesktop.org/mesa/mesa/-/jobs/53650226 radeonsi-raven hangs for a couple of days
15:05 pepp: hakzsam: I think this should be fixed by !26947
15:06 pepp: btw if you or any radv dev could take a look at the first commits of !21658 I'd like to get some feedback on the libdrm_amdgpu related changes
15:07 pepp: "amd: add libdrm_amdgpu virtual table" and "
15:07 pepp: amd: port to libdrm_amdgpu virtual table"
15:11 hakzsam: ok, cool
19:25 pastedtext1: gini solver is something special, but as with any other code is very hard to read, aiger docs are good, so there is a concept of strashing called structural hashing which Berkeley university has a paper about , it's enforcing canonical form which is logically probably same as one of the elimination method through masks, so i am reading the code on my hdd, then i can say if the roller or unroller is good for sequential circuits.