| -rw-r--r-- | .gitignore | 10L |
| -rw-r--r-- | macro-debugger-text-lib/LICENSE.txt | 11L |
| -rw-r--r-- | macro-debugger-text-lib/info.rkt | 10L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/check-requires.rkt | 299L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/private/get-references.rkt | 226L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/private/moduledb.rkt | 96L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/private/nom-use-alg.rkt | 197L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/private/refine-alg.rkt | 59L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/private/util.rkt | 214L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/analysis/show-dependencies.rkt | 190L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/expand.rkt | 32L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/info.rkt | 11L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/context.rkt | 112L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/debug.rkt | 18L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/deriv-c.rkt | 204L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/deriv-parser.rkt | 640L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/deriv-tokens.rkt | 221L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/deriv-util.rkt | 106L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/deriv.rkt | 3L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/hiding-policies.rkt | 346L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/reductions-config.rkt | 496L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/reductions-engine.rkt | 575L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/reductions.rkt | 820L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/steps.rkt | 117L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/stx-util.rkt | 104L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/trace.rkt | 205L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/yacc-ext.rkt | 56L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/model/yacc-interrupted.rkt | 296L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/stepper-text.rkt | 125L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/syntax-browser/interfaces.rkt | 184L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/syntax-browser/partition.rkt | 76L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/syntax-browser/pretty-helper.rkt | 178L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/util/eomap.rkt | 140L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/util/mpi.rkt | 237L |
| -rw-r--r-- | macro-debugger-text-lib/macro-debugger/view/debug-format.rkt | 108L |
| -rw-r--r-- | macro-debugger/LICENSE.txt | 11L |
| -rw-r--r-- | macro-debugger/info.rkt | 22L |
| -rw-r--r-- | macro-debugger/macro-debugger/emit.rkt | 45L |
| -rw-r--r-- | macro-debugger/macro-debugger/info.rkt | 3L |
| -rw-r--r-- | macro-debugger/macro-debugger/macro-debugger.scrbl | 577L |
| -rw-r--r-- | macro-debugger/macro-debugger/model/trace-raw.rkt | 34L |
| -rw-r--r-- | macro-debugger/macro-debugger/stepper.rkt | 25L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser.rkt | 4L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/controller.rkt | 73L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/display.rkt | 415L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/embed.rkt | 10L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/frame.rkt | 100L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/hrule-snip.rkt | 55L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/image.rkt | 105L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/keymap.rkt | 125L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/prefs.rkt | 86L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/pretty-printer.rkt | 192L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/properties.rkt | 385L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/snip-decorated.rkt | 208L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/snip.rkt | 178L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/text.rkt | 475L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/util.rkt | 37L |
| -rw-r--r-- | macro-debugger/macro-debugger/syntax-browser/widget.rkt | 269L |
| -rw-r--r-- | macro-debugger/macro-debugger/tests/test-docs-complete.rkt | 7L |
| -rw-r--r-- | macro-debugger/macro-debugger/util/logger.rkt | 23L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/cursor.rkt | 133L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/debug.rkt | 32L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/extensions.rkt | 84L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/find.rkt | 72L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/frame.rkt | 296L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/gui-util.rkt | 105L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/hiding-panel.rkt | 339L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/interfaces.rkt | 94L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/prefs.rkt | 93L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/step-display.rkt | 268L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/stepper.rkt | 579L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/term-record.rkt | 352L |
| -rw-r--r-- | macro-debugger/macro-debugger/view/view.rkt | 60L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/all-tests.rkt | 75L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/check-requires/src-a.rkt | 3L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/check-requires/src-b.rkt | 3L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/check-requires/src-c.rkt | 8L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/check-requires/use-a.rkt | 7L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/check-requires/use-cs.rkt | 7L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/gentest-framework.rkt | 61L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/gentests.rkt | 181L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/gui-tests.rkt | 274L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/test-setup.rkt | 165L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/collects.rkt | 123L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/hiding.rkt | 215L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/policy.rkt | 65L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/regression.rkt | 240L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/syntax-basic.rkt | 370L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/syntax-errors.rkt | 320L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/syntax-macros.rkt | 129L |
| -rw-r--r-- | macro-debugger/tests/macro-debugger/tests/syntax-modules.rkt | 347L |
