GitHub - koengit/RealTesting: Testing using numerical methods

Name		Name	Last commit message	Last commit date
Latest commit History 182 Commits
Process		Process
attic		attic
examples		examples
flowstar		flowstar
simulink		simulink
.gitignore		.gitignore
Badness.hs		Badness.hs
Data.hs		Data.hs
Makefile		Makefile
Optimize.hs		Optimize.hs
Plot.hs		Plot.hs
Process.hs		Process.hs
Signal.hs		Signal.hs
Utils.hs		Utils.hs
VBool.hs		VBool.hs
Val.hs		Val.hs
Zelus.hs		Zelus.hs