Forums : Ohloh General Discussion

Dear Open Hub Users,

We’re excited to announce that we will be moving the Open Hub Forum to https://community.blackduck.com/s/black-duck-open-hub. Beginning immediately, users can head over, register, get technical help and discuss issue pertinent to the Open Hub. Registered users can also subscribe to Open Hub announcements here.

On May 1, 2020, we will be freezing https://www.openhub.net/forums and users will not be able to create new discussions. If you have any questions and concerns, please email us at [email protected]

Coq line count

I have noticed that Ohloh recently started to count lines of Coq scripts. Thanks a lot.

Unfortunately, the amounts seem to be off. For instance, the Coq project itself shows 228 lines of code (and minus 10 lines of comments) instead of ~150k loc. I suppose Ohloh only accounts for files that have changed since it started counting lines of Coq scripts.

Is there a way to force Ohloh to recount lines or should I just report the projects that I know of? On the top of my head, I can think of coq, why3, gappa, c-corn, but there are probably others.

Guillaume Melqu... almost 13 years ago

Guillaume,

You're probably right... let's pick one project and see if re-fetching the enlistments clears up the confusion. I will get to work on the coq project as a test and see if the numbers fall into line then you can point me at the remaining projects to get afterwards.

I'll start this today but it probably won't be done until tomorrow.

Thanks!

ssnow-blackduck almost 13 years ago

Guillaume,

Overall I am fairly certain this will work but I notice that the subversion server for the coq project is particularly sensitive to heavy assaults like we do in a re-fetch. Will continue to prod it along to finish knowing that once it is down the periodic updates are much gentler on the server and probably won't fail.

Any questions, let me know...

Thanks!

ssnow-blackduck almost 13 years ago

Thanks, the update went well, the number of Coq lines for the Coq project is now much more sensible. Looking up a bit the projects referenced by Ohloh, these are the ones that would benefit from a similar update, I think.

BRILLANT
c-corn
Constructors
coq-contribs
coq-equations
coq-galois-theory
gappa
ltamer
random-access-streams
why
why3

Other projects seem to be either forks of Coq itself, or have almost no Coq code, or have no enlisted repository.

Guillaume Melqu... almost 13 years ago

Guillaume,

Glad the update worked. I appreciate the hints about additional projects. I'll put them on my do-and-see list along with a few others.

Thanks!

ssnow-blackduck almost 13 years ago