full example including compilation to TinyRAM?

[louisabraham]

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.

[marcinbugaj]

+1 Was TinyRAM compiler made public?

[mkumar-cognam]

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?

[marcinbugaj]

@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)