tpb has quit [Remote host closed the connection]
tpb has joined #yosys
gsmecher has joined #yosys
gsmecher has quit [Quit: Leaving.]
FabM has joined #yosys
emeb_mac has quit [Quit: Leaving.]
emeb_mac has joined #yosys
emeb_mac has quit [Client Quit]
vidbina has joined #yosys
gmc_ has quit [Remote host closed the connection]
gmc_ has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
AdamHord- is now known as AdamHorden
vidbina has joined #yosys
gsmecher has joined #yosys
gsmecher has quit [Client Quit]
emeb has joined #yosys
gsmecher has joined #yosys
gsmecher has quit [Quit: Leaving.]
Guest57 has joined #yosys
Guest57 has quit [Client Quit]
gsmecher has joined #yosys
vidbina has quit [Ping timeout: 245 seconds]
FabM has quit [Quit: Leaving]
vidbina has joined #yosys
svenn has joined #yosys
<
svenn>
ABC: Scl_Liberyosys-abc: src/map/scl/sclLiberty.c:1130: int Scl_LibertyScanTable(Scl_Tree_t *, Vec_Ptr_t *, Scl_Item_t *, char *, Vec_Ptr_t *): Assertion `!vIndex1 || Vec_FltSize(vIndex
<
svenn>
Hello. I am trying to use abc with a proprietary liberty file and get this error message and core dump:
<
svenn>
ERROR: ABC: execution of command "/usr/local/share/qflow/bin/yosys-abc -s -f /tmp/yosys-abc-Ddw4Nb/abc.script 2>&1" failed: return code 134.
<
svenn>
ABC: Aborted (core dumped)
<
svenn>
1) == Vec_FltSize(vInd1)' failed.
<
svenn>
I am a bit unsure where I should discuss how to find what is causing this error
<
svenn>
read_liberty in yosys does not report any errors
<
svenn>
yosys> read_liberty -lib -ignore_miss_dir -setattr blackbox ./temporary.lib
emeb has left #yosys [#yosys]
<
svenn>
mapping dff does also pass, and I can see that the yosys dff is mapped to technology dff (sorry cannot paste dff names mapped)
<
svenn>
yosys> dfflibmap -liberty ./temporary.lib
<
svenn>
then I run the abc command and things break
emeb_mac has joined #yosys
<
svenn>
yosys> abc -exe /usr/local/share/qflow/bin/yosys-abc -liberty ./temporary.lib -script +strash;scorr;ifraig;retime,{D};stra
<
svenn>
sh;dch,-f;map,-M,1,{D}
vidbina has quit [Ping timeout: 268 seconds]
gsmecher has quit [Ping timeout: 240 seconds]
<
whitequark>
???????"
<
whitequark>
???????
<
whitequark>
apologies, a cat laid on the keyboard
<
emeb_mac>
cat-like typing detected
<
killjoy>
A likely (and plausible) story.
<
killjoy>
We have a new kitten that's been walking on my keyboard.
<
emeb_mac>
cats are mysteriously drawn to keyboards.
tlwoerner has quit [Read error: Connection reset by peer]
tlwoerner has joined #yosys