Repositories

From STATOR
Revision as of 16:47, 19 March 2014 by Egor Karpenkov (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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"