Repositories

From STATOR

Revision as of 15:18, 20 July 2014 by Egor Karpenkov (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

STATOR's project code is split into multiple repositories.

CPAchecker fork is available at: git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/CPAchecker.git (replace $login by your username).

MIR LLVM conversion layer is available at: git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/mir.git (replace $login by your username).

SMT Lib interface is at: git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git

Retrieved from ‘http://stator.imag.fr/w/index.php?title=Repositories&oldid=171’