Search Results for "releases"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

The HL7 Inspector project has moved to Bitbucket. https://bitbucket.org/crambow/hl7inspector All new releases can be found there. The web-based version can still be found at www.hl7inspector.com

gdbplus is an extension to formal releases of GNU debugger gdb. On top of gdb functions, the extension provides additional commands to analyze heap data, object relationship, etc. These power features may shed light on tough issues such as memory corruption, debugging highly optimized code, etc.

Logger.NET is a logging framework which enables you to include code which contains logging information (like Entermethod, Exitmethod, variable values etc) to be logged. For licensing questions, see license.txt in the releases

A light-weight malloc replacement (a shim), for developers, with the goal of being worth it's low overhead in (early) releases of a program. Optional routines allow the program to display allocation information about memory allocations.