Atelier B 3.7 offers numerous improvements with major Atelier B functionalities in order to facilitate the developer’s work:
- User interface: size of project names, improvement of the make command, more permissive project archiving, changes in the user interface banner, refreshing of project and component lists, non-proven component status, incomplete project status, addition/deletion of components, project list filters, pmm file management, specific file archiving, graphic resources per user.
- Proof: automatic proof cut-off time, creation of new commands and aliases, more effective proof monitor mechanisms, concatenation of User-Pass theories, trace mode for ApplyRule, facilitating of the reuse of demonstrations, optimised proof obligations generator.
- System: passage from .db files to text mode (format xml), modification of the licence management system, improvement of dependency management, local project library management.
|IMPROVEMENTS IN THE USER INTERFACE:
||CHANGES RELATED TO PROOF ACTIONS: