data/mona-1.4-17/.gitignore: ASCII text data/mona-1.4-17/AUTHORS: ASCII text data/mona-1.4-17/BDD/bdd.c: C source, ASCII text data/mona-1.4-17/BDD/bdd.h: C source, ASCII text data/mona-1.4-17/BDD/bdd_cache.c: C source, ASCII text data/mona-1.4-17/BDD/bdd_double.c: C source, ASCII text data/mona-1.4-17/BDD/bdd_dump.c: C source, ASCII text data/mona-1.4-17/BDD/bdd_dump.h: C source, ASCII text data/mona-1.4-17/BDD/bdd_external.c: C source, ASCII text data/mona-1.4-17/BDD/bdd_external.h: C source, ASCII text data/mona-1.4-17/BDD/bdd_internal.h: C source, ASCII text data/mona-1.4-17/BDD/bdd_manager.c: C source, ASCII text data/mona-1.4-17/BDD/bdd_trace.c: C source, ASCII text data/mona-1.4-17/BDD/hash.c: C source, ASCII text data/mona-1.4-17/BDD/hash.h: C source, ASCII text data/mona-1.4-17/BDD/makefile.am: ASCII text data/mona-1.4-17/BDD/makefile.in: makefile script, ASCII text data/mona-1.4-17/COPYING: ASCII text data/mona-1.4-17/ChangeLog: ASCII text data/mona-1.4-17/DFA/analyze.c: C source, ASCII text data/mona-1.4-17/DFA/basic.c: C source, ASCII text data/mona-1.4-17/DFA/dfa.c: C source, ASCII text data/mona-1.4-17/DFA/dfa.h: C source, ASCII text data/mona-1.4-17/DFA/external.c: C source, ASCII text data/mona-1.4-17/DFA/hash.h: C source, ASCII text data/mona-1.4-17/DFA/makebasic.c: C source, ASCII text data/mona-1.4-17/DFA/makefile.am: ASCII text data/mona-1.4-17/DFA/makefile.in: makefile script, ASCII text, with very long lines data/mona-1.4-17/DFA/minimize.c: C source, ASCII text data/mona-1.4-17/DFA/prefix.c: C source, ASCII text data/mona-1.4-17/DFA/printdfa.c: C source, ASCII text data/mona-1.4-17/DFA/product.c: C source, ASCII text data/mona-1.4-17/DFA/project.c: C source, ASCII text data/mona-1.4-17/DFA/quotient.c: C source, ASCII text data/mona-1.4-17/Examples/ab1.mona: ASCII text data/mona-1.4-17/Examples/ab2.mona: ASCII text data/mona-1.4-17/Examples/bdd_example.c: C source, ASCII text data/mona-1.4-17/Examples/bdd_volatility: ASCII text data/mona-1.4-17/Examples/even.mona: ASCII text data/mona-1.4-17/Examples/even_with_assert.mona: ASCII text data/mona-1.4-17/Examples/even_with_pred.mona: ASCII text data/mona-1.4-17/Examples/gta_example.c: C source, ASCII text data/mona-1.4-17/Examples/html.mona: ASCII text data/mona-1.4-17/Examples/hyman.mona: ASCII text data/mona-1.4-17/Examples/lossy_queue.mona: ASCII text data/mona-1.4-17/Examples/makefile.am: ASCII text data/mona-1.4-17/Examples/makefile.in: makefile script, ASCII text data/mona-1.4-17/Examples/minusmodulo.mona: ASCII text data/mona-1.4-17/Examples/nadder.mona: ASCII text data/mona-1.4-17/Examples/plusmodulo.mona: ASCII text data/mona-1.4-17/Examples/presburger.mona: ASCII text data/mona-1.4-17/Examples/presburger_analysis.c: C source, ASCII text data/mona-1.4-17/Examples/presburger_transduction.c: C source, ASCII text data/mona-1.4-17/Examples/regexp.mona: ASCII text data/mona-1.4-17/Front/ast.cpp: C++ source, ASCII text data/mona-1.4-17/Front/ast.h: C++ source, ASCII text data/mona-1.4-17/Front/astdump.cpp: C++ source, ASCII text data/mona-1.4-17/Front/code.cpp: C++ source, ASCII text data/mona-1.4-17/Front/code.h: C++ source, ASCII text data/mona-1.4-17/Front/codedump.cpp: C++ source, ASCII text data/mona-1.4-17/Front/codesubst.cpp: C source, ASCII text data/mona-1.4-17/Front/codetable.cpp: C++ source, ASCII text data/mona-1.4-17/Front/codetable.h: C++ source, ASCII text data/mona-1.4-17/Front/deque.h: C++ source, ASCII text data/mona-1.4-17/Front/env.h: C++ source, ASCII text data/mona-1.4-17/Front/freevars.cpp: C source, ASCII text data/mona-1.4-17/Front/ident.cpp: C++ source, ASCII text data/mona-1.4-17/Front/ident.h: C++ source, ASCII text data/mona-1.4-17/Front/lib.cpp: C++ source, ASCII text data/mona-1.4-17/Front/lib.h: C++ source, ASCII text data/mona-1.4-17/Front/makefile.am: ASCII text data/mona-1.4-17/Front/makefile.in: makefile script, ASCII text, with very long lines data/mona-1.4-17/Front/makeguide.cpp: C++ source, ASCII text data/mona-1.4-17/Front/mona.cpp: C++ source, ASCII text data/mona-1.4-17/Front/offsets.cpp: C source, ASCII text data/mona-1.4-17/Front/offsets.h: C++ source, ASCII text data/mona-1.4-17/Front/parser.ypp: C source, ASCII text data/mona-1.4-17/Front/predlib.cpp: C source, ASCII text data/mona-1.4-17/Front/predlib.h: C++ source, ASCII text data/mona-1.4-17/Front/printline.cpp: C++ source, ASCII text data/mona-1.4-17/Front/printline.h: C++ source, ASCII text data/mona-1.4-17/Front/reduce.cpp: C source, ASCII text data/mona-1.4-17/Front/scanner.lpp: C++ source, ASCII text data/mona-1.4-17/Front/signature.cpp: C source, ASCII text data/mona-1.4-17/Front/signature.h: C++ source, ASCII text data/mona-1.4-17/Front/st_dfa.cpp: C++ source, ASCII text data/mona-1.4-17/Front/st_dfa.h: C source, ASCII text data/mona-1.4-17/Front/st_gta.cpp: C++ source, ASCII text data/mona-1.4-17/Front/st_gta.h: C source, ASCII text data/mona-1.4-17/Front/str.h: C++ source, ASCII text data/mona-1.4-17/Front/symboltable.cpp: C++ source, ASCII text data/mona-1.4-17/Front/symboltable.h: C++ source, ASCII text data/mona-1.4-17/Front/timer.cpp: C source, ASCII text data/mona-1.4-17/Front/timer.h: C++ source, ASCII text data/mona-1.4-17/Front/untyped.cpp: C++ source, ASCII text data/mona-1.4-17/Front/untyped.h: C++ source, ASCII text data/mona-1.4-17/GTA/analyze.c: C source, ASCII text data/mona-1.4-17/GTA/analyze_acceptance.c: C source, ASCII text data/mona-1.4-17/GTA/basic.c: C source, ASCII text data/mona-1.4-17/GTA/copy.c: C source, ASCII text data/mona-1.4-17/GTA/dyn.c: C source, ASCII text data/mona-1.4-17/GTA/dyn.h: C source, ASCII text data/mona-1.4-17/GTA/external.c: C source, ASCII text data/mona-1.4-17/GTA/gta.c: C source, ASCII text data/mona-1.4-17/GTA/gta.h: C source, ASCII text data/mona-1.4-17/GTA/makebasic.c: C source, ASCII text data/mona-1.4-17/GTA/makefile.am: ASCII text data/mona-1.4-17/GTA/makefile.in: makefile script, ASCII text, with very long lines data/mona-1.4-17/GTA/minimize.c: C source, ASCII text data/mona-1.4-17/GTA/negation.c: C source, ASCII text data/mona-1.4-17/GTA/pairhash.c: C source, ASCII text data/mona-1.4-17/GTA/pairhash.h: C source, ASCII text data/mona-1.4-17/GTA/printgta.c: C source, ASCII text data/mona-1.4-17/GTA/product.c: C source, ASCII text data/mona-1.4-17/GTA/project.c: C source, ASCII text data/mona-1.4-17/GTA/projset.c: C source, ASCII text data/mona-1.4-17/GTA/projset.h: C source, ASCII text data/mona-1.4-17/GTA/reachable.c: C source, ASCII text data/mona-1.4-17/GTA/replace_indices.c: C source, ASCII text data/mona-1.4-17/GTA/restrict.c: C source, ASCII text data/mona-1.4-17/GTA/subsets.c: C source, ASCII text data/mona-1.4-17/GTA/subsets.h: C source, ASCII text data/mona-1.4-17/GTA/types.c: C source, ASCII text data/mona-1.4-17/INSTALL: ASCII text data/mona-1.4-17/Lib/bddlib.h: C source, ASCII text data/mona-1.4-17/Lib/dfa2dot.c: C source, ASCII text data/mona-1.4-17/Lib/dfalib.c: C source, ASCII text data/mona-1.4-17/Lib/dfalib.h: C source, ASCII text data/mona-1.4-17/Lib/gta2dot.c: C source, ASCII text data/mona-1.4-17/Lib/gtalib.c: C source, ASCII text data/mona-1.4-17/Lib/gtalib.h: C source, ASCII text data/mona-1.4-17/Lib/makefile.am: ASCII text data/mona-1.4-17/Lib/makefile.in: makefile script, ASCII text data/mona-1.4-17/Mem/dlmalloc.c: C source, ASCII text data/mona-1.4-17/Mem/dlmalloc.h: C source, ASCII text data/mona-1.4-17/Mem/gnuc.h: C source, ASCII text data/mona-1.4-17/Mem/makefile.am: ASCII text data/mona-1.4-17/Mem/makefile.in: makefile script, ASCII text data/mona-1.4-17/Mem/mem.c: C source, ASCII text data/mona-1.4-17/Mem/mem.h: C source, ASCII text data/mona-1.4-17/NEWS: ASCII text data/mona-1.4-17/README: ASCII text data/mona-1.4-17/aclocal.m4: M4 macro processor script, ASCII text, with very long lines data/mona-1.4-17/config.h.in: C source, ASCII text data/mona-1.4-17/config/ar-lib: POSIX shell script, ASCII text executable data/mona-1.4-17/config/compile: POSIX shell script, ASCII text executable data/mona-1.4-17/config/config.guess: POSIX shell script, ASCII text executable data/mona-1.4-17/config/config.sub: POSIX shell script, ASCII text executable data/mona-1.4-17/config/depcomp: POSIX shell script, ASCII text executable data/mona-1.4-17/config/devel: POSIX shell script, ASCII text executable data/mona-1.4-17/config/init: POSIX shell script, ASCII text executable data/mona-1.4-17/config/install-sh: POSIX shell script, ASCII text executable data/mona-1.4-17/config/ltmain.sh: ASCII text data/mona-1.4-17/config/makefile.am: ASCII text data/mona-1.4-17/config/makefile.in: makefile script, ASCII text data/mona-1.4-17/config/missing: POSIX shell script, ASCII text executable data/mona-1.4-17/config/rpm-config: POSIX shell script, ASCII text executable data/mona-1.4-17/config/ylwrap: POSIX shell script, ASCII text executable data/mona-1.4-17/configure: POSIX shell script, ASCII text executable, with very long lines data/mona-1.4-17/configure.ac: M4 macro processor script, ASCII text data/mona-1.4-17/m4/libtool.m4: M4 macro processor script, ASCII text, with very long lines data/mona-1.4-17/m4/ltoptions.m4: M4 macro processor script, ASCII text data/mona-1.4-17/m4/ltsugar.m4: M4 macro processor script, ASCII text data/mona-1.4-17/m4/ltversion.m4: M4 macro processor script, ASCII text data/mona-1.4-17/m4/lt~obsolete.m4: M4 macro processor script, ASCII text data/mona-1.4-17/makefile.am: automake makefile script, ASCII text data/mona-1.4-17/makefile.in: makefile script, ASCII text data/mona-1.4-17/mona-mode.el: Lisp/Scheme program, ASCII text data/mona-1.4-17/mona.1: troff or preprocessor input, ASCII text data/mona-1.4-17/mona.spec.in: ASCII text data/mona-1.4-17/debian/changelog: ASCII text data/mona-1.4-17/debian/control: ASCII text data/mona-1.4-17/debian/copyright: UTF-8 Unicode text data/mona-1.4-17/debian/dirs: ASCII text data/mona-1.4-17/debian/emacsen-install: POSIX shell script, ASCII text executable data/mona-1.4-17/debian/emacsen-remove: POSIX shell script, ASCII text executable data/mona-1.4-17/debian/emacsen-startup: Lisp/Scheme program, ASCII text data/mona-1.4-17/debian/gbp.conf: ASCII text data/mona-1.4-17/debian/lintian-overrides: ASCII text data/mona-1.4-17/debian/mona.1: troff or preprocessor input, ASCII text data/mona-1.4-17/debian/mona.examples: ASCII text data/mona-1.4-17/debian/mona.install: ASCII text data/mona-1.4-17/debian/rules: a /usr/bin/make -f script, ASCII text executable data/mona-1.4-17/debian/source/format: ASCII text data/mona-1.4-17/debian/tests/control: ASCII text data/mona-1.4-17/debian/tests/valid: POSIX shell script, ASCII text executable data/mona-1.4-17/debian/watch: ASCII text data/mona-1.4-17/.pc/.version: ASCII text data/mona-1.4-17/.pc/.quilt_patches: ASCII text data/mona-1.4-17/.pc/.quilt_series: ASCII text data/mona-1.4-17/.pc/applied-patches: empty