{"id":777,"date":"2012-12-12T14:36:44","date_gmt":"2012-12-12T13:36:44","guid":{"rendered":"http:\/\/www.atelierb.eu\/?p=777"},"modified":"2015-06-13T11:10:19","modified_gmt":"2015-06-13T10:10:19","slug":"atelier-b-4-1-0-2","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/","title":{"rendered":"Atelier B 4.1.0"},"content":{"rendered":"<p><a title=\"Download Atelier B\" href=\"https:\/\/www.atelierb.eu\/en\/download\/\">Atelier B 4.1.0<\/a> \u00a0has been released for everyone and without any restrictions of use. This new release \u00a0brings 385 bug corrections and 56 improvements \u00a0(see <a href=\"\/wp-content\/uploads\/sites\/3\/2012\/12\/AtelierB-4.1.0-release-notes.pdf\">the release notes<\/a> for detailed description of most important features).<\/p>\n<p>Among these features, we can mention:<\/p>\n<ul>\n<li>Support for \u00ab\u00a0data generation\u00bb project<\/li>\n<li>Improved support of integers\u00a0: maximum impl\u00e9mentable value (MAXINT) can be 16, 32 or 64 bit-wide, integer litterals are not bounded (BigINT)<\/li>\n<li>Experimental support of real numbers<\/li>\n<li>Experimental support of floating point numbers<\/li>\n<li>Support of hexadecimal litterals.<\/li>\n<li>New C code generator, C4B, with translation profile and makefile creation.<\/li>\n<li>Localization of the software in English, French, Japanese, and Portuguese.<\/li>\n<li>Support of Unicode. Identifiers, strings and comments may contain non-ASCII caracters.<\/li>\n<li>Addition of a components status graphical view<\/li>\n<li>Parallel execution of proof tasks: firing a proof action several times leads to parallel execution of these tasks. Additional informations, such as the order of execution of thses actions, are displayed<\/li>\n<li>Improved Integrated Editor\u00a0: Ctrl-D to delete a line, better indentation, addition of a list of open files, tunable syntaxic highlighting,\u00a0 model navigation (jump to definition, abstraction, or refinement).<\/li>\n<li>The interactive prover displays pending goals. Remaining proof work may now be evaluated with more precision.<\/li>\n<li>Generation of coverage and exclusivity proof obligations: these proof obligations allow to demonstrate the coverage of a system model, and to check that at most one event is enabled in each state of the system.<\/li>\n<li>Tool for validating user added mathematical rules: this tool provides a unique interface for managing and validating mathematical rules. Moreover manual demonstrations may be typed in which will be saved as comments in the pmm file. The tool provides a view per project and per component, and is also able to generate a validation report.<\/li>\n<li>Spell-checking B model comments: incorrectly spelled words are identified in the B model editor. A contextuel menu allows to choose a correction among several proposals. Pre-installed languages are English(GB, US) and French (France, Belgium, Canada).<\/li>\n<li>Mathematical rules displayed in the view \u201cTheory List\u201d are sorted according to their applicability (holding guards are written in bold).<\/li>\n<li>B model editor informs the user when the edited file has been modified on the disk.<\/li>\n<li>Addition of a search function \u201c\u00e0 la grep\u201d enabling the searching of strings among all models of a project, with the help of regular expressions.<\/li>\n<li>Added rules when using the command \u201cpc\u201d are now displayed.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Atelier B 4.1.0 \u00a0has been released for everyone and without any restrictions of use. This new release \u00a0brings 385 bug corrections and 56 improvements \u00a0(see the release notes for detailed description of most important features). Among these features, we can mention: Support for \u00ab\u00a0data generation\u00bb project Improved support of integers\u00a0: maximum impl\u00e9mentable value (MAXINT) can [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[10,4],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Atelier B 4.1.0 | Atelier B<\/title>\n<meta name=\"description\" content=\"Atelier B 4.1.0 \u00a0has been released for everyone and without any restrictions of use. This new release \u00a0brings 385 bug corrections and 56 improvements\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/2012\/12\/12\/atelier-b-4-1-0-2\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Atelier B 4.1.0 | Atelier B\" \/>\n<meta property=\"og:description\" content=\"Atelier B 4.1.0 \u00a0has been released for everyone and without any restrictions of use. This new release \u00a0brings 385 bug corrections and 56 improvements\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2012-12-12T13:36:44+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2015-06-13T10:10:19+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/\",\"name\":\"Atelier B 4.1.0 | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2012-12-12T13:36:44+00:00\",\"dateModified\":\"2015-06-13T10:10:19+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\"},\"description\":\"Atelier B 4.1.0 \\u00a0has been released for everyone and without any restrictions of use. This new release \\u00a0brings 385 bug corrections and 56 improvements\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/category\/atelier-b-versions\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/category\/atelier-b-versions\/\",\"name\":\"Atelier B Versions\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2012\/12\/12\/atelier-b-4-1-0-2\/\",\"name\":\"Atelier B 4.1.0\"}}]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\",\"name\":\"ClearSy\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#personlogo\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/936ccc48e0628717764332efd3b70e42?s=96&d=mm&r=g\",\"caption\":\"ClearSy\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/777\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/post\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=777"}],"version-history":[{"count":0,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/777\/revisions\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=777"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=777"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=777"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}