full example including compilation to TinyRAM?
louisabraham opened this issue · comments
Hi, I cannot find the TinyRAM compiler. I think it would be great to show how the .s in https://github.com/scipr-lab/libsnark/tree/master/tinyram_examples can be generated.
+1 Was TinyRAM compiler made public?
If someone knows how to even access tinyRAM compiler or suggest some alternative , that will also be great. Please let me know what you think of it?
@mkumar-cognam ,
I wrote a backend for tinyRAM for llvm: https://github.com/Orbis-Tertius/llvm-project/tree/tinyRAM_backend-1
It should be fully functional.
Here are related repositories:
- https://github.com/Orbis-Tertius/tinyram - tinyRAM machine emulator written in Haskell
- https://github.com/Orbis-Tertius/tinyram_llvm_backend_testing - testcases for the tinyRAM backend (small C programs)