https://github.com/JasonGross/coq-tools
Tip revision: a47ed37e05cc2f848d43cb70a627db5c518ba0c0 authored by Jason Gross on 12 July 2022, 18:21:59 UTC
Remove path sensitivity in traceback output, test 12
Remove path sensitivity in traceback output, test 12
Tip revision: a47ed37
| File | Mode | Size |
|---|---|---|
| .github | ||
| etc | ||
| examples | ||
| .gitignore | -rw-r--r-- | 1.0 KB |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 192 bytes |
| Popen_noblock.py | -rw-r--r-- | 1.4 KB |
| README.md | -rw-r--r-- | 3.0 KB |
| TODO.md | -rw-r--r-- | 2.5 KB |
| absolutize-imports.py | -rwxr-xr-x | 3.7 KB |
| admit_abstract.py | -rw-r--r-- | 3.8 KB |
| argparse_compat.py | -rw-r--r-- | 101 bytes |
| argparse_py2.py | -rw-r--r-- | 85.8 KB |
| binding_util.py | -rw-r--r-- | 1.3 KB |
| coq_running_support.py | -rw-r--r-- | 2.2 KB |
| coq_version.py | -rw-r--r-- | 7.4 KB |
| coqtop-as-coqc.sh | -rwxr-xr-x | 548 bytes |
| coqtop.bat | -rw-r--r-- | 11 bytes |
| custom_arguments.py | -rw-r--r-- | 13.1 KB |
| diagnose_error.py | -rw-r--r-- | 14.3 KB |
| file_util.py | -rw-r--r-- | 2.8 KB |
| find-bug.py | -rwxr-xr-x | 93.9 KB |
| get-admitted-names.py | -rwxr-xr-x | 9.4 KB |
| import_util.py | -rw-r--r-- | 36.1 KB |
| inline-imports.py | -rwxr-xr-x | 4.7 KB |
| memoize.py | -rw-r--r-- | 583 bytes |
| minimize-requires.py | -rwxr-xr-x | 12.3 KB |
| minimizer_drivers.py | -rw-r--r-- | 3.3 KB |
| move-requires.py | -rwxr-xr-x | 3.2 KB |
| move-vernaculars.py | -rwxr-xr-x | 10.1 KB |
| proof-using-helper.py | -rwxr-xr-x | 12.2 KB |
| replace_imports.py | -rw-r--r-- | 11.7 KB |
| split_definitions.py | -rw-r--r-- | 13.4 KB |
| split_definitions_old.py | -rw-r--r-- | 9.4 KB |
| split_file.py | -rw-r--r-- | 7.6 KB |
| strip_comments.py | -rw-r--r-- | 1.4 KB |
| strip_newlines.py | -rw-r--r-- | 806 bytes |
| util.py | -rw-r--r-- | 3.1 KB |
