The c0check package

[ Tags: gpl, language, program ] [ Propose Tags ]

The package contains a progam to check if your C-Program is valid C0. The C0-language is introduced in the basic programming course "Algorithmisches Denken und imperative Programmierung" (WS 2011/12 and later) at the University of Bonn. The program contained in the package will take a C source code file and test the content if it is conform to the C0-language specifications. The answer is simply yes or no.

Properties

Versions 0.0, 0.1, 0.2
Dependencies base (>=3 && <6), c0parser [details]
License GPL
Author Daniel Seidel
Maintainer ds@iai.uni-bonn.de
Category Language
Uploaded Sun Jan 22 16:26:29 UTC 2012 by DanielSeidel
Distributions NixOS:0.2
Executables c0check
Downloads 831 total (12 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2016-12-25 [all 8 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees