Jeremy Kun

I lost the train of thought on this bug. Is there a simple reproducer for the error?

As a start, it would be great to have our tf2fhe flow branch at some step to lower to one of the arithmetic schemes, and have that codegen to lattigo....

Some notes on the spec: - Port and cell names are sometimes strings and sometimes ints. It would be helpful if the identifier of an entity is always the same...

> When generating output files, we order them based on the key's sequence and make this attribute invisible. The problem is that JSON object keys are unordered, so there is...

Thanks! I think I should be able to finish the importer in https://github.com/google/heir/pull/756 this week.

For the same reason, it would be helpful if the cells object was instead a list with the name as a value instead of an object key. The reason is...

For MLIR it is necessary to toposort, because MLIR represents programs in SSA form and can't construct an operation until all the operands have existing SSA values. So I will...

> "G4": { > "cell_name": "11", Sorry, can a cell have just one identifier? If I'm topologically sorting the cells internally, and the connections refer to cells by their `cell_name`,...

@Lavendes the importer is ready for review in https://github.com/google/heir/pull/756, but there is still one problem with the port ordering. Because it's an object in the JSON, the ordering of the...

@Lavendes the last thing I'd like to do here is determine what LWE parameters to use for the ciphertexts. Since AutoHoG is picking coefficients, that implies some constraints on the...