| 2012-01-13 |
Released beta-version CADP 2010-h (release candidate 30) |
| 2011-12-13 |
Released beta-version CADP 2010-g (release candidate 29) |
| 2011-11-21 |
Moving from http://www.inrialpes.fr/vasy/cadp to http://cadp.inria.fr |
| 2011-11-13 |
Released beta-version CADP 2010-f (release candidate 28) |
| 2011-10-13 |
Released beta-version CADP 2010-e (release candidate 27) |
| 2011-09-13 |
Released beta-version CADP 2010-d (release candidate 26) |
| 2011-07-13 |
Released beta-version CADP 2010-c (release candidate 25) |
| 2011-06-13 |
Released beta-version CADP 2010-b (release candidate 24) |
| 2011-05-13 |
Released beta-version CADP 2010-a (release candidate 23) |
| 2011-04-13 |
Released beta-version CADP 2009-i (release candidate 22) |
| 2011-03-13 |
Released beta-version CADP 2009-h (release candidate 21) |
| 2011-02-13 |
Released beta-version CADP 2009-g (release candidate 20) |
| 2011-01-13 |
Released beta-version CADP 2009-f (release candidate 19) |
| 2010-12-13 |
Released beta-version CADP 2009-e (release candidate 18) |
| 2010-11-13 |
Released beta-version CADP 2009-d (release candidate 17) |
| 2010-10-13 |
Released beta-version CADP 2009-c (release candidate 16) |
| 2010-10-11 |
Already 1000 messages and 150 members in the CADP forum |
| 2010-09-13 |
Released beta-version CADP 2009-b (release candidate 15) |
| 2010-07-23 |
Released beta-version CADP 2009-a (release candidate 14) |
| 2010-06-18 |
Released beta-version CADP 2008-k (release candidate 13) |
| 2010-04-06 |
Released beta-version CADP 2008-j (release candidate 12) |
| 2010-03-05 |
Released beta-version CADP 2008-i (release candidate 11) |
| 2010-01-21 |
Released beta-version CADP 2008-h (release candidate 10) |
| 2010-01-19 |
Added new CADP tool: LNT.OPEN |
| 2010-01-19 |
Added new CADP tool: LNT2LOTOS |
| 2010-01-19 |
Added new CADP tool: LPP |
| 2009-12-10 |
Released beta-version CADP 2008-g (release candidate 9) |
| 2009-10-29 |
Released beta-version CADP 2008-f (release candidate 8) |
| 2009-07-31 |
Added new CADP tool: CONTRIBUTOR |
| 2009-07-29 |
Released beta-version CADP 2008-e (release candidate 7) |
| 2009-07-23 |
Added new CADP tool: CUNCTATOR |
| 2009-07-13 |
Released beta-version CADP 2008-d (release candidate 6) |
| 2009-07-10 |
Added new CADP tool: FSP.OPEN |
| 2009-06-13 |
Released beta-version CADP 2008-c (release candidate 5) |
| 2009-05-13 |
Released beta-version CADP 2008-b (release candidate 4) |
| 2009-04-13 |
Released beta-version CADP 2008-a (release candidate 3) |
| 2009-03-13 |
Released beta-version CADP 2007-r (release candidate 2) |
| 2009-02-13 |
Released beta-version CADP 2007-q (release candidate 1) |
| 2009-01-13 |
Released beta-version CADP 2007-p (feature complete) |
| 2008-12-17 |
Added new CADP tool: FSP2LOTOS |
| 2008-12-12 |
Released beta-version CADP 2007-o |
| 2008-11-28 |
Released beta-version CADP 2007-n |
| 2008-11-03 |
Released beta-version CADP 2007-m |
| 2008-10-15 |
Released beta-version CADP 2007-l |
| 2008-09-30 |
Released beta-version CADP 2007-k |
| 2008-08-26 |
Released beta-version CADP 2007-j |
| 2008-07-29 |
Released beta-version CADP 2007-i |
| 2008-07-10 |
Released beta-version CADP 2007-h |
| 2008-06-18 |
Released beta-version CADP 2007-g |
| 2008-06-01 |
Released beta-version CADP 2007-f |
| 2008-05-13 |
Released beta-version CADP 2007-e |
| 2008-03-18 |
Released beta-version CADP 2007-d |
| 2008-02-05 |
Released beta-version CADP 2007-c |
| 2007-11-07 |
Released beta-version CADP 2007-b |
| 2007-10-17 |
Released beta-version CADP 2007-a |
| 2007-09-24 |
Opened the CADP forum |
| 2007-07-26 |
Released CADP 2006-a "Edinburgh" = CADP 2006 + patches |
| 2007-07-22 |
slides of H. Garavel at CAV'2007 |
| 2007-07-21 |
Solved problem 2006-g [Ubuntu Linux] |
| 2007-07-10 |
Solved problem 2006-f [Windows/Cygwin] |
| 2007-04-19 |
Published the CADP Newsletter - Nr.6 |
| 2007-04-12 |
Solved problem 2006-e [Windows/Cygwin after Dec.19, 2006] |
| 2007-04-10 |
Solved problem 2006-d [all architectures] |
| 2007-02-08 |
Solved problem 2006-c [Ubuntu Linux 6.10] |
| 2007-01-31 |
Published the VASY 2006 Activity Report |
| 2007-01-30 |
Solved problem 2006-b [EUCALYPTUS 2.6] |
| 2007-01-23 |
Solved problem 2006-a [Windows/Cygwin after Dec. 19, 2006] |
| 2006-12-12 |
Released CADP 2006 "Edinburgh" |
| 2006-12-10 |
Released beta-version CADP 2005-k (release candidate 5) |
| 2006-12-10 |
Wrote HISTORY entries #1160..#1166 |
| 2006-12-10 |
Fixed typo (extra ".lib" suffix) in demo_24/co4.lotos |
| 2006-12-01 |
Fixed typo (duplicated words) in CAESAR_RENAME_1 manual page |
| 2006-11-30 |
Corrected two mu-calculus formulas in demo_40 (Web services) |
| 2006-11-30 |
Ported to Linux distributions relying on /bin/dash (Ubuntu 6.10) |
| 2006-11-30 |
Corrected macOS case in src/com/cadp_which |
| 2006-11-30 |
Fixed bitfields in X_ACTION.h, X_BIT.h, and X_BOOLEAN.h |
| 2006-11-16 |
Added detection of Evince in BCG_DRAW and BCG_EDIT |
| 2006-11-02 |
Released beta-version CADP 2005-j (release candidate 4) |
| 2006-10-30 |
Wrote HISTORY entries #1158..#1159 |
| 2006-10-30 |
Added new shell-script $CADP/src/com/cadp_echo (for Solaris) |
| 2006-10-30 |
Fixed BCG_EDIT issue with arrow heads inclined at 45 degrees |
| 2006-10-30 |
Reduced height of EUCALYPTUS Reduce panel for 1024x768 screens |
| 2006-10-27 |
Released beta-version CADP 2005-i (release candidate 3) |
| 2006-10-27 |
Wrote HISTORY entries #1156..#1157 |
| 2006-10-27 |
Added -parse and -unparse options to BCG_LABELS |
| 2006-10-27 |
Fixed EUCALYPTUS issue related to label parsing with TGV |
| 2006-10-27 |
Added TST warning for missing 32-bit glibc-devel on Opteron |
| 2006-10-26 |
Erased extra '\r' characters in license files generated on Windows |
| 2006-10-26 |
Wrote HISTORY entries #1147..#1155 |
| 2006-10-26 |
Fixed minor issue in SVL scripts running on Solaris |
| 2006-10-26 |
Enhanced TST to detect Cygwin-specific mount point in $CADP |
| 2006-10-26 |
Updated bibliography section in three CADP manual pages |
| 2006-10-25 |
Removed extra TST warnings in case of incomplete $PATH |
| 2006-10-25 |
Fixed $PATH export issue in 6 shell-scripts |
| 2006-10-25 |
Replaced "basename" with "cadp_basename" in 10 shell-scripts |
| 2006-10-23 |
Removed directives requiring to set $LD_LIBRARY_PATH on Solaris |
| 2006-10-23 |
Updated the contents of file $CADP/USERS |
| 2006-10-23 |
Fixed issue in TST occuring on non-English versions of Solaris |
| 2006-10-20 |
Added new shell-script $CADP/src/com/cadp_basename |
| 2006-10-20 |
Added TST warning for missing Solaris /usr/{ucb,xpg4}/basename |
| 2006-10-20 |
Fixed a minor SVL bug (non-detection of *.err files) on Solaris |
| 2006-10-17 |
Added a new publication on refined compositional verification |
| 2006-10-17 |
Updated INSTALLATION_2 manual for Windows users |
| 2006-10-17 |
Fixed minor error in TST shell-script |
| 2006-10-17 |
Fixed truncated paragraph in DISTRIBUTOR manual page |
| 2006-10-13 |
Released beta-version CADP 2005-h (release candidate 2) |
| 2006-10-12 |
Wrote HISTORY entries #1140..#1146 |
| 2006-10-12 |
Fixed cover pages of all INRIA research reports in doc/pdf/* |
| 2006-10-11 |
Enabled fetching "gs" and "mozilla" in /usr/sfw/bin on Solaris 10 |
| 2006-10-11 |
Added two new publications on EVALUATOR 3.0 |
| 2006-10-10 |
Updated INSTALLATION_2 and INSTALLATION_WINDOWS files |
| 2006-10-10 |
Released beta-version CADP 2005-g (release candidate 1) |
| 2006-10-09 |
Fixed issue (spurious error message) in BCG_OPEN script |
| 2006-10-04 |
Fixed intermittent blocking of cadp_hostinfo on Linux clusters |
| 2006-09-29 |
Wrote HISTORY entries #1128..#1139 |
| 2006-09-25 |
Handled disconnected Macs with fixed IP addresses (no DHCP) |
| 2006-09-22 |
Improved the translation of ACTL formulas into mu-calculus |
| 2006-09-22 |
Removed need for having /usr/ucb in the $PATH for Solaris users |
| 2006-09-21 |
Added support for Cygwin users with home directories not on C:\ |
| 2006-09-21 |
Added TST warning for the absence of "ulimit -s" on Cygwin |
| 2006-09-20 |
Fixed Installator issue on Windows with long mount point names |
| 2006-09-19 |
Fixed Windows portability issue in EVALUATOR -block" |
| 2006-09-18 |
Fixed an incorrect error message in EVALUATOR" |
| 2006-09-08 |
Improved TST message when "indent" is missing on Solaris |
| 2006-09-08 |
Modified TST to avoid a useless warning on Solaris 10 |
| 2006-07-28 |
Improved BISIMULATOR manual page (branching diagnostics) |
| 2006-07-28 |
Updated screen pictures on the INSTALLATOR manual page |
| 2006-07-27 |
Released beta-version CADP 2005-f |
| 2006-07-25 |
Adapted OPEN/CAESAR scripts towards white spaces in $CADP |
| 2006-07-24 |
Fixed semantic bug in BISIMULATOR -branching -diag |
| 2006-07-24 |
Changed OPEN/CAESAR binaries to allow spaces in $CADP |
| 2006-07-24 |
Avoided link edition warning for Projector on MacOS X |
| 2006-07-21 |
Wrote HISTORY entries #1116..#1127 |
| 2006-07-21 |
Fixed SVL issue with Projector's ".sync" files on Windows |
| 2006-07-20 |
Fixed minor issue in EUCALYPTUS Tcl/Tk script |
| 2006-07-20 |
Updated several pages of the CADP Web site |
| 2006-07-19 |
Added overview paper on CAESAR_SOLVE (39 pages) |
| 2006-07-17 |
Updated the contents of file $CADP/USERS |
| 2006-07-11 |
Released beta-version CADP 2005-e |
| 2006-07-11 |
Made EUCALYPTUS more robust against empty option strings |
| 2006-07-10 |
Interfaced EXP.OPEN 2.0 with the TINA verification tool |
| 2006-07-10 |
Updated "=READ_ME.txt" demo files according to CAESAR.NEW |
| 2006-07-07 |
Renamed CAESAR into CAESAR.OLD and CAESAR.NEW into CAESAR |
| 2006-07-07 |
Enhanced "cadp_indent" to cope with Linux "core.pid" files |
| 2006-07-05 |
Changed "caesar_graph.h" declarations to avoid lint warnings |
| 2006-07-05 |
Fixed subtle bug in "-unit" option of CAESAR.BDD |
| 2006-07-04 |
Enhanced variable declaration formatting in CAESAR.INDENT |
| 2006-07-03 |
Enabled GNU indent to be used by "cadp_indent" on Solaris |
| 2006-07-03 |
Handled SIGPIPE signals gracefully in "src/com/cadp_tail" |
| 2006-07-03 |
Fixed TST issue for Linux processes with unlimited stack size |
| 2006-06-28 |
Released beta-version CADP 2005-d |
| 2006-06-27 |
Wrote HISTORY entries #1112..#1115 |
| 2006-06-26 |
Wrote HISTORY entries #1102..#1111 |
| 2006-06-26 |
Improved dependency check for CAESAR[.ADT,.NEW] -external |
| 2006-06-26 |
Brought various enhancements to EUCALYPTUS user interface |
| 2006-06-26 |
Suppressed spurious error message emitted by TST on Windows |
| 2006-06-07 |
Enhanced INSTALLATOR with symbolic link capability checking |
| 2006-06-07 |
Added installation directives for FAT and NTFS file systems |
| 2006-06-06 |
Fixed license reminder issue for INSTALLATOR on Windows |
| 2006-06-06 |
Improved warning messages sent before license expiration |
| 2006-06-06 |
Added options "-v" and "-t" to RFL |
| 2006-05-24 |
Changed EUCALYPTUS to support BCG_MIN new options |
| 2006-05-23 |
Improved the pretty-printing rules of CAESAR.INDENT |
| 2006-05-19 |
Made all C files within $CADP/ compliant with SunStudio 11 lint |
| 2006-05-18 |
Released beta-version CADP 2005-c |
| 2006-05-17 |
Finished adding SPARC binaries compiled with SunStudio 11 |
| 2006-05-16 |
Started adding SPARC binaries compiled with SunStudio 11 |
| 2006-05-12 |
Improved the manual page for CAESAR_SOLVE_1 |
| 2006-05-05 |
Improved EUCALYPTUS support for EVALUATOR 3.5 |
| 2006-05-05 |
Improved EUCALYPTUS support for EXP.OPEN 2.0 |
| 2006-05-04 |
Added "-external" option to CAESAR and CAESAR.NEW |
| 2006-05-04 |
Added "-indent, -oldstyle, -newstyle" options to CAESAR[.NEW] |
| 2006-05-03 |
Released beta-version CADP 2005-b |
| 2006-05-03 |
Made "incl/X_STRING.h" compatible with CAESAR.NEW |
| 2006-05-02 |
Wrote HISTORY entries #1096..#1101 |
| 2006-05-02 |
Fixed bug in BISIMULATOR -branching -diag |
| 2006-04-26 |
Fixed EUCALYPTUS issue when $CYGWIN contains "tty" |
| 2006-04-26 |
Fixed INSTALLATOR issue when $CYGWIN contains "tty" |
| 2006-04-24 |
Wrote HISTORY entries #1081..#1095 |
| 2006-04-18 |
Fixed remaining issue in CAESAR_TEST_REGEXP() |
| 2006-04-12 |
Enhanced BISIMULATOR's -bes option with gzip compression |
| 2006-04-07 |
Fixed segmentation fault in CAESAR_TEST_REGEXP() |
| 2006-04-07 |
Redesigned entirely the CADP Publication Page |
| 2006-04-07 |
Released beta-version CADP 2005-a |
| 2006-04-06 |
Fixed link edition bug in OCIS |
| 2006-04-06 |
Modified EUCALYPTUS to support useful options of EXP.OPEN V2.0 |
| 2006-04-06 |
Modified EUCALYPTUS to support all BISIMULATOR/EVALUATOR options |
| 2006-04-06 |
Fixed EUCALYPTUS bug when comparing a ".bcg" to an ".aut" file |
| 2006-03-31 |
Modified EUCALYPTUS to give access to REDUCTOR V5 |
| 2006-03-30 |
Added -format option to BCG_IO for generating ETMCC format |
| 2006-03-30 |
Fixed errors in EXEC/CAESAR's C code for `empty' LOTOS specs |
| 2006-03-30 |
Declared EXEC/CAESAR's gate functions to avoid compiler warnings |
| 2006-03-28 |
Fixed SVL issue with gate names not starting with a letter |
| 2006-03-28 |
Renamed EXEC/CAESAR's CAESAR_EXIT() function into EXIT() |
| 2006-03-27 |
Added demo_40 (stock management and auction web services) |
| 2006-03-24 |
Enhanced EVALUATOR's -bes option with gzip compression |
| 2006-03-24 |
Added -format option to DETERMINATOR and BCG_MIN |
| 2006-03-22 |
Simplified EUCALYPTUS with respect to ALDEBARAN |
| 2006-03-22 |
Fixed ".exp" conversion bug in EUCALYPTUS |
| 2006-03-16 |
Fixed bug in REDUCTOR -total -safety |
| 2006-03-16 |
Fixed minor bug in SVL "verify" and "comparison" diagnostics |
| 2006-03-15 |
Added "Evaluate performance" menu to EUCALYPTUS |
| 2006-03-15 |
More enhancements in TST to support Intel's ICC compiler |
| 2006-03-14 |
More enhancements in INSTALLATION_2 and CAESAR[.NEW] |
| 2006-03-10 |
Released beta-version CADP 2004-k |
| 2006-03-10 |
Adapted SVL to REDUCTOR V5 |
| 2006-03-10 |
Added -trace and -weaktrace options to REDUCTOR |
| 2006-03-10 |
Replaced REDUCTOR's -minimal option with -total/-partial |
| 2006-03-09 |
Wrote the REDUCTOR 5.0 manual page |
| 2006-03-07 |
Removed "-normal" and "-tauclosure" options of DETERMINATOR |
| 2006-03-07 |
Enhanced "tst" to recognize and check Intel's ICC compiler |
| 2006-03-06 |
Added "bfs" and "dfs" attributes to "compare" in SVL |
| 2006-03-06 |
Added "bfs", "dfs", and "acyclic" attributes to "verify" in SVL |
| 2006-03-06 |
Wrote HISTORY entries #1040..#1080 |
| 2006-03-03 |
Fixed core dump issue with "label par" in EXP.OPEN 2.0 |
| 2006-03-02 |
Fixed bug in REDUCTOR -taucompression -divergence |
| 2006-02-24 |
Rewrote HISTORY entries #984 and #996 |
| 2006-02-23 |
Released beta-version CADP 2004-j |
| 2006-02-23 |
Changed API of function CAESAR_READ_SOLVE_1() |
| 2006-02-23 |
Changed API of function CAESAR_WRITE_SOLVE_1() |
| 2006-02-22 |
Enhanced CAESAR to avoid Intel compiler ICC 9.0 warnings |
| 2006-02-22 |
Enhanced BCG tools to avoid Intel compiler ICC 9.0 warnings |
| 2006-02-21 |
Enhanced CAESAR.ADT to avoid Intel compiler ICC 9.0 warnings |
| 2006-02-21 |
Enhanced EXP.OPEN to avoid Intel compiler ICC 9.0 warnings |
| 2006-02-21 |
Allowed for Solaris C compiler not located in /opt/SUNWspro/bin |
| 2006-02-21 |
Added support for GV/GGV/KGHOSTVIEW in EUCALYPTUS and BCG_DRAW |
| 2006-02-17 |
Renamed into CAESAR_EXIT() the gate function for LOTOS gate "exit" |
| 2006-02-16 |
Enhanced demo_19 and demo_38 with gate function logging |
| 2006-02-15 |
Rewrote HISTORY entries #994 and #1011 |
| 2006-02-06 |
Improved compatibility between ALDEBARAN and ALDEBARAN.OLD |
| 2006-02-03 |
Fixed XTL bug on Linux and Windows |
| 2006-02-01 |
Added -tauconfluence option to BISIMULATOR |
| 2006-01-26 |
Released beta-version CADP 2004-i |
| 2006-01-26 |
Fixed table overflow issue in EXP.OPEN 2.0 |
| 2006-01-25 |
Fixed an error in the manual page of EXHIBITOR |
| 2006-01-24 |
Renamed REDUCTOR's "-keeplock" option into "-divergence" |
| 2006-01-20 |
Published the VASY 2005 Activity Report |
| 2006-01-09 |
Fixed an error in the manual page of EVALUATOR 3.5 |
| 2006-01-09 |
Released beta-version CADP 2004-h |
| 2006-01-09 |
Adapted Installator to MacOS X 10.4 "Tiger" |
| 2006-01-09 |
Updated installation directives for MacOS X 10.4 "Tiger" |
| 2006-01-06 |
Improved branching/observational equivalences in BISIMULATOR |
| 2006-01-04 |
Fixed diagnostic bug of branching equivalence in BISIMULATOR |
| 2005-12-23 |
Released beta-version CADP 2004-g |
| 2005-12-22 |
Added -keeplock option to REDUCTOR |
| 2005-12-22 |
Fixed branching equivalence bug in BISIMULATOR |
| 2005-12-20 |
Improved diagnostics for livelocks in demo 10, 11, 14, 37 |
| 2005-12-20 |
Modified SVL to erase ALDEBARAN diagnostic files |
| 2005-12-20 |
Renamed ALDEBARAN diagnostic file into "aldebaran.bcg" |
| 2005-12-19 |
Added logging macros in "incl/caesar_kernel.h" |
| 2005-12-16 |
Fixed one remaining bug in CAESAR.INDENT |
| 2005-12-16 |
Fixed mistake in file "$CADP/demos/demo_04/EXP.t" |
| 2005-12-16 |
Added -deadpreserving and -weaktrace options to EXP.OPEN |
| 2005-12-16 |
Updated PROJECTOR and REDUCTOR manual pages |
| 2005-11-29 |
Fixed 2 bugs and brought 2 improvements in CAESAR.INDENT |
| 2005-11-22 |
Improved -tauconfluence/-taucompression in BISIMULATOR |
| 2005-11-21 |
Improved -tauconfluence/-taucompression in DISTRIBUTOR |
| 2005-11-21 |
Added -tauconfluence/-taucompression options to REDUCTOR |
| 2005-11-02 |
More changes to avoid warnings from Sun compiler 5.7 |
| 2005-10-28 |
Released beta-version CADP 2004-f |
| 2005-10-28 |
Improved counterexamples generated by BISIMULATOR |
| 2005-10-27 |
Replaced ALDEBARAN by a shell wrapper (this fixes 24 bugs) |
| 2005-10-19 |
Avoided warnings from Sun compiler 5.7 (Sun Studio 10) |
| 2005-10-13 |
Released beta-version CADP 2004-e |
| 2005-10-13 |
Further reduced internal memory cost of table_1 |
| 2005-10-10 |
Renamed ALDEBARAN binary into ALDEBARAN.OLD |
| 2005-10-10 |
Installed new version 4.0 of the REDUCTOR tool |
| 2005-10-10 |
Fixed cleanup errors in SVL scripts of demos 24, 31, and 39 |
| 2005-10-07 |
Added new properties and Markov delays to demo_39 |
| 2005-09-29 |
Added -unparse option in EXP.OPEN |
| 2005-09-28 |
Allowed special characters in EXP.OPEN labels |
| 2005-09-23 |
Fixed issue in CAESAR_SOLVE_1 diagnostic generation |
| 2005-09-22 |
Enhanced the API of library CAESAR_SOLVE_1 |
| 2005-09-21 |
Added 5th resolution algorithm (named A5) in CAESAR_SOLVE |
| 2005-09-19 |
Fixed bug in EXP.OPEN -mcrl and -interface options |
| 2005-09-19 |
Reduced internal memory cost of table_1 |
| 2005-09-13 |
Fixed spurious warning from "tst" on recent RedHat OS'es |
| 2005-09-12 |
Released beta-version CADP 2004-d |
| 2005-09-12 |
Wrote HISTORY file entries #1034...#1039 |
| 2005-09-12 |
Added demo_39 (turntable system for drilling products) |
| 2005-09-09 |
Added demo_38 (asynchronous DES implementation) |
| 2005-09-09 |
Added assertion macros in "incl/caesar_kernel.h" |
| 2005-09-09 |
Wrote HISTORY file entries #1016...#1033 |
| 2005-09-06 |
Simplified auxiliary files for demo_19 |
| 2005-09-06 |
Improved "src/exec_caesar/main.c" (EXEC/CAESAR's entry point) |
| 2005-09-05 |
Added demo_37 (ODP trader) |
| 2005-09-02 |
Wrote HISTORY file entries #1002...#1015 |
| 2005-09-02 |
Fixed spurious "out of date" warnings in CAESAR and CAESAR.ADT |
| 2005-08-29 |
Wrote HISTORY file entries #998...#1001 |
| 2005-08-22 |
Wrote HISTORY file entries #970...#997 |
| 2005-07-25 |
Simplified demo_15/demo.svl and demo_34/demo.svl |
| 2005-07-18 |
Wrote HISTORY file entries #962...#969 |
| 2005-07-15 |
Wrote HISTORY file entry #903 (CAESAR.ADT's new-style iterators) |
| 2005-06-28 |
Released beta-version CADP 2004-c |
| 2005-06-24 |
Fixed DISTRIBUTOR issue with Windows' "Services for Unix" |
| 2005-06-24 |
Made PROJECTOR 2.0 faster (up to 7 times on some examples) |
| 2005-06-24 |
Avoided useless CAESAR{,.ADT,.NEW} recomputations on win32 |
| 2005-06-13 |
Made the C code generated by CAESAR acceptable by Protoize |
| 2005-05-17 |
Improved demo_35 (distributed summation algorithm) |
| 2005-04-27 |
Released beta-version CADP 2004-b |
| 2005-04-25 |
Fixed a few residual problems observed on Windows |
| 2005-04-17 |
Fixed bug when calling BCG_TRANSIENT with several "time instants" |
| 2005-04-15 |
Allowed DISTRIBUTOR's -monitor option to work on Windows |
| 2005-04-13 |
Changed C code produced by CAESAR[.ADT] to avoid GCC warnings |
| 2005-04-08 |
Released beta-version CADP 2004-a |
| 2005-04-07 |
Added CAESAR.NEW tool (preview version of CAESAR 7.0) |
| 2005-04-05 |
Cleared semantic issue in CAESAR's optimization U2 |
| 2005-04-05 |
Fixed BCG_EDIT problem when $PRINTER contains spaces |
| 2005-04-01 |
Released beta-version CADP 2003-z |
| 2005-04-01 |
Enlarged table_1 capacity from (2^24)-1 up to 2^29 elements |
| 2005-03-30 |
Migrated win32 binaries of CADP from CRTDLL to MSVCRT |
| 2005-03-29 |
Made the C code generated by EXP2C faster by 25-35% |
| 2005-03-29 |
Changed value of CAESAR_NULL_INDEX_TABLE_1 to -1 => recompile! |
| 2005-03-24 |
Fixed occasional deadlocks in INSTALLATOR after FTP transfers |
| 2005-03-24 |
Added new demo_36 (distributed Erathostenes sieve) |
| 2005-03-24 |
Added new demo_35 (distributed summation algorithm) |
| 2005-03-24 |
Added "-info" option to EXP.OPEN V2 |
| 2005-03-23 |
Upgraded win32 binaries to mingw-runtime-3.7 and w32api-3.2 |
| 2005-03-23 |
Fixed immobile progress bars in DISTRIBUTOR's MONITOR |
| 2005-03-23 |
Fixed "infinite loop" error message in DISTRIBUTOR's MONITOR |
| 2005-03-18 |
Released beta-version CADP 2003-y |
| 2005-03-18 |
Enabled OCIS to load arbitrary scenarios stored in BCG files |
| 2005-03-15 |
Fixed various portability issues arising on Windows XP |
| 2005-03-14 |
Allowed 8-bit chars in EXP2C, MCL_EXPAND, SVL, and XTL |
| 2005-03-14 |
Allowed 8-bit chars in CAESAR, CAESAR.ADT, and CAESAR.INDENT |
| 2005-03-14 |
Fixed BISIMULATOR bug on Windows |
| 2005-03-11 |
Fixed constant order issue in C code generated by CAESAR.ADT |
| 2005-03-10 |
Added support for partial order reduction in SVL |
| 2005-03-03 |
Updated the help menu of the EUCALYPTUS user interface |
| 2005-03-03 |
Integrated the revised E7 option of CAESAR in EUCALYPTUS |
| 2005-03-03 |
Integrated BISIMULATOR in the EUCALYPTUS user interface |
| 2005-03-02 |
Released beta-version CADP 2003-x |
| 2005-03-02 |
Added new hash function CAESAR_7_HASH() |
| 2005-03-01 |
Redesigned hash function CAESAR_6_HASH() entirely |
| 2005-02-28 |
Updated demos to use BISIMULATOR instead of ALDEBARAN |
| 2005-02-28 |
Added trace and weak trace equivalences to SVL |
| 2005-02-25 |
Solved license issues for disconnected Linux laptops |
| 2005-02-25 |
Fixed pointer alignment issues in CAESAR_i_HASH(), i = 1, 2, 6 |
| 2005-02-24 |
Released beta-version CADP 2003-w |
| 2005-02-24 |
Ported the OCIS graphical simulator to Mac OS X |
| 2005-02-23 |
Fixed several issues in the OCIS graphical simulator |
| 2005-02-22 |
Fixed "BCG_INFO -nondeterministic" bug on large graphs |
| 2005-02-18 |
Added new demo_34 (computer integrated manufacturing) |
| 2005-02-18 |
Finalized demo_31 (SCSI-2 bus arbitration protocol) |
| 2005-02-16 |
Improved TST to detect Linux kernels with GR security enabled |
| 2005-02-11 |
Released beta-version CADP 2003-v |
| 2005-02-10 |
Ported CADP to Linux Fedora Core 3 |
| 2005-02-10 |
Added "refined abstraction" operator to the SVL language |
| 2005-02-10 |
Added "-labels" option to EXP.OPEN V2 |
| 2005-02-08 |
Fixed buffer overflow in CADP_LIB |
| 2005-02-03 |
Improved counterexample graphs generated by BISIMULATOR |
| 2005-02-03 |
Fixed porting issue of BISIMULATOR on Mac OS X |
| 2005-02-03 |
Installed new version 3.5 of the EVALUATOR model checker |
| 2005-02-02 |
Released beta-version CADP 2003-u |
| 2005-02-02 |
Fixed subtle bug in CAESAR_SOLVE's BFS algorithm |
| 2005-01-28 |
Updated manual page for EVALUATOR 3.5 |
| 2005-01-27 |
Wrote DISTRIBUTOR manual page |
| 2005-01-27 |
Fixed various issues in DISTRIBUTOR and BCG_MERGE |
| 2005-01-27 |
Removed -merge option from DISTRIBUTOR |
| 2005-01-27 |
Added -clean option to BCG_MERGE |
| 2005-01-24 |
Added DISTRIBUTOR and BCG_MERGE binaries to CADP |
| 2005-01-21 |
Published the VASY 2004 Activity Report |
| 2005-01-17 |
Released beta-version CADP 2003-t |
| 2005-01-17 |
Fixed (only potential) bug in CAESAR_SOLVE_1 |
| 2005-01-17 |
Fixed various typos in the CAESAR_SOLVE_1 manual page |
| 2005-01-17 |
Suppressed spurious TST warning "No license exists for host ..." |
| 2005-01-13 |
Added trace and weak-trace equivalences in BISIMULATOR |
| 2005-01-11 |
Fixed a minor bug in EXP.OPEN V2 code generation |
| 2005-01-11 |
Fixed three minor bugs in SVL |
| 2005-01-07 |
Released beta-version CADP 2003-s |
| 2005-01-07 |
Updated BISIMULATOR manual page |
| 2005-01-07 |
Wrote the CAESAR_SOLVE_1 manual page (23 pages) |
| 2005-01-06 |
Fixed a problem with "leaf reduction" in SVL |
| 2005-01-06 |
Fixed a table overflow bug in EXP.OPEN V2 |
| 2004-12-23 |
Wrote BCG_MERGE manual page |
| 2004-12-21 |
Released beta-version CADP 2003-r |
| 2004-12-21 |
Finalized demo_30 (Hubble space telescope lifetime) |
| 2004-12-20 |
Fixed two bugs in the forthcoming BCG_MERGE tool |
| 2004-12-17 |
Updated SVL to support BISIMULATOR and PROJECTOR 2.0 |
| 2004-12-17 |
Added new BISIMULATOR tool |
| 2004-12-17 |
Added DETERMINATOR binaries to CADP |
| 2004-12-17 |
Added CAESAR_SOLVE_1 library for boolean equation systems |
| 2004-12-17 |
Added version 2 of PROJECTOR |
| 2004-12-16 |
Simplified "raw" matrix in BCG_STEADY/BCG_TRANSIENT |
| 2004-12-16 |
Fixed TGV abort problem on Windows |
| 2004-12-16 |
Ported TGV to Mac OS X |
| 2004-12-15 |
Wrote DETERMINATOR manual page |
| 2004-12-15 |
Added "impossible synchronization" warnings in Exp.Open |
| 2004-12-15 |
Fixed Exp.Open bug with labels containing special characters |
| 2004-12-15 |
Released beta-version CADP 2003-q |
| 2004-12-14 |
Fixed minor bug in Exp2Fc2 that impacted SVL |
| 2004-12-14 |
Fixed bug in "-append" option of BCG_STEADY and BCG_TRANSIENT |
| 2004-12-13 |
Renamed "caesar_block_1" library into "caesar_area_1" |
| 2004-12-13 |
Updated "upc" to warn about CAESAR_CREATE_TABLE_1() |
| 2004-12-13 |
Added automatic padding around mark field in "caesar_table_1" |
| 2004-12-13 |
Added new function CAESAR_HASH_STRING_BLOCK_1() |
| 2004-12-13 |
Improved dispersion of CAESAR_STRING_0_HASH() |
| 2004-12-10 |
Wrote BCG_TRANSIENT manual page |
| 2004-12-09 |
Wrote BCG_STEADY manual page |
| 2004-12-07 |
Simplified CAESAR_CREATE_TABLE_1() profile further |
| 2004-12-03 |
Improved -thr option of BCG_STEADY and BCG_TRANSIENT |
| 2004-12-03 |
Released beta-version CADP 2003-p |
| 2004-12-02 |
Wrote HISTORY file entries #904...#961 |
| 2004-12-01 |
Allowed NULL comment in BCG_IO_WRITE_BCG_BEGIN() |
| 2004-12-01 |
Fixed subtle bug in the cache table of "caesar_mask_1" |
| 2004-11-30 |
Fixed problem in documentation of CAESAR_APPLY_MASK_1() |
| 2004-11-29 |
Improved semantics of CAESAR_PRINT in CAESAR_CREATE_TABLE_1() |
| 2004-11-29 |
Fixed 3 bugs with string blocks in "caesar_block_1" |
| 2004-11-25 |
Put the BCG_STEADY and BCG_TRANSIENT binaries in CADP |
| 2004-11-25 |
Modified "tst" to check the stack size `ulimit' |
| 2004-11-17 |
Used "block_1" type in CAESAR_CREATE_TABLE_1() profile |
| 2004-11-16 |
Enhanced "caesar_block_1" with the notion of empty block |
| 2004-11-15 |
Released beta-version CADP 2003-o |
| 2004-11-15 |
Added CAESAR_TYPE_OVERFLOW_FUNCTION_STACK_1 in "stack_1" |
| 2004-11-15 |
Wrote HISTORY file entries #895...#902 |
| 2004-11-10 |
Added CAESAR_TYPE_OVERFLOW_FUNCTION_TABLE_1 in "table_1" |
| 2004-11-08 |
Added 19 new subjects to the CADP FAQ page |
| 2004-11-03 |
Added -hide and -rename options to Generator and Reductor |
| 2004-11-03 |
Added BCG general options to Generator and Reductor |
| 2004-11-03 |
Added new OPEN/CAESAR library named "caesar_mask_1" |
| 2004-11-02 |
Wrote HISTORY file entries #878...#894 |
| 2004-10-25 |
Added new OPEN/CAESAR library named "caesar_block_1" |
| 2004-10-21 |
Added CAESAR_LABEL_i_HASH() (i = 1..6) in "caesar_hash" |
| 2004-10-20 |
Added CAESAR_FUNCTION_NAME() in "caesar_standard" |
| 2004-10-19 |
Improved BCG_INFO, BCG_LABELS, and BCG_MIN man pages |
| 2004-10-19 |
Corrected typos in OPEN/CAESAR Reference Manual |
| 2004-10-19 |
Added CAESAR_STRING_0_HASH() in "caesar_hash" library |
| 2004-10-18 |
Released beta-version CADP 2003-n |
| 2004-10-18 |
Added "-interface" option to EXP.OPEN V2 |
| 2004-10-18 |
Fixed core dump in BCG_MIN strong stochastic minimization |
| 2004-10-15 |
Updated CADP usage statistics |
| 2004-10-12 |
Fixed "uudecode -s" issue for Installator on Mac OS X 10.3 |
| 2004-10-12 |
Added choice between rsh, ssh, and krsh in Installator |
| 2004-10-11 |
Added option "-p" to RFL for choosing remote access protocol |
| 2004-10-08 |
Released beta-version CADP 2003-m |
| 2004-10-08 |
Fixed semantic bug in stochastic/probabilistic BCG_MIN |
| 2004-10-08 |
Updated files INSTALLATION_3 and INSTALLATION_4 |
| 2004-10-04 |
Improved TST detection of the Glibc version on Linux |
| 2004-10-04 |
Fixed minor RFL problem caused by "/usr/bin/tr" on Solaris |
| 2004-10-01 |
Released beta-version CADP 2003-l |
| 2004-10-01 |
Changed Installator to circumvent Windows file locks |
| 2004-09-30 |
Added new shell-script named "src/com/install_lock" |
| 2004-09-29 |
Added new shell-script named "src/com/install_clone" |
| 2004-09-27 |
Fixed bug in SVL related to "-case" option |
| 2004-09-27 |
Ported CADP_MEMORY to Mac OS X |
| 2004-09-24 |
Allowed license requests by FTP from machines without e-mail |
| 2004-09-24 |
Fixed Installator problem on Linux caused by GNU-tar 1.14 |
| 2004-09-21 |
Fixed minor bug in EXP.OPEN V2 shell script |
| 2004-09-17 |
Released beta-version CADP 2003-k |
| 2004-09-17 |
Installed e-mail reminder (before licence expires) service |
| 2004-09-16 |
Wrote HISTORY file entries #848...#877 |
| 2004-09-15 |
Released beta-version CADP 2003-j |
| 2004-09-14 |
Wrote HISTORY file entries #790...#847 |
| 2004-09-13 |
Fixed minor bug in SVL error messages |
| 2004-09-13 |
Fixed segmentation fault bug in BCG_IO_WRITE_BCG_END() |
| 2004-09-13 |
Changed demo_26 to avoid a "macro redefined" warning |
| 2004-09-09 |
Improved integration between CAESAR and CAESAR.BDD |
| 2004-09-07 |
Fixed double-click bug in BCG_EDIT's file selection window |
| 2004-09-07 |
Avoided multiple recompilations by CAESAR[.ADT] on Mac OS X |
| 2004-09-06 |
Adapted "-map" option of CAESAR[.ADT] to new-style iterators |
| 2004-09-02 |
Refined error codes returned by CAESAR.BDD on exit |
| 2004-09-01 |
Ported XSIMULATOR to Mac OS X |
| 2004-08-31 |
Changed Installator to adjust CR/LF and symlinks on Windows |
| 2004-08-27 |
Improved many details of Mac OS X port |
| 2004-08-24 |
Replaced EXP2FC2 binaries with a simple shell-script |
| 2004-08-24 |
Added version 2 of EXP.OPEN |
| 2004-07-27 |
Released beta-version CADP 2003-i |
| 2004-07-27 |
Ported XTL 1.2 to Mac OS X |
| 2004-07-26 |
Ported ALDEBARAN to Mac OS X |
| 2004-07-23 |
Allowed multiple LICENSE files for clusters and large networks |
| 2004-07-21 |
Enabled 8-bit characters in LICENSE files |
| 2004-07-20 |
Added support for Linux 2.6 systems (e.g., Mandrake 10) |
| 2004-07-13 |
Ported CAESAR, CAESAR.ADT, and BCG to Mac OS X |
| 2004-07-13 |
Added new version of CAESAR optimization E7 based on BDDs |
| 2004-07-13 |
Added new CADP tool: CAESAR.BDD |
| 2004-07-13 |
Provided backward compatibility with glibc 2.2.5 |
| 2004-07-08 |
Added CAESAR_TEMPORARY_FILE() in "caesar_standard" |
| 2004-07-06 |
Released beta-version CADP 2003-h |
| 2004-07-02 |
Added support for AMD Opteron running in 32-bit mode |
| 2004-06-20 |
Released beta-version CADP 2003-g |
| 2004-06-14 |
Released beta-version CADP 2003-f |
| 2004-06-02 |
Released beta-version CADP 2003-e |
| 2004-05-06 |
Released beta-version CADP 2003-d |
| 2004-04-28 |
Released beta-version CADP 2003-c |
| 2004-04-08 |
Released beta-version CADP 2003-b |
| 2004-03-25 |
Released beta-version CADP 2003-a |
| 2004-03-08 |
Released beta-version CADP 2002-z |
| 2004-02-26 |
Released beta-version CADP 2002-y |
| 2004-02-10 |
Released beta-version CADP 2002-x |
| 2003-12-18 |
Released beta-version CADP 2002-w |
| 2003-12-01 |
Released beta-version CADP 2002-v |
| 2003-11-21 |
Released beta-version CADP 2002-u |
| 2003-11-17 |
Released beta-version CADP 2002-t |
| 2003-10-27 |
Released beta-version CADP 2002-s |
| 2003-10-23 |
Released beta-version CADP 2002-r |
| 2003-10-16 |
Released beta-version CADP 2002-q |
| 2003-09-02 |
Released beta-version CADP 2002-p |
| 2003-07-25 |
Released beta-version CADP 2002-o |
| 2003-06-26 |
Released beta-version CADP 2002-n |
| 2003-06-23 |
Released beta-version CADP 2002-m |
| 2003-06-17 |
Released beta-version CADP 2002-l |
| 2003-05-21 |
Released beta-version CADP 2002-k |
| 2003-05-06 |
Released beta-version CADP 2002-j |
| 2003-03-13 |
Released beta-version CADP 2002-i |
| 2003-02-21 |
Released beta-version CADP 2002-h |
| 2002-12-13 |
Released beta-version CADP 2002-g |
| 2002-11-26 |
Released beta-version CADP 2002-f |
| 2002-11-19 |
Released beta-version CADP 2002-e |
| 2002-10-04 |
Released beta-version CADP 2002-d |
| 2002-09-27 |
Released beta-version CADP 2002-c |
| 2002-08-23 |
Released beta-version CADP 2002-b |
| 2002-07-02 |
Released beta-version CADP 2002-a |
| 2001-07-13 |
Released CADP 2001 "Ottawa" |
Back to the VASY Home Page