CADiZ

Reference manual / Developer's notes / Source directory hierarchy


include headers for following lib/ libraries
lib/libXdisplay GUI in terms of X11 used by src/progs/proof
lib/liberror error routines used by src/progs
lib/libin/cc IP address manipulation for cadiz
lib/libin/g++ IP address manipulation for proof
lib/libregexp regular expressions for proof
lib/libstdio2 subset of stdio with operations on buffer
src/include headers for src/lib, src/tools and src/procs/common
src/lib/api allows a program to run cadiz and send commands to cadiz
src/lib/comply compliance commands
src/lib/decide decision procedure commands
src/lib/eject error routines for cadiz and zpp
src/lib/heap garbage-collected heap
src/lib/infer in-situ replacement commands
src/lib/list linear lists in heap
src/lib/manage proof management commands
src/lib/markup code common to mark-up preprocessors
src/lib/misc miscellaneous general purpose routines
src/lib/page prettyprinters
src/lib/refine refinement commands
src/lib/report miscellaneous commands
src/lib/rules proof rule commands
src/lib/select browsing commands
src/lib/test testing commands
src/lib/transfs inference routines
src/lib/types data types specified using peat
src/lib/ucs UCS character manipulation
src/lib/univ universal numbers
src/lib/user high-level interface to proof+troff window
src/lib/window low-level interface to proof process
src/lib/zlib miscellaneous Z routines
src/tools/browse command interpretation
src/tools/check typechecker
src/tools/lex lexer of UCS characters
src/tools/parse/ucs parser of lexemes
src/procs/common code shared with obsolete procs/cadiz and procs/ltcadiz
src/procs/ucadiz main cadiz process
src/progs/dag draws directed acyclic graphs using troff
src/progs/markup/latex convert LaTeX mark-up to UCS characters
src/progs/markup/troff convert troff mark-up to UCS characters
src/progs/optemp permute operator templates to beginnings of sections
src/progs/peat translates algebraic types to lib/heap implementations
src/progs/peat/list peat's copy of src/lib/list
src/progs/peat/types peat's own data types - bootstrapping fun!
src/progs/proof troff output previewer (for "proof"-reading documents)
src/progs/section permute sections' mark-up into definition before use order
src/progs/smv model checker from CMU
src/progs/ucd extract info from Unicode Character Database
src/progs/ucs2troff translate UCS characters to troff instructions
src/progs/zpp prepare mark-up for lexing

IT 16-Nov-2001