issues
search
reilabs
/
hieratika
Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet
http://starknet.io
Apache License 2.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Compile `FlatLowered` to Sierra
#95
Eagle941
opened
1 day ago
0
Implement further missing opcodes
#94
iamrecursion
opened
1 day ago
0
compiler-rt: alu: add `shl` (shift left) and `lshr` (logical shift right) polyfills
#93
wzmuda
closed
1 day ago
1
compiler-rt: alu: deduplicate code with generics
#92
wzmuda
closed
1 day ago
0
[TASK] Handle Arbitrary Constant Initialization
#91
iamrecursion
opened
3 days ago
0
Replaced `FlatLowered` with `MultiLowered`
#90
Eagle941
closed
3 days ago
0
Introduce compiler-rt and add bitwise `and`, `or`, `xor` polyfills
#89
wzmuda
closed
3 days ago
1
Implement additional opcodes
#88
iamrecursion
closed
1 week ago
0
Optimised test 'flat_lowered_cairo_example_folder'
#87
Eagle941
closed
1 week ago
0
Added report of diagnostics for Cairo compiler
#86
Eagle941
closed
4 days ago
0
[TASK] Fix Metadata Compilation
#85
iamrecursion
opened
1 week ago
0
Perform partial compilation
#84
iamrecursion
closed
1 week ago
0
Tweak the FLO representation for easier building
#83
iamrecursion
closed
2 weeks ago
0
Adds generation of `FlatLowered`
#82
Eagle941
closed
1 week ago
1
Add builder functions, and test skeleton for IR building/processing.
#81
ktemkin
closed
3 weeks ago
0
flo: switch to more up-to-date sexpr library
#80
ktemkin
closed
3 weeks ago
0
Elevate warnings to errors on CI
#79
iamrecursion
closed
4 weeks ago
0
Rename the project to Hieratika
#78
iamrecursion
closed
1 month ago
1
Set up license auditing using cargo-deny
#77
iamrecursion
closed
1 month ago
0
implement basic FlatLoweredObject type
#76
ktemkin
closed
1 month ago
0
docs: ALU: drop `to` keyword from polyfill names
#75
wzmuda
closed
1 month ago
0
Introduce the basic skeleton for the compiler
#74
iamrecursion
closed
1 month ago
0
Compile Cairo to `.flo`
#73
iamrecursion
opened
1 month ago
0
docs: add ALU design
#72
wzmuda
closed
1 month ago
1
Fix the clippy check precommit hook
#71
iamrecursion
closed
1 month ago
0
Make the nix stuff work reliably
#70
iamrecursion
closed
1 month ago
0
docs: describe LLVM IR generation features
#69
wzmuda
closed
1 month ago
0
Add support for our temporary target
#68
iamrecursion
closed
1 month ago
0
Fix up some repository organization
#67
iamrecursion
closed
1 month ago
0
Implement Support for Atomics
#66
ktemkin
opened
2 months ago
0
Implement Chain Interface for Rust
#65
ktemkin
opened
2 months ago
0
Implement Chain Interaction Operation
#64
ktemkin
opened
2 months ago
0
Implement a Rust Support Library
#63
ktemkin
opened
2 months ago
0
Design Chain Interface for Rust
#62
ktemkin
opened
2 months ago
0
Examples
#61
ktemkin
opened
2 months ago
0
Documentation
#60
ktemkin
opened
2 months ago
0
Implement Stack Semantics (Final)
#59
ktemkin
opened
2 months ago
0
Implement Function Call Translation (Final)
#58
ktemkin
opened
2 months ago
0
Implement Bit Operations (Final)
#57
ktemkin
opened
2 months ago
0
Implement a Rust Pass Manager
#56
ktemkin
opened
2 months ago
0
Implement a Memory Assignment Pass (Final)
#55
ktemkin
opened
2 months ago
0
Implement FPU
#54
ktemkin
opened
2 months ago
0
Implement IEEE-754 64b Floats
#53
ktemkin
opened
2 months ago
0
Implement IEEE-754 32b Floats
#52
ktemkin
opened
2 months ago
0
Specification for Function-Call ABI
#51
ktemkin
opened
2 months ago
0
Determine How to Handle Atomics
#50
ktemkin
opened
2 months ago
0
Design the Memory Representation (Final)
#49
ktemkin
opened
2 months ago
0
Design the FPU
#48
ktemkin
opened
2 months ago
0
Design Separate Compilation
#47
ktemkin
closed
1 month ago
1
Customize Function Call Semantics
#46
ktemkin
opened
2 months ago
0
Next