Name		Name	Last commit message	Last commit date
Latest commit History 76 Commits
report		report
Main.hs		Main.hs
README.md		README.md
Syntax.hs		Syntax.hs
TCFlow.hs		TCFlow.hs
TControl.hs		TControl.hs
TEvalConditions.hs		TEvalConditions.hs
TEvalInterval.hs		TEvalInterval.hs
TInterval.hs		TInterval.hs
TOptimizer.hs		TOptimizer.hs
TParse.hs		TParse.hs
TParse.y		TParse.y
TVarStateOperations.hs		TVarStateOperations.hs
atic.hs		atic.hs
division.hs		division.hs
first.tip		first.tip
nested.tip		nested.tip
noreachable.tip		noreachable.tip
prueba.txt		prueba.txt
prueba2.txt		prueba2.txt
report_notes.txt		report_notes.txt
stronger.tip		stronger.tip
test1.tip		test1.tip
test2.tip		test2.tip
test3.tip		test3.tip
test4.tip		test4.tip
test5.tip		test5.tip
test6.tip		test6.tip
testcondition1.tip		testcondition1.tip
testloop1.tip		testloop1.tip
testloop10.tip		testloop10.tip
testloop2.tip		testloop2.tip
testloop3.tip		testloop3.tip
testloop4.tip		testloop4.tip
testloop5.tip		testloop5.tip
testloop6.tip		testloop6.tip
testloop7.tip		testloop7.tip
testloop8.tip		testloop8.tip
testloop9.tip		testloop9.tip
testprojecto.tip		testprojecto.tip
testunreach1.tip		testunreach1.tip
unitest.sh		unitest.sh

Repository files navigation

hskia

The Haskell Interval Analysis

A simple interval analyser for tip like programs.

To compile:

ghc --make Main.hs -o hskia

happy program analysis

About

The Haskell Interval Analysis

Report repository

Releases

No releases published

Packages

No packages published

Languages