std::bad_alloc during optimization step

[amykouf]

Hello all,

I am trying to synthesize a matrix multiplication C code in Google XLS.

I am currently using 16x16 matrices. If I try to increase the size of the matrices, for example 32x32, the optimization step produces a std::bad_alloc error.

I am using a version of Google XLS dating back to 2023, built on WSL, using a 32GB RAM 

I was wondering if the problem is solved on newer versions of XLS or if I could fix it myself by making modifications on the existing code. I'm hesitant to update XLS to a newer version, as I've made customizations, so I'd prefer an ad-hoc solution, if any exists.

Thanks in advance