/orange

ORange, a tool for static loop bound analysis. Fork of https://git.renater.fr/anonscm/git/orange/orange.git. See https://sourcesup.renater.fr/projects/orange.

Primary LanguageOCamlGNU Lesser General Public License v2.1LGPL-2.1

Stargazers