Sebastien Soudan

Had a try at adding support for M1 here: https://github.com/ssoudan/kani/tree/feature/m1 Few notes: - regression tests are passing. - used a short c++ program (in tools/sizeofs/main.cpp) for most of the values...

Thanks!

Hi Ted, it's a bit of both. I’m exploring to figure out how practical it is to use kani in addition to testing for service-like programs - not that likely...

Hi, have been using tch-rs on an M1 for a bit now. Just created a repo: https://github.com/ssoudan/tch-m1 to show how I have been doing that. Cheers,

Have had a try at it [here](https://github.com/ssoudan/candle/tree/ios) but something based on candle-examples/examples/phi is generating mostly blank tokens on my iPad. Not sure what the issue is at this point. TBC