Accueil l L'Outil BramaTélécharger l Démos en ligne l Documentation l LiensContact   


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