Contributions

  Analyzed 1 day ago
Novice Developer A patch to make the password dialog show up, some other minor patches, help with porting Basket to KDE4/Qt4.

179 Commits in mostly C++

Analyzed about 17 hours ago. based on code collected about 17 hours ago.
Lead Developer Created the tool, added support for assertions, witnesses, and counterexamples, added support for class-based analysis, added support for NAT and packet mangling.

The analysis for this contribution has been scheduled.
Developer

The analysis for this contribution has been scheduled.
Analyzed about 2 months ago. based on code collected about 2 months ago.
Contributor Akonadi patches and bugfixes.

2 Commits in mostly C++

Analyzed 1 day ago. based on code collected 1 day ago.