Ghost Code for Rust#18

Merged

Drodt merged 61 commits intoDrodt:rusty-devfrom

yseulp:ghosty_rusty

Mar 20, 2026

Commits on Jun 26, 2025

add ghostLetexpr demo
Yeseul Park
committed

Commits on Jul 1, 2025

ghostletExpression added
Yeseul Park
committed

Commits on Aug 10, 2025

Merge branch rusty from upstream
yseulp
committed

Commits on Aug 13, 2025

data type GhostBlockExpr added
yseulp
committed

Commits on Aug 19, 2025

extract common logic into AbstractBlockExpression
yseulp
committed

Commits on Aug 20, 2025

convert json into Hir&AST
Yeseul Park
committed

Commits on Aug 26, 2025

update wrapper
Yeseul Park
committed

Commits on Nov 18, 2025

Test some things
Drodt
committed

Commits on Nov 19, 2025

Commits on Nov 24, 2025

Commits on Dec 10, 2025

ghost added to the rust parser
yseulp
committed

Commits on Dec 17, 2025

Fix GhostExpr conversion
yseulp
committed

Commits on Dec 20, 2025

add ghost semantic detection
yseulp
committed

Commits on Dec 29, 2025

Commits on Dec 31, 2025

add createGhostBlockExprWrapper
yseulp
committed

Commits on Jan 5, 2026

add snapshot to parser
Yeseul Park
committed
add snapshotexpression to hirconverter
yseulp
committed

Commits on Jan 7, 2026

Bump rml
Drodt
committed
Spotless & fix conversion
Drodt
committed
Bump rml
Drodt
committed

Commits on Jan 11, 2026

Snapshot example that causes an error
yseulp
committed

Commits on Jan 12, 2026

Add key file
Drodt
committed

Commits on Jan 13, 2026

update rule
yseulp
committed

Commits on Jan 15, 2026

Bump rml; don't use len() method in example
Drodt
committed

Commits on Jan 22, 2026

Commits on Jan 27, 2026

Commits on Jan 28, 2026