Celeriac: .NET Front-End for Daikon

I Use This!

Activity Not Available

Analyzed about 1 year ago. based on code collected about 1 year ago.

Project Summary

The Daikon dynamic invariant detector uses machine learning to infer likely program invariants and properties. The types of properties inferred by Daikon include “.field > abs(y)”; “y = 2*x+3”; “array a is sorted”; “for all list objects lst, lst.next.prev = lst”; “for all treenode objects n, n.left.value < n.right.value”; “p != null ⇒ p.content in myArray”; and many more.

In a Nutshell, Celeriac: .NET Front-End for Daikon...

...
has had 460 commits made by 6 contributors
representing 13,264 lines of code
...
is mostly written in C#
with an average number of source code comments
...
has a young, but established codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 3 years of effort (COCOMO model)
starting with its first commit in February, 2014
ending with its most recent commit almost 10 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://github.com/melonhead901/...

Similar Projects:

Managers:

tschiller

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
learn about Open Hub updates and features on the Open Hub blog
...
55% of companies leverage OSS for production infrastructure
...
by exploring contributors within projects, you can view details on every commit they have made to that project