Difference between revisions of "Developer's Guide"
From CVC4
| Line 11: | Line 11: | ||
=Coding guidelines= | =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= | =Use of autotools: automake, autoconf, autoheader, libtool= | ||
Revision as of 16:14, 16 November 2009
Contents
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)
