Developer's Guide

From CVC4
Revision as of 16:14, 16 November 2009 by Mdeters (Talk | contribs)

Jump to: navigation, search

Source tree layout

  • config
  • contrib
  • doc
  • src
    • core
    • include
    • parser
    • sat

Coding guidelines

File and directory names

Source file layout

Class header files

Class implementation files

Imported sources

(make sure to add to update-copyright.pl exclusions list)

Source file headers

update-copyright.pl

Using emacs

cvc4.el

General guidelines

Comments

Whitespace/tabs

Indentation

Use of autotools: automake, autoconf, autoheader, libtool

Retrieved from "http://cvc4.stanford.edu/w/index.php?title=Developer%27s_Guide&oldid=921"