Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Add support for Coq .v files (based on the OCaml parser). #14

Merged
merged 1 commit into from Dec 12, 2012

Conversation

Projects
None yet
2 participants

silene commented Apr 24, 2012

This patch adds support for recognizing and parsing Coq .v files. I basically copied the code for OCaml (except for strings).

Currently, there aren't many projects in Ohloh using Coq as a language (this is not really surprising, since the language is not recognized), so it is hard to tell how much of an impact it would have. Looking for projects that I am aware of, the main differences would be that:

  • the "c-corn" project would go from 5 kloc to 160 kloc,
  • the "coq" project would go from 190 kloc to 400 kloc,
  • the "why3" project would go from 115 kloc to 230 kloc.

@robinluckey robinluckey added a commit that referenced this pull request Aug 20, 2012

@robinluckey robinluckey Merge pull request #14 from sylvestre/master
The txx extension can be used for C++ templates
cc91616

@amujumdar amujumdar added a commit that referenced this pull request Dec 12, 2012

@amujumdar amujumdar Merge pull request #14 from silene/coq-parser
Add support for Coq .v files (based on the OCaml parser).
b966686

@amujumdar amujumdar merged commit b966686 into blackducksoftware:master Dec 12, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment