unbtorsten PR vs jrrk2 PR, what is the difference, why are both of them open?

[hansfbaier]

Hi @unbtorsten, @jrrk2,
I just saw that there are now two pull requests from both of you
open for prjxray:
https://github.com/SymbiFlow/prjxray/pull/1844/files
https://github.com/SymbiFlow/prjxray/pull/1794/files
What is the difference between both?
Should one of them be closed?

[unbtorsten]

These are independently derived configurations for kintex7 settings.sh and fuzzers that jrrk and I came up with in November/December. At the moment, f4pga/prjxray#1794 is stalled because of apparent detrimental impact on the xc7k70t(?) that is already part of prjxray. On the other hand, f4pga/prjxray#1844 is pending because of issues with CI, cf. f4pga/prjxray#1833.

Furthermore, I have not been able to generate a database from the configuration f4pga/prjxray#1844 (only ran the fuzzers successfully) due to lack of memory. I am trying to figure out what can be done about the excessive memory demand, cf. #4.

[jrrk2]

I tried to build Torsten’s version from scratch recently but Vivado fails, possibly due to O/S being too new. It needs rerunning inside a virtual machine running a qualified O/S for Vivado 2017.2