├── .gitignore ├── LICENSE ├── README.md ├── pepm21-fixed.pdf ├── src ├── main │ └── scala │ │ └── com │ │ └── github │ │ └── luzhuomi │ │ └── obsidian │ │ ├── ASTPath.scala │ │ ├── ASTUtils.scala │ │ ├── CFG.scala │ │ ├── CFG_old.scala │ │ ├── Desugar.scala │ │ ├── Flatten.scala │ │ ├── Label.scala │ │ ├── Main.scala │ │ ├── SSA.scala │ │ ├── SSACFG.scala │ │ └── SSAKL.scala └── test │ └── scala │ └── com │ └── github │ └── luzhuomi │ └── obsidian │ ├── TestASTPath.scala │ ├── TestCFG.scala │ ├── TestDesugar.scala │ ├── TestFlatten.scala │ ├── TestLabel.scala │ ├── TestSSA.scala │ └── TestSSACFG.scala └── test_code ├── Bubble.java ├── BubbleCPS.java ├── BubbleSSA.java ├── ContBreak.java └── LabeledBreak.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/README.md -------------------------------------------------------------------------------- /pepm21-fixed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/pepm21-fixed.pdf -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/ASTPath.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/ASTPath.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/ASTUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/ASTUtils.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/CFG.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/CFG.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/CFG_old.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/CFG_old.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/Desugar.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/Desugar.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/Flatten.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/Flatten.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/Label.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/Label.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/Main.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/SSA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/SSA.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/SSACFG.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/SSACFG.scala -------------------------------------------------------------------------------- /src/main/scala/com/github/luzhuomi/obsidian/SSAKL.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/main/scala/com/github/luzhuomi/obsidian/SSAKL.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestASTPath.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestASTPath.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestCFG.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestCFG.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestDesugar.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestDesugar.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestFlatten.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestFlatten.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestLabel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestLabel.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestSSA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestSSA.scala -------------------------------------------------------------------------------- /src/test/scala/com/github/luzhuomi/obsidian/TestSSACFG.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/src/test/scala/com/github/luzhuomi/obsidian/TestSSACFG.scala -------------------------------------------------------------------------------- /test_code/Bubble.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/test_code/Bubble.java -------------------------------------------------------------------------------- /test_code/BubbleCPS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/test_code/BubbleCPS.java -------------------------------------------------------------------------------- /test_code/BubbleSSA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/test_code/BubbleSSA.java -------------------------------------------------------------------------------- /test_code/ContBreak.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/test_code/ContBreak.java -------------------------------------------------------------------------------- /test_code/LabeledBreak.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/luzhuomi/obsidian/HEAD/test_code/LabeledBreak.java --------------------------------------------------------------------------------