http://stator.imag.fr/w/api.php?action=feedcontributions&feedformat=atom&user=Egor+Karpenkov 2026-04-30T17:13:02Z User contributions MediaWiki 1.34.1 http://stator.imag.fr/w/index.php?title=Repositories&diff=171 2014-07-20T14:18:41Z

<p>Egor Karpenkov: </p> <hr /> <div>STATOR's project code is split into multiple repositories.<br /> <br /> 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).<br /> <br /> 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).<br /> <br /> SMT Lib interface is at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git''</div>

Egor Karpenkov http://stator.imag.fr/w/index.php?title=Repositories&diff=170 2014-03-19T15:48:42Z

<p>Egor Karpenkov: </p> <hr /> <div>STATOR's project code is split into multiple repositories.<br /> <br /> 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).<br /> <br /> SMT Lib interface is at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git''</div>

Egor Karpenkov http://stator.imag.fr/w/index.php?title=Repositories&diff=169 2014-03-19T15:48:18Z

<p>Egor Karpenkov: /* Repositories */</p> <hr /> <div><br /> == Repositories ==<br /> <br /> STATOR's project code is split into multiple repositories.<br /> <br /> 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).<br /> <br /> SMT Lib interface is at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git''</div>

Egor Karpenkov http://stator.imag.fr/w/index.php?title=Repositories&diff=168 2014-03-19T15:48:00Z

<p>Egor Karpenkov: /* Repositories */</p> <hr /> <div><br /> == Repositories ==<br /> <br /> STATOR's project code is split into multiple repositories.<br /> <br /> 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).<br /> <br /> SMT Lib interface is at: &quot;git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git&quot;</div>

Egor Karpenkov http://stator.imag.fr/w/index.php?title=Repositories&diff=167 2014-03-19T15:47:50Z

<p>Egor Karpenkov: Created page with &quot; == 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...&quot;</p> <hr /> <div><br /> == Repositories ==<br /> <br /> STATOR's project code is split into multiple repositories.<br /> <br /> 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)<br /> SMT Lib interface is at: &quot;git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git&quot;</div>

Egor Karpenkov