|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
您需要在哪些配置上使用CADP？ （请不要列出您的所有类型的机器 组织购买了，但只购买了机器类型 您真的很想使用CADP工具）。 .Sun/Solaris 2.5[是/否] .Sun/SunOS 4.1.x[是/否] .Sun/Linux[是/否] .SGI/Irix[是/否] .HP/HP-UX[是/否] .阿尔法/OSF/1[是/否] .IBM/AIX*.*[是/否] .PC/ELF版本的Linux[Y/N] .PC/a.out版本的Linux[是/否] .PC/Windows 95[是/否] .PC/Windows NT 4.0[是/否] .其他请精确 如果在运行SunOs 4.1.x的Sun工作站上使用CADP， 你计划这样做多久？ 您计划在不久的将来迁移到Solaris吗？ 您介意我们停止支持SunOS 4.1.x吗？
编号：422 日期：1996年12月16日星期一16:03:51 MET 作者：Laurent Mounier（VERIMAG） 文件：bin.*/projection.a 性质：投影仪工具的库工作不正常 和已更新。
编号：423 日期：1996年12月16日星期一18:23:09 MET 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/xsimulator.a 性质：Xsimulator工具中修复了一个小错误。
编号：424 日期：1996年12月22日星期日20:57:27 MET 报道：盖·特伦布雷（蒙特利尔魁北克大学）， J.Sincennes（渥太华大学） 作者：Hubert Garavel（INRIA/VASY） 文件：安装 性质：在安装文件中，$ARCH变量在 $CADP_ARCH，以避免与某些$ARCH发生冲突 变量，它可能也存在于一些启动shell中。 此更改仅针对新用户； 如果你是 当前使用$ARCH，您不必修改您的 启动文件。 关于差异的解释 在架构之间添加了“sun4”和“sun5”。
编号：425 日期：1997年1月6日星期一17:09:45 MET 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar.adt 性质：CAESAR中修复了一个小错误。 ADT公司。 在“.h”文件中 由CAESAR生成。 ADT，当“.t”文件（外部类型） 包括描述预期 “.t”文件的内容在 放置在“.h”文件中。 现在，他们聚集在一起 在包含“.t”文件的位置。
编号：426 日期：1997年1月8日星期三14:27:23 MET 报告：Ghassan Chehaibar（Bull/Dyade） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar.adt，man/manl/caesar.adt.l 性质：CAESAR增加了一个新选项“-外部”。 ADT公司。 什么时候？ 使用此选项CAESAR调用。 ADT生成两个原型 文件，可以用作“.t”文件的模型 （外部类型）和“.f”文件（外部函数）。 这些文件需要手工完成。 CAESAR公司。 ADT公司 手册页已相应更新。
编号：427 日期：1997年1月29日星期三14:42:28 MET 作者：Hubert Garavel（INRIA/VASY） 文件：/ 安装 性质：安装指令： chown-R root$CADP chgrp-R轮$CADP 在Solaris 2下不工作（“wheel”组仅存在 在Solaris 1中）。 它们已替换为： chown-R0$CADP chgrp-R0$CADP 这应该在Solaris 1和2下都能工作。
编号：428 日期：1997年1月31日星期五11:42:55 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Hubert garavel（INRIA/VASY） 文件：bin.*/bcg_io 性质：BCG_IO工具在某些限制条件下无法正常工作 Solaris 2.5版本（仅限于动态库）。 什么时候？ 使用一些特定选项调用，错误消息为 显示，例如： >bcg_io测试.bcg测试.aut >ld:fatal:library-lc:未找到 >ld:fatal:文件处理错误。 没有输出写入。。。 >分段故障（堆芯倾卸） 这个问题也发生在阿尔德巴兰 调用BCG_IO执行格式转换： >阿德巴兰-bddsize 4-info foo.bcg >ld:fatal:library-lsocket:未找到 >ld:fatal:library-lnsl：未找到 >ld:fatal:library-lelf：未找到 >ld:fatal:library-lc:未找到 >ld:fatal:文件处理错误。 没有输出写入。。。 >分段故障-堆芯倾倒 此问题已解决。
编号：429 日期：1997年2月6日星期四08:41 MET 作者：Hubert Garavel（INRIA/VASY） 文件：/ 安装 性质：设置$LD_LIBRARY_PATH的安装指令有效 用于“csh”，但不用于“tcsh”。 新指令应适用于 “csh”和“tcsh”。 此外，“/usr/lib”被添加到我们 建议出现在$LD_LIBRARY_PATH中。
编号：430 日期：1997年2月6日星期四14:53:03 MET 作者：Mark Jorgensen（INRIA/VASY）、Laurent Mounier（VERIMAG） 文件：doc/：READ_ME 性质：：READ_ME文件已通过 文件。 现在，CADP网站上提供了HTML版本。
编号：431 日期：1997年2月10日星期一17:10:11 MET 作者：Mark Jorgensen（INRIA/VASY） 文件：com/xeuca，src/eucalyptus/eucalyptous.tcl 性质：EUCALYPTUS图形用户界面改进为两个 方式：明确指定适当的字体（这样可以避免 一些X终端上的随机字体替换）和颜色 已添加。 用户可以自定义字体和颜色 使用~/.xeucarc文件。
编号：432 日期：1997年2月17日星期一09:37:21 MET 作者：Hubert Garavel、Radu Mateescu、Mihaela Sighireanu（INRIA/VASY） 文件：lib/INTEGERNUMBER.lib、lib/INTGER.lib、lib/X_INTEGER.lib， 包括/X_INTEGER.h 性质：开发了一个新的数据类型库 带符号整数。 此库位于 两种不同的形式： -“INTEGERNUMBER.lib”（也称为“INTEGE.lib” 速记）包含“pure”抽象数据类型 整数的定义。 它可以被编译 由CAESAR提供。 ADT公司 -``X_INTEGER.lib''包含数据类型定义， 所有类型和函数都声明给 是外部的。 相应的C实现是 包含在文件/X_INTEGER.lib中
编号：433 日期：1997年2月17日星期一11:51:36 MET 作者：Hubert Garavel（INRIA/VASY） 文件：com/caesar.aldebaran 《自然》：之前版本的“凯撒·阿尔德巴兰”依赖于 “echo”命令的“-n”选项，该选项没有 Solaris 2.*中存在更长的。 这个问题已经解决了。
编号：434 日期：1997年2月17日星期一12:14:21 MET 报告：Jacques Sincennes（渥太华大学） 作者：Hubert Garavel（INRIA/VASY） 文件：com/tst 性质：当“/bin/arch”覆盖时，“tst”给出的警告消息 $PATH中的“$CADP/com/arch”已被抑制（更多 准确地说，它已经被极度软化了），因为 情况不会造成问题。 此外，新版本的 “tst”检查UNIX命令“head”和 “尾巴”。
编号：435 日期：1997年2月17日星期一15:53:15 MET 作者：Hubert Garavel（INRIA/VASY） 文件：com/upc 性质：考虑到新的 CADP版本名称的形式（97a等，在A、B、…Z之后）。 此外，“echo-n”语句可以跨 不同的Unix版本。
编号：436 日期：1997年2月20日星期四19:02:15 MET 作者：Mihaela Sighireanu（INRIA/VASY） 文件：emacs/lotos-mode.el 性质：使用Emacs编辑LOTOS描述的“LOTOS模式” 和XEmac已添加到CADP版本中。 此模式 允许关键字和注释以不同的格式显示 字体/颜色。 它还提供了进入的速记 快速LOTOS构造（类型、流程…）并支持 Emacs和XEmacs中的编译器调用。
编号：437 日期：1997年2月25日星期二15:27:14 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Mark Jorgensen（INRIA/VASY） 文件：src/eucalyptus/eucalyptus.tcl 性质：在EUCALYPTUS中，如果选项 单击之前已选择“Use_Non_Standard_Library” “执行/符号模拟”。 例如，如果 已选择“is.x”库，ELUDO尝试获取 库“是.x.x”。 这个问题已经解决了。
编号：438 日期：1997年2月27日星期四14:48:07 MET 作者：Laurent Mounier（VERIMAG） 文件：demos/demo_18 性质：一个新的演示（在 欧洲项目SPECS）被添加到CADP分发中，
编号：439 日期：1997年3月4日星期二13:09:26 MET 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar，包括/caesar_kernel.h、src/exec_caesar/main.c 男人/男人/凯撒 性质：CAESAR中添加了一个新选项（“-exec”）。 此外 CAESAR的两种现有模式：图形生成（“-bcg”， “-aldebaran”、“-graph”）和空中探索（“-open”）， 该选项引入了第三种模式：执行模式。 使用此选项，CAESAR生成一个可执行的C模块， 可用于控制真正的“反应”系统。 此代码必须用手工编写的C例程完成 对应于LOTOS描述的可观察门。 定义了用“-exec”生成的C代码的接口 在“$CADP/incl/caesar_kernel.h”和一个典型的主例程中 在“$CADP/src/exec_caesar/main.c”中提供。 例如， 请参阅下面的#461。
编号：440 日期：1997年3月10日星期一15:39:46 MET 报告：Charles Pecheur（INRIA/VASY）、Arnaud Fevrier（ENST）、， Elie Najm（ENST） 作者：Mark Jorgensen和Hubert Garavel（INRIA/VASY） 文件：src/eucalyptus/eucalyptous.tcl，src/eucelyptus/xeucarc_standard 性质：EUCALYPTUS中进行了一些修复和改进： （a） 从“xeuca”创建的xterm的大小现在是 由中定义的$Xterm_Options变量参数化 xeucarc文件。 此变量还可用于 将各种选项传递给xterm。 （b） 当用户尝试 启动Viscope工具（如果未安装） （c） 在文件/更改目录菜单中，按钮 对应于未安装工具的目录 现在处于非活动状态（灰色）。 （d） 在Applications（应用程序）菜单中，现在只有一个编辑器 按钮，对应于$EDITOR变量 （e） “xeuca”在启动时不再创建xterm窗口 编辑器，如emacs、xemacs、textedit等 他们自己的xterm窗口。 相反，xterm是 仍为“vi”创建。 （f） “xeuca”创建的临时文件的名称有 独特，以避免 并发或连续的“xeuca”会话。 （g） “xeuca”现在检测备份文件（foo~和#foo#） 由emacs和xemacs创建，并给它们一个灰色图标。 （h） 按下“帮助”按钮和帮助窗口时 已打开，将弹出“帮助”窗口。
编号：441 日期：1997年3月10日星期一18:40:45 MET 报告：Arnaud Fevrier（ENST） 作者：Hubert Garavel（INRIA/VASY） 文件：安装 性质：安装文件中列出的各种设置细节 已改进： （a） 对于C-shell，添加了一项测试，以检测 是否设置了$LD_LIBRARY_PATH。 （b） $EDITOR变量不会被覆盖 定义。 （c） $NAVIGATOR变量不会被覆盖，如果之前 定义。 （d） 尝试自动定位CADP_CC （根据上下文选择“cc”或“gcc”）。
编号：442 日期：1997年3月11日星期二12:12:34 MET 报告：Mihaela Sighireanu（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：com/tst 性质：当$CADP_CC 设置为“cc-g”已被修复。 此外，新版本的“tst” 正确检测$CADP设置为虚拟的情况 值。
编号：443 日期：1997年3月14日星期五16:46:27 MET 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar、bin.*.caesar.adt、man/manl/caesar.l、， man/manl/caesar.adt.l，src/桉树 自然：“-berkeley”和“-systemV”这两个选项不再适用 1997年意义重大。 它们已从CAESAR中移除， 凯撒。 ADT和EUCALYPTUS。 手册页面已更新。
编号：444 日期：1997年3月17日星期一10:19:12 MET 报告：Axel Belinfante（特温特大学）， Ghassan Chehaibar（公牛/迪亚德） 马克·乔根森（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar、man/manl/caesar.l 性质：CAESAR在其类型期间生成的临时文件 调查阶段，其优化阶段（优化E7， V3、V4、V7）及其模拟阶段现在创建于 $CADP_TMP目录（而不是当前目录）。 CAESAR的手册页已更新。 特别是，这解决了几个 OPEN/CAESAR用户： >caesar.open:使用链接模式 >caesar.open:文件“xxx.c”不是使用生成的 >“凯撒-开放” CAESAR停止时发生此问题（由于错误 数据类型的手写C代码）留下一个临时 当前目录中的“.c”文件。 这个“.c”文件必须是 在重新启动“caesar.open”之前手动删除。 这个问题 源于临时“.c”文件和 由“caesar-open”共享生成的最终输出“.c”文件 相同的文件名。
编号：445 日期：1997年3月17日星期一10:19:12 MET 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar.adt，man/manl/caesar.adt.l 性质：同样，CAESAR生成的临时文件。 ADT期间 其外部类型调查阶段现在在 $CADP_TMP目录（而不是当前目录）。 这个 已在“.c”文件中重命名“..c”文件。 手册页面 用于CAESAR。 ADT已更新。
编号：446 日期：1997年3月17日星期一11:23:34 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar，bin.*/caesar.adt 性质：CAESAR和 凯撒。 ADT公司： >过程P[9]的主体具有以下功能： >F1 >而其声明需要功能： >二层 不正确（功能F1和F2必须 置换）。 这个问题现在已经解决了。
编号：447 日期：1997年3月17日星期一15:57:15 MET 报告：Charles Pecheur（INRIA/VASY）、Muffy Thomas（格拉斯哥大学） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar 性质：表格警告信息： >“xx.c”，第498行：警告：指针/整数不正确 >组合：op“=” 在Solaris 2.x上使用调用CAESAR时发生 指向/usr/ucb/CC的$CADP_CC已修复（问题 来自函数tmpfile（）未声明的事实 在/usr/ucbinclude/stdio.h中）
编号：448 日期：1997年3月17日星期一17:54:34 MET 报告：Charles Pecheur和Mihaela Sighireanu（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/exphibitor.a 性质：“参展商-dfs”中的一个错误被修复，导致参展商 以停止，并显示以下错误消息： > ./ 参展商：第65行违反声明 >文件“exhibitor_dfs.c”
编号：449 日期：1997年3月19日星期三15:46:37 MET 文件：bin.*/evaluator.a，man/manl/evaluator.l 作者：Marius Bozga（VERIMAG） 性质：发布了新版本的EVALUATOR，改进了以前的 几个方面的版本： -用于存储产品状态的数据结构 改进。 评估过程中所需的物理内存 对于大型示例，减少了40%。 -现在有两种不同的评估策略： 本地的，这是战略的改进 在上一版本和全局版本中实现， 基于对整个产品图的单一探索。 当公式满足以下条件时，前者特别有效 评估为false（并提供诊断），而 当公式为真时，后者通常提供更好的结果 （取决于LTS的结构）。 -微积分公式的语法已经扩展： 现在可以使用布尔值“not”和“or”指定标签集 标签上的操作。 EVALUATOR手册页面已更新。
编号：450 日期：1997年3月19日星期三16:34:21 MET 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar，com/caesar.open，com/casar.xesar， src/桉树，man/manl/caesar 性质：CAESAR中删除了七个命令行选项： -auto、-mec、-pipn、-scan、-signles、-xesar和-xesar.old 因为它们不再有用（或者相应的工具 不再维护，或在特定情况下 Auto/Autograph，正在使用一种新的图形格式（FC2））。 这一删除简化了CAESAR的代码（变成 660-lines leaner）、文档和图形 用户界面。 如果需要，相应的图形格式（.auto.pro、， .dp3、.ge3、.gra、.graph、.m0、.mec、.scan和.tai） 仍然可以通过首先生成BCG文件来获得，然后 使用“bcgio”将其转换为所需的图形格式。 当然，仍支持以下选项： -阿德巴兰、bcg、graph、-exec和-open CAESAR的手册页已更新。 EUCALYPTUS图形用户界面已更新。 “caesar.xesar”炮弹脚本（从1994年11月开始） 已被删除，因为它不再有用。 “凯撒.open”外壳已经更新。
编号：451 日期：1997年3月19日星期三17:10:55 MET 作者：Hubert Garavel（INRIA/VASY） 文件：man/whatis，man/windex 性质：CADP手册页的索引文件（命名为“whatis”，用于 生成“sun4”和“windex”（表示“sun5”）。 这应该是 允许“man-k”正常工作。
编号：452 日期：1997年3月21日星期五11:47:51 MET 报告：Mihaela Sighireanu（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：gc/* 性质：Boehm-Demers垃圾收集器已升级。 这个 以前的版本（1994年12月23日的V4.3） 替换为可用的最新版本（V4.10，日期 1996年2月19日）。
编号：453 日期：1997年3月21日星期四14:37:31 MET 报告：Antony de Jacquir（布鲁塞尔自由大学） 作者：阿兰·科布拉特和劳伦特·穆尼尔（VERIMAG） 文件：bin.*/aldebaran 性质：命令行中给定的文件名的默认后缀 已修改ALDEBARAN或组合表达式中的。 从现在开始，ALDEBARAN首先查找“.aut”文件，然后查找 一个“.bcg”文件，最后是一个“.exp”文件。 因此，它变成 可以使用存储在“foo.aut”文件中的LTS “foo.exp”组合表达式。
编号：454 日期：1997年3月21日星期五15:09:34 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Mark Jorgensen和Hubert Garavel（INRIA/VASY） 文件：bin.*/dupplex 性质：解决了两个问题： -Xsimulator无法运行时未显示错误消息 启动（由于缺少X字体或“xhost-” 设置或其他初始化原因）。 -“xeuca”（EUCALYPTUS图形用户 接口）
编号：455 日期：1997年3月22日星期五10:23:14 MET 报道：Hubert Garavel 作者：Alain Kerbrat和Laurent Mounier（VERIMAG） 文件：bin.*/aldebaran 性质：ALDEBARAN中的警告已被取消：它不正确 当存储在“a.aut”文件中的LTS包含 单一状态，无过渡。
编号：456 日期：1997年3月24日星期一15:54:57 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Hubert Garavel和Mark Jorgensen（INRIA/VASY） 文件：src/open_caesar/simulator.i 性质：模拟代码（“simulator”和“xsimulator”通用） 已扩展以捕捉发生错误的情况 在评估ADT表达时，通常 导致以下错误消息： #212文件“.h”中的错误： 意外情况（未由方程式定义） 操作F[…] 由函数CAESAR_ADT_FUNC_F[…]实现 在以前的版本中，“模拟器”将立即退出 在这种情况下。 “刺激剂”的情况更糟， 会在出现上述错误之前退出并破坏其窗口 消息无法读取。 新版本的“模拟器”和 “xsimulator”从容地从这种情况中恢复，允许 用户返回到以前的状态或从初始状态 状态。
编号：457 日期：1997年3月24日星期一18:10:09 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Mark Jorgensen和Hubert Garavel（INRIA/VASY） 文件：bin.*/dupplex 性质：已修复以下问题：“xsimulator”被阻止 当过渡次数过多（即数百次）时 从当前状态启动。 新版本恢复自 这种情况下，只显示错误消息并打印 前数百个转换（跳过其余的 个）。
编号：458 日期：1997年3月25日星期二12:38:38 MET 报告：Charles Pecheur（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：src/eucalyptus/eucalyptous.tcl 性质：在某些情况下（当选项如-first、-all等 指定），“终止符”工具被错误调用 从EUCALYPTUS用户界面（即，选项是 指定两次）。 此错误已被解决。
编号：459 日期：1997年3月25日星期二12:46:19 MET 作者：Hubert Garavel（INRIA/VASY） 文件：src/eucalyptus/eucalyptous.tcl 性质：EUCALYPTUS的“文件”和“应用程序”菜单 重命名并重新组织为两个菜单（“文件”和“视图”）， 更符合逻辑，更接近标准约定。
编号：460 日期：1997年3月25日星期二14:23:06 MET 报告：Ilona Schubert（德国GMD-FOKUS） 作者：Hubert Garavel（INRIA/VASY） 文件：com/rfl 性质：在“rfl”中添加了一项测试，以检测 登录shell的启动文件（例如“.cshrc”或“.profile”） 对其标准输出执行“echo”语句。 这样可以防止 “rsh”（以及由此产生的“rfl”）无法正常工作。
编号：461 日期：1997年3月25日星期二17:20:39 MET 作者：Hubert Garavel和Mark Jorgensen（INRIA/VASY） 文件：demos/demo_19 《自然》：一个新的演示（著名的“制作单元”及其动画 Tcl/Tk接口）添加到CADP版本中。 它 演示如何使用LOTOS和EXEC/CAESAR进行编程 控制器。
编号：462 日期：1997年3月25日星期二18:10:35 MET 作者：Hubert Garavel（INRIA/VASY） 文件：src/eucalyptus/eucalyptous.tcl 性质：EUCALYPTUS中修复了一个错误：“二维编辑” PostScript文件的按钮调用了不正确的命令。
编号：463 日期：1997年3月26日星期三11:24:54 MET 报告：Marius Bozga和Laurent Mounier（VERIMAG） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/libbcg_open.a 性质：由提供的CAESAR_STRING_LABEL（）的实现 BCG_OPEN效率低下，因为每次调用此函数 分配了一段永远无法释放的内存 （根据“caesar_graph.h”中定义的约定）。 此错误已被修复。
编号：464 日期：1997年3月26日星期三11:59:36 MET 作者：Laurent Mounier（VERIMAG） 文件：doc/Krimm-Mounier-97.dvi、doc/Kricmm-Mounier-97.ps、， doc/liblio.bib文件 性质：在 “doc”目录。
编号：465 日期：1997年3月26日星期三18:21:09 MET 作者：Hubert Garavel（INRIA/VASY） 文件：src/eucalyptus/eucalyptous.tcl 性质：EUCALYPTUS图形用户界面已扩展至 支持新版本的evaluator（请参阅上面的449）。
编号：466 日期：1997年3月27日星期四11:11:04 MET 作者：Hubert Garavel和Mark Jorgensen（INRIA/VASY） 文件：bin.*/caesar、bin.*/lib_BCG_IO.a，包括/BCG_write.h src/open_caesar/generator.c、src/open_caesar/reductor.c， src/eucalyptus/eucalypturs.tcl，src/monitor/main.tcl， com/caesar.open，man/manl/caesar.l，man/manl/generator.l， man/manl/reductor.l，man/man1/bcg_write.l 性质：BCG库中添加了一项新功能：它是 现在可以实时监控BCG的生成 图形：这是使用Tcl-Tk窗口完成的，该窗口显示 当前状态数、当前转换数、， 标签列表等（参见下面的改进#468 有关如何从 C程序）。 CAESAR、Generator和 还原器：当调用时，此选项启动Tcl Tk监视器 窗口。 注意：“-monitor”选项使用CPU，但不多 内存昂贵（因为“管道”用于进程间 通信）。 EUCALYPTUS用户界面和相应的手册 页面已更新以集成此新功能。
编号：467 日期：1997年3月27日星期四12:32:00 MET 作者：Laurent Mounier（VERIMAG） 文件：demos/demo_20 性质：关于DES2AUT、PROJECTOR和EVALUATOR工具的新演示 （使用4对rel/rel协议进行成分验证 电台）已添加。
编号：468 日期：1997年4月1日星期二16:56:13 MET夏令时 作者：Hubert Garavel（INRIA/VASY） 文件：incl/bcg_io_write_bcg.h、bin.*/libBCG_io.a、bin.*.caesar、， src/open_caesar/generator.c、src/open_caesar/reductor.c， com/upc，man/manl/bcg_write.l 性质：用于生成BCG文件的C编程接口具有 得到了简化和增强。 主要变化影响 函数BCG_IO_WRITE_BCG_BEGIN（）的参数列表 和BCG_IO_WRITE_BCG_END（）。 新参数的含义 如“bcg_write.l”手册页所述。 利用新的“bcg_io_write_bcg.h”接口 和新的“libBCG_IO.a”库，对现有的 程序是必要的。 现有通话： BCG_IO_WRITE_BCG_BEGIN（<文件名>，<代码>，<注释字符串>）； ... BCG_IO_WRITE_BCG_END（<nb_states>，<初始状态>， <nb边>，<sort>）； 应替换为以下内容： BCG_IO_WRITE_BCG_BEGIN（<文件名>，<初始状态>，<代码'>， <comment string>，<monitor>）； ... BCG_IO_WRITE_BCG_END（）； 哪里： -<filename>和<comment string>应保持不变。 -<初始状态>应从一个函数移到 其他。 -应删除<nb状态>和<nb边>：这两个 值现在由BCG库自动处理。 这将阻止应用程序生成 提供错误编号的BCG文件不一致 状态和边缘。 应用程序不再需要 计算<nb状态>和<nb边>本身。 -<代码'>应等于1或2（参见手册页）。 -应删除<sort>（它不再有用）。 -<monitor>是一个布尔值，指示Tcl-Tk 应启动监视窗口。 CAESAR、Generator、Reductor和“upc”shell-script具有 已相应更新。
编号：469 日期：1997年4月1日星期二18:04:42 MET DST 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/bcg_io 性质：在Z版中，由 ALDEBARAN已被单方面修改。 在Z版之前， ALDEBARAN生成的“.aut”文件中的边总是 通过增加“from-states”的数量进行排序。 自 Z版，ALDEBARAN的某些选项会生成“.aut”文件 未排序的，例如： des（0，6，7） （0，F，6） （4、E、5） （0、C、3） （1、B、2） （3、D、4） （0，A，1） 这种情况在各地引起了问题。 特别地 BCG_IO无法处理未分类的“.aut”文件，这导致 发送到以下错误消息： bcg_edge：bcg_WRITE_edge中以前的状态没有增加 BCG的新版本已经过修改，以应对非分类 “.aut”文件。 然而，BCG文件现在由“.aut”生成 文件现在不像以前那么紧凑了（从技术上讲，它们的边缘 区域使用格式1而不是格式2进行编码）。 因此，建议使用BCG文件 而不是“.aut”文件。 特别是，最好生成 直接从CAESAR生成BCG文件，而不是生成 首先是“.aut”文件，然后将其转换为BCG文件。 注意：可以使用以下命令对未排序的“.aut”文件进行排序 命令：bcg_io unsorted.aut sorted.aut
编号：470 日期：1997年4月1日星期二18:34:23 MET DST 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/bcg_io 性质：以前版本的BCG_IO工具没有解析 正确的简单SEQUENCE格式：例如，行开始 有一封信被拒绝了，但他们应该被忽略 默默地。 这个问题现在已经解决了。
编号：471 日期：1997年4月2日星期三09:48:25 MET DST 报告：Radu Mateescu和Mihaela Sighireanu（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/libBCG_IO.a、bin.*/caesar src/open_caesar/generator.c，src/open-caesar/reductor.c 性质：CAESAR、发电机和减速器已修改为关闭 当中断信号发出时，正确生成BCG文件 收到，或BCG监视器的“停止”按钮 按下。 这将防止不完整（因此 不一致）BCG文件留在工作目录中。
编号：472 日期：1997年4月2日星期三16:14:40 MET DST 报告：Ghassan Chehaibar（公牛/迪亚德） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar 性质：CAESAR生成的“.aut”文件保留在不一致的 收到中断信号时的状态。 这个问题现在 解决了的。
编号：473 日期：4月2日星期三16:25:04 MET DST 1997 报告：Radu Mateescu和Mihaela Sighireanu（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/caesar、man/manl/caesar.l 性质：以前，如果 命令行上给出了“-network”，或者如果没有 选择了以下原语：“-bcg”、“-aldebaran”、， “-open”、“-exec”。 这种行为令人感到困惑， 尽管这是出于“历史”考虑。 新的行为更简单：“.net”生成为iff 命令行上提供了“-network”选项------------------------------------------------------------------------------- BUG修复 编号：474 日期：1997年4月7日星期一19:23:35 MET DST 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/*bcg*，bin.*/*bcg* 性质：BCG工具不再提供“-Bstatic”选项 和库调用C编译器时。 这将删除 使用“gcc”而不是“cc”时出现编译器警告： gcc:文件路径前缀“static”从未使用
编号：475 日期：4月17日星期四12:45:07 MET DST 1997 报告：Charles Pecheur（INRIA/VASY） 作者：Hubert Garavel和Mark Jorgensen（INRIA/VASY） 文件：incl/caesar_hash.h 性质：由于#define语句中的错误，这两个哈希函数： CAESAR_STATE_1_HASH（）和 终结者使用的实际上是相同的，这限制了 死锁搜索的范围。 此错误已修复。
编号：476 日期：1997年4月17日星期四15:45:23 MET DST 作者：Hubert Garavel和Mark Jorgensen（INRIA/VASY） 文件：bin.*/libcaesar.a，包括/caesar_hash.h，man/manl/caesar_hash.l doc/Garavel-92-a.ps文件 性质：OPEN/CAESAR库的CAESAR_0_HASH（）函数是 替换为更快的散列函数（算法完全 不同，返回的散列值也不同）。 前面的哈希函数仍然可用，但具有 不同的名称：CAESAR_3_HASH（）和CAESAR_STATE_3_HASH（）。
编号：477 日期：1997年4月23日星期三12:47:52 MET DST 报告：Ghassan Chehaibar（Bull/Dyade） 作者：Hubert Garavel和Mark Jorgensen（INRIA/VASY） 文件：bin.*/caesar 性质：CAESAR生成的C代码经过仔细检查 并进行了改进，以提高其执行速度。 应用了十种优化转换，领先 大大减少了开火所需的时间 转换（这次大致除以9！）。 除此之外，状态哈希表的大小 扩大（从8329个条目增加到131071个条目）。 从现在开始， 用户可以控制该值，该值由 表单的预处理器指令： #定义CAESAR_STATE_HASH_SIZE。。。 类似地，用户可以控制位置的大小 哈希表，使用以下firective： #定义CAESAR_POSITION_HASH_SIZE。。。 这些变化的结合导致了更快的版本 CAESAR的。 根据示例，CAESAR的新版本 速度可以快2到160倍，如表所示 （所有这些数据都是在Ultra-Sparc-1上获得的 143 MHz，256 MB RAM）： 示例CAESAR 5.1 CAESAR 5.2加速 CO4（Ch.Pecheur）6分2分40秒2.3 演示_17/实验_14.lotos 3分13秒1分03秒3 demo_08/rel_rel.lotos 58分24秒9分43秒6 demo_11/rel_rel.lotos 1小时52分12分59秒8.6 demo_07/超越.lotos 3分11秒20秒9.6 demo_17/EXPERIMENT_12.lotos 40分20秒2分45秒15 demo_14/pots.lotos 13分37秒54秒15 demo_17/EXPERIMENT_11.lotos 8小时17分12分40秒39 demo_16/brp_protocol.lotos 7分55秒6秒79 IEEE 1394（M.Sighireanu）83小时29分55分30秒90 demo_18/transit_node.lotos 46小时8分17分10秒161
编号：478 日期：1997年4月23日星期三15:49:42 MET DST 作者：Hubert Garavel（INRIA/VASY） 文件：bin.*/libcaesar.a 性质：CAESAR的一些优化（参见上面的#477） 也已应用于OPEN/CAESAR库。
编号：479 日期：1997年4月25日星期五11:56:49 MET DST 作者：Radu Mateescu（INRIA/VASY） 文件：demos/demo_01、demos/demo_02 性质：这两个演示示例通过以下示例进行了增强 用微积分编写并验证的正确性属性 使用Evaluator。
编号：480 日期：1997年5月2日星期四13:14:40 MET DST 报道：Michael Kishinevsky（Aizu大学） 作者：Hubert Garavel（INRIA/VASY） 文件：com/rfl 性质：“rfl”命令变得更加强大，以便 即使特定于用户的启动文件（.cshrc、.profile、， 等）不要在$PATH变量中包含“/usr/ucb/bin”。 新的“rfl”命令减少了对用户的假设- 特定配置。
编号：481 日期：1997年5月6日星期二10:50:33 MET DST 报告：Laurent Mounier（VERIMAG）、Charles Pecheur（INRIA/VASY） 作者：Mark Jorgensen（INRIA/VASY） 文件：src/eucalyptus/eucalyptous.tcl 性质：EUCALYPTUS图形用户界面中的两个错误修复： -在某些情况下，ALDEBARAN的“OK”（确定）按钮 可以启用比较窗口、Evaluator窗口等 即使没有选择自动机文件或mu-calculus文件 之前。 他们现在总是残疾，直到 进行选择。 -在某些情况下，“Kill”（杀死）按钮拒绝工作，原因是 显示形式为“It is too later to kill the process”或“There is no process to kill”。这些消息是 没有显示记录器：而是打开一个窗口，其中 用户可以选择要终止的一个或多个进程。
编号：482 日期：1997年5月23日星期五12:11:54 MET夏令时 报告：Charles Pecheur（INRIA/VASY） 作者：Hubert Garavel（INRIA/VASY） 文件：com/tst 性质：“tst”命令已修改为在 Solaris 2.*，当 -使用“/usr/ucb/cc”作为C编译器（代替 “/opt/SUNWspro/bin/cc”） -“/usr/ucb/ld”用作链接编辑器（代替 “/opt/SUNWspro/bin/ld”） 因为我们注意到使用“/usr/ucb/cc”会使 Xsimulator到堆芯转储。
编号：483 日期：1997年5月26日星期一18:22:32 MET DST 作者：Hubert Garavel（INRIA/VASY） 文件：doc 性质：CADP发布中增加了两篇新论文 -Garavel-Jorgensen-et-al-97.ps -Sighireanu-Mateescu-97.ps公司 97a版“Twente”
