Accueil l L'Outil Brama l Télécharger l Démos en ligne l Documentation l Liens l Contact 
Télécharger Brama
Historique des Versions de Brama
- Version 0.0.22
- Cette version corrige des problèmes de compatibilité avec RODIN et Eclipse
- Version 0.0.21
- Cette version corrige des problèmes de compatibilité avec RODIN et Eclipse
- Version 0.0.20
- Cette version corrige des problèmes de compatibilité avec RODIN et Eclipse
- Version 0.0.19
- Cette version corrige un problème lié à la sauvegarde de scénarios sous windows
- Version 0.0.18
- Correction de la vue historique: la sauvegarde et la restauration de scenarios fonctionne maintenant correctement
- Ajout de la vérification des valuations: Brama vérifie maintenant que les valeurs données aux constantes respectent les propriétés énoncées dans la clause axiomes.
- Version 0.0.17
- Date limite repoussée au 31/01/2008
- 0.0.16:
- Amélioration des messages d'erreur.
- Support des fonctions. Brama est maintenant capable de rechercher des valeurs pour des fonctions.
- Modifications du tri des événements et ajout d'un bouton permettant de trier les variables.
- Meilleur support de MacOS X.
- 0.0.15:
- Correction d'un bug empêchant les schedulers de fonctionner sous MacOS
- Ajout d'un bouton permettant de trier les variables dans l'animateur.
- Ajout d'un menu "animer" pour les fichiers *.mch et *.ref. Cette commande convertit le fichier B en fichier rodin, et lance l'animateur sur le fichier converti.
- 0.0.14:
- Amélioration importante des performances