Version – Atelier B 3.7
Nouvelles Fonctionnalités / Caractéristiques :
L’Atelier B 3.7 apporte de nombreuses améliorations aux fonctionnalités majeures de l’Atelier B afin de faciliter le travail du développeur :
- interface utilisateur : non limitation des noms de projet, amélioration de la commande make, meilleur archivage des projets, modification du bandeau, rafraichissement de la liste des projets et des composants, état des composants non prouvés, état de composant non prouvé et de projet incomplet, ajout/suppression de composants, filtre sur la liste des projets, gestion des fichiers pmm, archivage des fichiers spécifiques, ressources graphiques par utilisateur.
- preuve : paramétrage d’un temps de coupure des outils de preuve, ajout de nouvelles commandes et alias, mécanismes du moniteur de preuve plus efficaces, concaténation des théories User_Pass, mode trace pour l’application des règles de l’utilisateur, facilitation de la réutilisation de démonstrations, générateur d’obligations de preuve optimisé.
- système : passage de la base de données des projets en mode texte (format xml), modification du système de licence, amélioration de la gestion des dépendances, gestion des bibliothèques du projet en local.
AMELIORATIONS DE L’INTERFACE UTILISATEUR :
la taille des noms de projets l’amélioration de la commande make l’archivage des projets plus permissif les modifications du bandeau d’interface utilisateur le rafraichissement des listes de projets et de composants l’état des composants non prouvés l’état projet incomplet l’ajout / suppression de composants les filtres sur la liste des projets la gestion des fichiers pmm l’archivage de fichiers spécifiques les ressources graphiques par utilisateur
MODIFICATIONS LIEES A L’ACTIVITES DE PREUVE :
le temps de coupure de la preuve automatique le temps de coupure du prouveur de prédicat la création de nouvelles commandes et alias l’amélioration du moniteur de preuve la concaténation des User Pass le Mode Trace pour ApplyRule l’amélioration du générateur d’obligations de preuve les commandes Mhyp, Mgoal, Shyp, Sgoal AMELIORATION DU SYSTEME : le passage du fichier .db en mode texte la gestion des bibliothèques en local du projet la modification du système de gestion de licence la simplification du fichier .db / amélioration gestion des dépendances.