issues
search
Orbis-Tertius
/
tinyram-toolchain
Untyped Plutus Core to C compiler (WIP).
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Run UPLC2C property tests on TinyRAM with emulator
#31
marcinbugaj
opened
2 years ago
0
Use TinyRAM emulator in tests
#30
marcinbugaj
closed
2 years ago
0
ScriptContext,Datum,Redeemer passing to TinyRAM machine and UPLC script
#29
marcinbugaj
closed
2 years ago
0
Printing support in TinyRAM emulator
#28
marcinbugaj
opened
2 years ago
0
Fault injection tests for custom deserialization
#27
marcinbugaj
closed
2 years ago
0
Custom serialization mechanism for `Data` datatype.
#26
marcinbugaj
closed
2 years ago
0
Consider adding cmake TinyRAM configuration with different optimization levels
#25
marcinbugaj
opened
2 years ago
0
Custom serialization and deserialization of `Data` datatype
#24
marcinbugaj
opened
2 years ago
0
Csmith tests & redesign of codegen
#23
marcinbugaj
closed
2 years ago
0
Pass ScriptContext,Datums,Reedemers via TinyRAM input tapes.
#22
marcinbugaj
opened
2 years ago
0
Switching to Harvard arch; .data and .rodata section initialization generator
#21
marcinbugaj
closed
2 years ago
0
Create tests of the compilation pipeline and arithmetization
#20
morganthomas
opened
2 years ago
2
Run test shell script on CI in uplc2c repo
#19
marcinbugaj
opened
2 years ago
0
Property based tests for UPLC2C compiler
#18
marcinbugaj
closed
2 years ago
0
Cross-compilation of uplc2c runtime system & property tests
#17
marcinbugaj
closed
2 years ago
0
Property based test for uplc2c compiler
#16
marcinbugaj
closed
2 years ago
1
Hardcoded TinyRAM toolchain dir in cmake toolchain path in UPLC2C
#15
marcinbugaj
closed
2 years ago
1
treewide: cleanup
#14
MatthewCroughan
closed
2 years ago
2
Use get-flake to fix CI breaking
#13
ursi
closed
2 years ago
10
ci test
#12
marcinbugaj
closed
2 years ago
0
uplc2c: asses performance of generated code once arithmetic circuit is ready
#11
marcinbugaj
opened
2 years ago
0
uplc2c: investigate the opportunity for better code generation utilizing typed PLC
#10
marcinbugaj
opened
2 years ago
0
uplc2c runtime refactoring with C++ templates
#9
marcinbugaj
opened
2 years ago
0
uplc2c runtime and testcases cross-compilation for tinyRAM
#8
marcinbugaj
closed
2 years ago
1
Support for UPLC builtin types and operations
#7
marcinbugaj
closed
2 years ago
1
Ability to read *.plc files (human readable)
#6
marcinbugaj
closed
2 years ago
0
updated CI integration to reflect new flake-pure functionality
#5
DarthPJB
closed
2 years ago
1
Ci integration for existing code model
#4
DarthPJB
closed
2 years ago
2
Overall flake
#3
morganthomas
closed
2 years ago
1
Nix RTS
#2
morganthomas
opened
2 years ago
0
updating branch with CODEOWNERS file
#1
DarthPJB
closed
2 years ago
0