{"id":885,"date":"2013-02-19T11:45:38","date_gmt":"2013-02-19T10:45:38","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?p=885"},"modified":"2013-07-09T11:08:39","modified_gmt":"2013-07-09T09:08:39","slug":"plasma-lab-release-v1-1-1","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-release-v1-1-1\/","title":{"rendered":"Plasma Lab release v1.1.1"},"content":{"rendered":"<p><\/p>\n<h3>Plasma Lab 1.1.1 is live!<\/h3>\n<p>We just released a new version of Plasma Lab. This release will allow you to add your own simulator or requirement checker in Plasma Lab. It also includes GCSL, a new requirement language as well as several bug fixes. Try it now or scroll down to read the full change list.<\/p>\n<hr \/>\n<h3>Try Plasma Lab now!<\/h3>\n<p>Just click on the link of the PLASMA version you want to give a try. It will <strong>run Plasma Lab directly from this page<\/strong>.<\/p>\n<div class=\"alert alert-success\" role=\"alert\"><p class=\"printonly\"><strong>Important!<\/strong><\/p> <strong>Latest release (1.1.1)<\/strong><\/p>\n<p class=\"first-p\"><strong><a title=\"PLASMA Lab Service\" href=\"http:\/\/plasma-lab.gforge.inria.fr\/ressources\/PlasmaLab.jnlp\">PLASMA Lab <\/a><\/strong>&#8212; Web Start distribution<\/p>\n<p><strong><a title=\"PLASMA Lab Service\" href=\"http:\/\/plasma-lab.gforge.inria.fr\/ressources\/PlasmaService.jnlp\">PLASMA Lab Service<\/a><\/strong> &#8212; Web Start distribution<\/p>\n<p><\/div>\n<hr \/>\n<h3>Change list<\/h3>\n<ul>\n<li><strong>Plugins system implemented<\/strong>. This allow to load new simulator and checker when launching Plasma Lab. Read more about this feature here.<\/li>\n<li><strong>Goal Contract Specification Language<\/strong> (GCSL). A new requirement language is supported. GCSL allows you to write patter \u00e0la Speeds which are then translated into B-LTL formulas. Read more about this feature here.<\/li>\n<li>Fixed a bug involving multiple local variable in our RML simulator.<\/li>\n<li>Fixed a bug involving channel in our RML simulator.<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>Plasma Lab 1.1.1 is live! We just released a new version of Plasma Lab. This release will allow you to add your own simulator or requirement checker in Plasma Lab. It also includes GCSL, a new requirement language as well as several bug fixes. Try it now or scroll down\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-release-v1-1-1\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"categories":[7],"tags":[],"class_list":["post-885","post","type-post","status-publish","format-standard","hentry","category-release-notes"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/885","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=885"}],"version-history":[{"count":3,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/885\/revisions"}],"predecessor-version":[{"id":1053,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/885\/revisions\/1053"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=885"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/categories?post=885"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/tags?post=885"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}