Siddharth

@hargoniX gave me an explanation of how something similar bit him: > It's because of the type of the proof, the type of the proof itself contains an occurence of...

Interesting thing to note: The equation `map f . map g = map (f . g)` cannot be encoded naively within MLIR, because within MLIR, the functions `f, g` correspond...

@goens In the tensor dialect, a generic `f` is represented as a region. Since regions are second-class citizens of the MLIR syntax, we cannot "talk about" the region itself. That...

> For any given (concrete) f and g, this would be readily expressible as a "peephole rewrite" (or similar), wouldn't it? Yes --- > The func dialect should be there...

@goens gentle nudge on this :)

running `objdump -r` on the produced object file causes LLVM to crash with `LLVM ERROR: Malformed MachO file`: ``` ➜ build git:(main) ✗ objdump -r crypto/libcrypto.a | grep _ecp_nistz256_mul_mont 0000000000057370...

@pennyannn I'm trying to use docker to setup the xcompile as explained in the aws-lc repo: https://github.com/aws/aws-lc/blob/main/tests/ci/README.md

@pennyannn I can cross compile on macOS as follows, via docker: ``` cd /path/to/aws-lc docker build -t ubuntu-22.04-aarch:base -f tests/ci/docker_images/linux-aarch/ubuntu-22.04_base/Dockerfile tests/ci/docker_images/dependencies docker build -t ubuntu-22.04-gcc-12x tests/ci/docker_images/linux-aarch/ubuntu-22.04_gcc-12x/ docker run -v `pwd`:`pwd`...

@shigoel fixed parens.

@shigoel merged to synchronize with latest `upstream/master`. I feel this can be merged, and we can improve `CosimM` iteratively to save more data.