RSS All releases tagged Beta

  •  05 Jan 2011 22:34

Release Notes: Many bugfixes. Small usability improvements to the GUI. A few API changes. Value analysis: improved speed and memory consumption; handle single-precision type float as such (instead of lumping it with double as previously); better handling of structs passed as arguments to functions. A new deductive verification plug-in: WP.

  •  23 Jun 2009 17:22

Release Notes: Numerous bugfixes and many new features.

Screenshot

Project Spotlight

SQLObject

A object-relational mapper.

Screenshot

Project Spotlight

NTP

A time synchronization daemon which keeps your system time accurate.