Difference between revisions of "Repositories"

From STATOR
Jump to navigation Jump to search
(Created page with " == Repositories == STATOR's project code is split into multiple repositories. MIR LLVM conversion layer is available at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge...")
 
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
 +
STATOR's project code is split into multiple repositories.
  
== 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).
  
STATOR's project code is split into multiple repositories.
+
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