Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

H

Hercules
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

12040846

Commit 12040846 authored 1 year ago by rarbore2

Downloads
- Patches
- Plain Diff

Def use, dataflow, typechecking, structural verification, IR and DESIGN.md updates

parent 133a9c9c

No related branches found

No related tags found

1 merge request!2Def use, dataflow, typechecking, structural verification, IR and DESIGN.md updates

Changes 12

Hide whitespace changes

Inline Side-by-side

Showing

Cargo.lock 40 additions, 0 deletions

Cargo.lock
DESIGN.md 11 additions, 3 deletions

DESIGN.md
hercules_ir/Cargo.toml 2 additions, 1 deletion

hercules_ir/Cargo.toml
hercules_ir/src/dataflow.rs 126 additions, 0 deletions

hercules_ir/src/dataflow.rs
hercules_ir/src/def_use.rs 144 additions, 0 deletions

hercules_ir/src/def_use.rs
hercules_ir/src/dot.rs 9 additions, 85 deletions

hercules_ir/src/dot.rs
hercules_ir/src/ir.rs 269 additions, 1 deletion

hercules_ir/src/ir.rs
hercules_ir/src/lib.rs 8 additions, 0 deletions

hercules_ir/src/lib.rs
hercules_ir/src/parse.rs 33 additions, 3 deletions

hercules_ir/src/parse.rs
hercules_ir/src/typecheck.rs 879 additions, 0 deletions

hercules_ir/src/typecheck.rs
hercules_ir/src/verify.rs 146 additions, 0 deletions

hercules_ir/src/verify.rs
hercules_tools/src/hercules_dot/main.rs 4 additions, 1 deletion

hercules_tools/src/hercules_dot/main.rs

with 1671 additions and 94 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment