Orbis-Tertius/tinyram-toolchain

Issues

• Run UPLC2C property tests on TinyRAM with emulator

  #31 opened 2 years ago by marcinbugaj
  0

• Printing support in TinyRAM emulator

  #28 opened 2 years ago by marcinbugaj
  0

• Create tests of the compilation pipeline and arithmetization

  #20 opened 2 years ago by morganthomas
  2

• Consider adding cmake TinyRAM configuration with different optimization levels

  #25 opened 2 years ago by marcinbugaj
  0

• Custom serialization and deserialization of `Data` datatype

  #24 opened 2 years ago by marcinbugaj
  0

• Pass ScriptContext,Datums,Reedemers via TinyRAM input tapes.

  #22 opened 2 years ago by marcinbugaj
  0

• Hardcoded TinyRAM toolchain dir in cmake toolchain path in UPLC2C

  #15 opened 2 years ago by marcinbugaj
  1

• uplc2c runtime and testcases cross-compilation for tinyRAM

  #8 opened 2 years ago by marcinbugaj
  1

• Property based test for uplc2c compiler

  #16 opened 2 years ago by marcinbugaj
  1

• Run test shell script on CI in uplc2c repo

  #19 opened 2 years ago by marcinbugaj
  0

• uplc2c: asses performance of generated code once arithmetic circuit is ready

  #11 opened 3 years ago by marcinbugaj
  0

• uplc2c: investigate the opportunity for better code generation utilizing typed PLC

  #10 opened 3 years ago by marcinbugaj
  0

• uplc2c runtime refactoring with C++ templates

  #9 opened 3 years ago by marcinbugaj
  0

• Nix RTS

  #2 opened 3 years ago by morganthomas
  0