Below are some of the changes in the CCured system. These are in addition to
changes made to the underlying CIL infrastructure
-
August 6, 2006: Released version 1.3.5
- March 31, 2006: Fix bugs with global initializers and
errors that were being ignored in the choptim optimizer.
- November 1, 2005: Improved the __SIZE and
__COUNT annotations. See Section 9.8
- September 26, 2005: Reenabled special handling of strings.
This may break some code, so use –noStrings to turn it off.
- June 14, 2005: Tagged unions now use the same tags as RTTI
pointers, making them more flexible. See Section 9.7.
- January 11, 2005: Released version 1.3.2
- January 11, 2003: Fixed bug in strcpy wrapper.
- September 14, 2004: Fixed performance bug on gcc 3.0 and later.
- August 7, 2004: Released version 1.3.1
- July 28, 2004: Ocaml version 3.08 is required.
- February 20, 2004: Released version 1.2.4
- February 15, 2004: Inlined some of the mkptr and ptrof
wrappers.
- February 14, 2004: New implementation for discriminated unions.
- January 26, 2004: Changed wrapper helpers such as
__ptrof so that the can no longer be used to silently cast from
one type to another.
- January 19, 2004: Changed the statistics to not include unused
pointer nodes.
- November 25, 2003: Released version 1.2.2
- October 13, 2003: Fixed the handling of polymorphic structures.
- September 17, 2003: Released version 1.2.1. This release includes
many fixes in the underlying CIL infrastructure.
- April 8, 2003: Started version numbering for CCured. Released
version 1.1.0, based on CIL 1.1.0.
- April 7, 2003: Fixes in the error messages and the control of
error logging and reporting. Fixed a bug in fat function argument splitting.
- January 10, 2003: Numerous changes, including to this manual.
- October 14, 2002: CCured is now available under the BSD license
(see the License section or the file LICENSE).