{"id":44,"date":"2013-05-16T09:34:20","date_gmt":"2013-05-16T07:34:20","guid":{"rendered":"https:\/\/altarica.labri.fr\/wp\/?page_id=44"},"modified":"2020-12-07T08:06:05","modified_gmt":"2020-12-07T07:06:05","slug":"downloads","status":"publish","type":"page","link":"https:\/\/altarica.labri.fr\/wp\/?page_id=44","title":{"rendered":"Downloads"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">Docker images<\/h1>\n\n\n\n<p>We have created <a href=\"https:\/\/www.docker.com\/\">Docker<\/a> images that permit to launch <a href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=32\" data-type=\"page\" data-id=\"32\">ARC<\/a> and <a href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=286\" data-type=\"page\" data-id=\"286\">altarica-studio<\/a> from containers on Linux and Mac OS (Windows platform has not been tested). Simply download nightly built tarball, uncompress it and make the script  <em>directory\/of\/arc\/sources\/<\/em><code>docker\/run-altarica.bash<\/code> (or download it directly with this <a href=\"https:\/\/gitub.u-bordeaux.fr\/altarica\/arc\/-\/raw\/master\/docker\/run-altarica.bash?inline=false\">link<\/a>) available using your PATH environment variable. Then you can use ths script to run the tools from your current directory; an option permits to specify the tool to launch.<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>$ run-altarica.bash -h\nUSAGE: run-altarica.bash &#091;options]\nwhere options are:\n  -a | --arc  run arc model-checker\n  -g | --gui  run altarica-studio GUI\n  -h | --help  print this help message<\/code><\/pre>\n\n\n\n<p><\/p>\n\n\n<h1>AltaRica Checker (ARC)<\/h1>\n<p><a title=\"ARC\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=32\">ARC<\/a> is an open-source project. Sources of this tools can be obtained using either version control tool <a href=\"http:\/\/git-scm.com\/\">GIT<\/a> tool or by downloading\u00a0 a tarball archive of sources. Usually the later method is preferred by non-developer users.<\/p>\n<h2>Available ARC packages<\/h2>\n<p>In addition to stable releases of ARC we propose a <em>current <\/em>release built every night that correspond to the <em>master<\/em> branch of the future release.<\/p>\n<ul>\n<li>Nightly built packages: <a href=\"\/downloads\/arc-current.tar.gz\">arc-current.tar.gz<\/a><\/li>\n<li>Last stable release of ARC: <a href=\"\/downloads\/arc-stable.tar.gz\">arc-stable.tar.gz<\/a><\/li>\n<\/ul>\n<h2>GIT Access<\/h2>\n<p>Source code is also available via our version control system (GIT):<\/p>\n<ol>\n<li>Using the HTTP protocol, sources are freely available for read only access:\n<pre><code>git clone https:\/\/gitub.u-bordeaux.fr\/altarica\/arc.git\n<\/code><\/pre>\n<\/li>\n<li>Using a SSH authorized access, the repository is accessible for read and write synchronizations:\n<pre><code>git clone git@gitub.u-bordeaux.fr:altarica\/arc.git<\/code><\/pre>\n<\/li>\n<\/ol>\n<p>You can follow developments on the <a href=\"https:\/\/gitub.u-bordeaux.fr\/altarica\">GitLab forge of the University of Bordeaux<\/a>.<\/p>","protected":false},"excerpt":{"rendered":"<p>Docker images We have created Docker images that permit to launch ARC and altarica-studio from containers on Linux and Mac OS (Windows platform has not been tested). Simply download nightly built tarball, uncompress it and make the script directory\/of\/arc\/sources\/docker\/run-altarica.bash (or &hellip; <a href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=44\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-44","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/44","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=44"}],"version-history":[{"count":14,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/44\/revisions"}],"predecessor-version":[{"id":672,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/44\/revisions\/672"}],"wp:attachment":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=44"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}