Difference between revisions of "Repositories"

From STATOR
Jump to navigation Jump to search
Line 6: Line 6:
 
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''

Revision as of 16:48, 19 March 2014

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/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