Initial import from Inria forge into github
antoinemine
released this
10 Jan 12:36
·
208 commits
to master
since this release
Initial conversion from Inria gforge Apron project to GitHub.
Master based on the latest SVN trunk revision as of 2019-01-10 : revision 1104 (last changed 2018-06-24).