{"id":788,"date":"2012-12-12T13:35:55","date_gmt":"2012-12-12T12:35:55","guid":{"rendered":"http:\/\/www.atelierb.eu\/?page_id=788"},"modified":"2015-06-13T11:01:22","modified_gmt":"2015-06-13T10:01:22","slug":"version-atelier-b-4-1-0","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/","title":{"rendered":"Version &#8211; Atelier B 4.1.0"},"content":{"rendered":"<p><strong>Date of diffusion:<\/strong>\u00a0december 2012<\/p>\n<p><strong>New Functionalities \/ Characteristics: <\/strong><\/p>\n<p>Atelier B 4.1.0 (Community Edition and Maintenance Edition) has been released on December 11, 2012.<\/p>\n<p><img loading=\"lazy\" class=\"alignnone size-full wp-image-789\" title=\"functions\" src=\"\/wp-content\/uploads\/sites\/3\/2012\/12\/functions.jpg\" alt=\"\" width=\"842\" height=\"594\" srcset=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2012\/12\/functions.jpg 842w, https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2012\/12\/functions-300x212.jpg 300w\" sizes=\"(max-width: 842px) 100vw, 842px\" \/><\/p>\n<p>&nbsp;<\/p>\n<p>This realease brings 385 bug corrections\u00a0(37 for 4.0.1, 79 for 4.0.2, and 269 for 4.1.0) and 56 improvements (5 for 4.0.1, 13 for 4.0.2, and 38 for 4.1.0). Among these features, we can mention:<\/p>\n<ul>\n<li>Support for \u00ab\u00a0data validation\u00a0\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<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Date of diffusion:\u00a0december 2012 New Functionalities \/ Characteristics: Atelier B 4.1.0 (Community Edition and Maintenance Edition) has been released on December 11, 2012. &nbsp; This realease brings 385 bug corrections\u00a0(37 for 4.0.1, 79 for 4.0.2, and 269 for 4.1.0) and 56 improvements (5 for 4.0.1, 13 for 4.0.2, and 38 for 4.1.0). Among these features, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":789,"parent":66,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"amp_status":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Version - Atelier B 4.1.0 | Atelier B<\/title>\n<meta name=\"description\" content=\"Date of diffusion:\u00a0december 2012 New Functionalities \/ Characteristics: Atelier B 4.1.0 (Community Edition and Maintenance Edition) has been released on\" \/>\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\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Version - Atelier B 4.1.0 | Atelier B\" \/>\n<meta property=\"og:description\" content=\"Date of diffusion:\u00a0december 2012 New Functionalities \/ Characteristics: Atelier B 4.1.0 (Community Edition and Maintenance Edition) has been released on\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2015-06-13T10:01:22+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2012\/12\/functions.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"842\" \/>\n\t<meta property=\"og:image:height\" content=\"594\" \/>\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\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2012\/12\/functions.jpg\",\"width\":842,\"height\":594},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/\",\"name\":\"Version - Atelier B 4.1.0 | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/#primaryimage\"},\"datePublished\":\"2012-12-12T12:35:55+00:00\",\"dateModified\":\"2015-06-13T10:01:22+00:00\",\"description\":\"Date of diffusion:\\u00a0december 2012 New Functionalities \/ Characteristics: Atelier B 4.1.0 (Community Edition and Maintenance Edition) has been released on\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/#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\/download\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/\",\"name\":\"Download Atelier B\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/\",\"name\":\"History of the Versions\"}},{\"@type\":\"ListItem\",\"position\":4,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-1-0\/\",\"name\":\"Version &#8211; Atelier B 4.1.0\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/788\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/page\/"}],"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=788"}],"version-history":[{"count":0,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/788\/revisions\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/66\/"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/789\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=788"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}