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 |