Difference between revisions of "Repositories"
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | 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). | 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'' | SMT Lib interface is at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git'' | ||
Latest revision as of 15:18, 20 July 2014
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
