|
Logiciel
|
Version
|
Correction / Modification
|
date
|
par
|
|
|
|
Librairies Env
|
La correction de const char * précédente était finalement pas nécesaire. Je suis revenue en arrière.
Correction de FKCLSendFile qui n'envoit pas la dernière ligne! (Merci Yann)
|
|
|
2.6
|
088
|
22/03/2002
|
Jean-Luc
|
|
Librairies Env
|
Correction de const char * dans FKCLDecode.c sinon core en C++ (Merci Yann)
|
|
|
2.5
|
087
|
12/03/2002
|
Jean-Luc
|
|
matrice
|
Correction de la définition de la fonction Pred.
|
|
|
6.3
|
086
|
30/08/2001
|
Isabelle
|
|
matrice
|
Gestion de la diffusion-X pour PROD. (<C.ALL>-<x>) est traduit en somme(Pred(X,i,tailleClasse,MinClasse)) avec i variant de 1 à tailleClasse-1. On n'accepte pas de coefficient (par exemple, 2*<C.ALL>-<x>, <C.ALL>-2*<x>, 2*<C.ALL>-2*<x>, ne sont pas traduits, un mesage de "Warning" est transmis à l'utilisateur "soustraction, non supportée par PROD)
|
|
|
6.2
|
085
|
26/06/2001
|
Isabelle
|
|
matrice
|
Ajout de la generation du format d'entree pour Lola.
Standalone usage matrice -s -i CAMIFile [-m matrixFile] [-p prodFile] [-c col2ordFile] [-l lolaFile]
|
|
|
6.1 (déjà)
|
084
|
12/07/2000
|
Isabelle
|
|
matrice
|
Correction d'une erreur sur l'identification des variables libres dans les gardes. Ajout d'un booléen qui interdit l'utilisation de Prod dans ce cas.
|
|
|
5.7
|
083
|
18/01/2000
|
Isabelle
|
|
col2ordequiv
|
Correction d'un bug relatif à la gestion des variables libres dans les gardes
|
|
|
1.3.4
|
082
|
18/01/2000
|
Emmanuel
|
|
BoundDisplay
|
Partie du pilote du calcul de bornes d'un réseau coloré déplié.
Corrige une erreur du pilote shell : taille limite des variables shell.
|
|
|
1.0
|
081
|
20/07/1999
|
Isabelle
|
|
matrice
|
Correction d'un bug dans l'analyse de la déclaration de domaines. Il était supposé qu'un domaine ne pouvait référencer que des domaines déjà déclares. En fait, on ne peut faire aucune supposition sur l'ordre. Il faut faire la vérification une fois que tous les domaines ont été déclarés. Correction d'une erreur dans le format de la matrice ordinaire (pb de fin de ligne)
Correction d'un bug lorsque le modèle ne contient que deux arcs et qu'ils relient dans le même sens une place et une transition. Suppression d'une boucle infinie.
|
|
|
5.6
|
080
|
26/07/1999
|
Isabelle
|
|
col2ordequiv
|
Yet Another Deplieur Version. Correction d'un bug relatif au dépliage des fonctions de couleurs : confusion entre la chaîne "" signifiant 1 sous Macao et la valeur 0 retournée par atoi("").
|
|
|
1.3.3
|
079
|
26/07/1999
|
Emmanuel
|
|
matrice
|
Ajout d'un message, si nécessaire, de non déclaration de domaine ou de la classe utilisée comme sous-domaine.
Regroupement, en deux listes, des messages indiquant les places et les transitions non nommées.
Positionnement du booleen (NAME_NOT_IDENTIFIER, "ON") si un identificateur de place ou de transition n'est pas un identificateur C.
|
|
|
5.4
|
078
|
18/06/1999
|
Isabelle
|
|
GSPNResults
|
Ajout de l'option -e pour la mise en evidence.
|
|
|
1.2
|
077
|
14/06/1999
|
Emmanuel
|
|
matrice
|
Ajout d'un booléen signalant que le réseau possède des variables libres
Positionnement de booléens pour griser les menus de services on compatibles avec le modèle.
Vérification de l'utilisation sur les arcs en entrée d'une transition des variables utilisées dans la garde.
|
|
|
5.2
|
075
|
31/05/1999
|
Isabelle
|
|
pilotSimul
|
Lock, Unlock model, traitement de l'intéruption (Arrêt simulation)
|
|
|
2.1
|
074
|
12/06/1999
|
Jean-Luc
|
|
Librairie User
|
Lock, Unlock and Changed model
|
|
|
2.3
|
073
|
12/06/1999
|
Jean-Luc
|
|
mci2cami
|
Intégration de l'outil de denis
|
|
|
1.1
|
072
|
07/06/1999
|
Jean-Luc
|
|
Mat2Pep
|
Intégration de l'outil de denis
|
|
|
1.1
|
071
|
07/06/1999
|
Jean-Luc
|
|
cpn_invariants
|
Deux fclose de suite !
|
|
|
1.1.2
|
070
|
05/06/1999
|
Jean-Luc
|
|
petribdd et libBDDPetri
|
Portage sur les différentes plates-formes des outils de G. Chiola, J.-M. Colom, J.-M. Couvreur, D. Poitrenaud.
|
|
|
2.0
|
069
|
03/06/1999
|
Jean-Luc
|
|
col2ordequiv
|
Modification de la fonction Realloc pour qu'elle simule le comportement du realloc sous Solaris (se comporte comme un malloc en cas de realloc sur un pointeur NULL)
|
|
|
1.3.1
|
068
|
04/06/1999
|
Emmanuel
|
|
matrice
|
Ajout de la vérification de la syntaxe et d'un peu de sémantique :
- valuation des arcs,
- marquages des places
- gardes des transitions
- cohérence avec la déclaration des classes, domaines et variables
Lève des drapeaux en fonction des types de modèles analysés.
|
|
|
5.0
|
067
|
31/05/1999
|
Isabelle
|
|
col2ordequiv
|
Ajout d'une fonction d'optimisation du modèle déplié
|
|
|
1.3
|
066
|
25/03/1999
|
Emmanuel
|
|
matrice
|
Amélioration de la gestion des arcs doubles pour les arcs ordinaires. Un seul arc est représenté dont la valuation est la somme des valuations des arcs ordinaires reliant une place et une transition (dans le même sens). Aucune modification n'a été faite pour Prod car Prod gère les arcs doubles.
|
|
|
4.7
|
065
|
11/01/1999
|
Isabelle
|
|
Librairie Env
Librairie User
|
Correction des API permettant de créer des 'CM', documentation des API de création de modèles résultats.
|
|
|
2.4, 2.2
|
064
|
23/10/98
|
Jean-Luc
|
|
Librairie Env
|
Ajout de la primitive FkEnvSetDefaultOutputStream permettant de définir un autre stream par défaut pour l'envoi de commandes CAMI au lieu de stdout.
|
|
|
2.3
|
063
|
23/10/98
|
Jean-Luc
|
|
matrice
|
Correction d'une erreur (introduite dpar la version précédente) dans la gestion des arcs (conduisait a des matrices incorrectes !!)
|
|
|
4.6
|
062
|
22/07/98
|
Isabelle
|
|
matrice
|
Optimisation de la gestion des arcs et arcs inhibiteurs. La liste est triée lors de la lecture des données et non après.
Changement du nom de kit PN_VERIFIER au lieu de VERIFIER [JLM]
|
|
|
4.5
|
061
|
24/06/98
|
Isabelle
|
|
matrice
|
Traitement de la valeur par défaut de la valuation des arcs. Cette dernière n'a pas besoin d'être transmise pour la création de la matrice ordinaire.
|
|
|
4.4
|
061
|
22/06/98
|
Isabelle
|
|
matrice
|
correction de bug : boucle infinie lors du traitement de réseaux ayant un seul arc.
|
|
|
4.3
|
061
|
24/04/98
|
Isabelle
|
|
boolcond
|
J'ai modifié l'affichage de façon a imprimer des propriétés de taille arbitraire et j'ai amélioré la gestion mémoire de l'affichage des propriétés.
|
|
|
1.0
|
060
|
09/04/98
|
Emmanuel
|
|
matrice
|
création des fichiers 'reseau.place' : liste des numéros Macao des places 'reseau.trans' : liste des numéros Macao des transitions.
|
|
|
4.2
|
059
|
06/04/98
|
Isabelle
|
|
col2ordequiv
|
Analyse de col2ordequiv à l'aide de dbmalloc. Il s'ensuit une meilleure gestion des places non colorées. Un erreur mineure lors de l'allocation mémoire pour le nom des places a aussi été corrigée.
|
|
|
1.2
|
058
|
03/04/98
|
Emmanuel
|
|
Librairies User & Env
|
FkSendTextResponse, FkResultSendErrorMessage,
FkResultSendOneErrorMessage n'ont plus de limite dans la taille du message. Les messages sont découpés en lignes et coupés au niveau de séparateurs si ils dépassent la taille max des message CAMI pour Macao.( FkClSendTextResponse).
Les messages d'erreur sont envoyé sur
stderr en standalone ou sur
stdout si ce ne sont pas des erreurs.
FkTrace n'a plus de limite de taille en standalone, la limite reste en non standalone.
|
|
|
2.2
|
055,056, 057
|
04/03/98
|
Jean-Luc
|
|
FkSandrine
|
Utilisation de nouvelles API pour rendre les messages d'erreur cf ci-dessous.
|
|
|
1.5.1
|
053
|
25/02/98
|
Jean-Luc
|
|
Librairies User & Env
|
Ajout de primitive
FkResultSendErrorMessage,
FkResultSendOneErrorMessage ...
FkClSendTextResponse.
|
|
|
2.1
|
049
|
25/02/98
|
Jean-Luc
|
|
Librairies Env
|
Supression d'un problème d'allocation mémoire.
|
|
|
2.1
|
054
|
25/02/98
|
Emmanuel & Jean-Luc
|
|
matrice
|
Correction dans la génération des variables libres (boucles imbriquées des valeurs acceptées remplacées par l'énumération des valeurs acceptées) Boucles (sur des classes énumérées) non acceptées par PROD.
|
|
|
4.1
|
051
|
19/02/98
|
Isabelle
|
|
col2ordequiv
|
Traitement des gardes
|
|
|
1.1
|
050
|
16/02/98
|
Emmanuel
|
|
matrice
|
génération d'une matrice ordinaire. Remplacement du traducteur Col2Ord
|
|
|
4.0
|
047
|
09/02/98
|
Isabelle
|
|
boolCond
|
J'ai ajoute un warning au déplieur indiquant que les gardes ne sont pas prises en compte par l'outil.
|
|
|
1.0b6
|
045
|
16/12/97
|
Emmanuel
|
|
col2ordequiv
|
J'ai ajoute un warning au déplieur indiquant que les gardes ne sont pas prises en compte par l'outil.
|
|
|
1.0.1
|
044
|
15/12/97
|
Emmanuel
|
|
matrice
|
amélioration de la gestion mémoire (matrices creuses en mémoire).
|
|
|
3.4
|
043
|
12/12/97
|
Isabelle
|
|
matrice
|
correction du bogue (marquage initial) lors de la génération successive de la matrice et du fichier pour Prod.
|
|
|
3.3.1
|
039
|
10/12/97
|
Isabelle
|
|
matrice
|
correction d'un bogue lors de l'initialisation du domaine des places apparaissant dans la génération pour Prod.
Bogue mis en évidence par Fabrice. Problème détecté lie à la génération successive de la matrice et du fichier d'entrée de Prod. Aucune version ne permet donc cette double génération.
|
|
|
3.3
|
037
|
10/12/97
|
Isabelle
|
|
matrice
|
Modification des instructions permettant de gérer les variables libres en sortie des transitions
|
|
|
3.2.1
|
038
|
01/12/97
|
Isabelle
|
|
matrice
|
Données, nécessaires à la traduction vers Prod, détruites lors de la création de la matrice.
Correction : non destruction de ces données
Données, crées pour la matrice, non interprétable par le traducteur vers Prod
Correction : suppression de ces données après construction de la matrice
|
|
|
3.2
|
037
|
01/12/97
|
Isabelle
|
|
matrice
|
suppression des références au numéro Macao des objets et au nom de la classe pour les éléments d'une classe de type "énuméré".
J'ai supprimé les numéros d'objets ajoutés aux noms des places et aux transitions ainsi que le nom de la classe préfixant les éléments d'une classe de type énuméré. j'ai par contre laissé les noms "_numMacao" pour les places et transitions n'ayant pas de nom. Ceci n'est pas gênant, car si ils n'ont pas de nom on ne peut pas y faire référence dans une propriété et ceci évite des erreurs de Prod dues à cette absence de nom.
|
|
|
3.1
|
035
|
05/11/97
|
Isabelle
|
|
matrice
|
Pour des classes énumérées de deux éléments, le code généré:
/*t1*/_v[0]-0xfffffffe+1-1 est pris par gcc comme un exposant.
Ajout de parenthèses.
|
|
|
3.0.1
|
034
|
04/11/97
|
Isabelle & Emmanuel
|
|
col2ordequiv
|
Pb d'allocation mémoire lorsqu'un domaine ne contenait qu'une seule couleur. Il s'agissait du log10 qui était appelé avec 0.
|
|
|
1.0
|
033
|
31/10/97
|
Emmanuel
|
