GitHub - b-t-g/Sign-Analyzer: Implementation of the sign analyzer for arithmetic expressions as given in Matt Might's blog post here: http://matt.might.net/articles/intro-static-analysis/

b-t-g / Sign-Analyzer Public

Implementation of the sign analyzer for arithmetic expressions as given in Matt Might's blog post here: http://matt.might.net/articles/intro-static-analysis/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
Analyzer.hs		Analyzer.hs
ArithmeticExpression.hs		ArithmeticExpression.hs
Expressions.hs		Expressions.hs
Main.hs		Main.hs
Parse.hs		Parse.hs
Setup.hs		Setup.hs
sign-analyzer.cabal		sign-analyzer.cabal
stack.yaml		stack.yaml

About

Implementation of the sign analyzer for arithmetic expressions as given in Matt Might's blog post here: http://matt.might.net/articles/intro-static-analysis/