-
- Downloads
Merge branch 'ir_dev' into 'main'
Def use, dataflow, typechecking, structural verification, IR and DESIGN.md updates See merge request !2
No related branches found
No related tags found
Showing
- Cargo.lock 40 additions, 0 deletionsCargo.lock
- DESIGN.md 11 additions, 3 deletionsDESIGN.md
- hercules_ir/Cargo.toml 2 additions, 1 deletionhercules_ir/Cargo.toml
- hercules_ir/src/dataflow.rs 126 additions, 0 deletionshercules_ir/src/dataflow.rs
- hercules_ir/src/def_use.rs 144 additions, 0 deletionshercules_ir/src/def_use.rs
- hercules_ir/src/dot.rs 9 additions, 85 deletionshercules_ir/src/dot.rs
- hercules_ir/src/ir.rs 269 additions, 1 deletionhercules_ir/src/ir.rs
- hercules_ir/src/lib.rs 8 additions, 0 deletionshercules_ir/src/lib.rs
- hercules_ir/src/parse.rs 33 additions, 3 deletionshercules_ir/src/parse.rs
- hercules_ir/src/typecheck.rs 879 additions, 0 deletionshercules_ir/src/typecheck.rs
- hercules_ir/src/verify.rs 146 additions, 0 deletionshercules_ir/src/verify.rs
- hercules_tools/src/hercules_dot/main.rs 4 additions, 1 deletionhercules_tools/src/hercules_dot/main.rs
Loading
Please register or sign in to comment