Implementing abstract interpretation
widening support
Further implemented API
Almost done with the AI impl
New AI based loop estimator
Nearly finished the interval domain checker
Finished the loop bound analyzer
refactored the loop bound analyzer
improved interval resolver
Adding stochastic distribution generators
Adding more generators
added beta distribution
Added some comments
seeding the random number generators properly
adding normal dist. generator
improved testing
renamed NewLoopBoundAnalyzer