Beast code in Giters

codespecs's repositories

Dynamic detection of likely invariants

Language:CNOASSERTION208 7 100

A dynamic analysis framework for C and C++ programs

Language:C26 7 30

Celeriac .NET Front-End for Daikon

Language:C#NOASSERTION9 4 114

Mirror of Apache Commons BCEL

Language:JavaApache-2.0040

Test the Daikon distribution

Language:Shell060

Test the Daikon distribution on Mac OS X

Language:Shell060

Test the staging Daikon distribution

Language:Shell060