program Analysis

Scala impl for program Analysis course

#implemented

generic worklist algorithm for program graph at wlAlgo.scala

boolean capable interval analysis (partial) for program graph at monotone.scala

boolean incapable interval analysis (partial) for flow graph at monotone.scala

run

make sure jdk and sbt is installed

then

sbt run

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
project		project
src/main/scala/cuttingedge		src/main/scala/cuttingedge
.gitignore		.gitignore
build.sbt		build.sbt
readme.md		readme.md