Anton Korobeynikov
Anton Korobeynikov
graph is used by one particular backend, so the dependency could be moved there. Everything else besides iostreams seems to be header-only and could be vendored (there is a special...
> What takes a bit is downloading boost, the actual compilation is the same because boost is almost all headers. I think I already mentioned that it is possible to...
So, `boost::random` is also header-only. Dependencies are also header-only. The size of boost subset to support the functionality we need is ~10 MiB (this includes format, random and multiprecision). And...
There is an official boost tool `bcp` to make such subset. And I do already have this subset just in case :)
This might be a significant regression for downstream backends as it would require lots of patching of p4c cmake files. Adding some additional cmake options to build cmdline also looks...
@smithp35 Thanks! Looks like there was some discrepancy in the particular implementation. Now everything fully matches.
@atrosinenko Some of this encoding space will be taken by stack push / pop instructions in https://github.com/matter-labs/era-compiler-llvm/issues/453
@atrosinenko I doubt @sayon @hedgar2017 could answer to your question about "what should be in tablegen files". If the spec is unclear, maybe you can reformulate your question in terms...
I believe this is implemented. Please reopen if there are still some issues
The updated spec is at https://matter-labs.github.io/eravm-spec/spec.html#asm_instruction