https://github.com/JasonGross/coq-tools
Raw File
Tip revision: a47ed37e05cc2f848d43cb70a627db5c518ba0c0 authored by Jason Gross on 12 July 2022, 18:21:59 UTC
Remove path sensitivity in traceback output, test 12
Tip revision: a47ed37
.gitignore
*.py[cod]

*~
\#*\#
.\#*

# C extensions
*.so

# Packages
*.egg
*.egg-info
dist
build
eggs
parts
bin
var
sdist
develop-eggs
.installed.cfg
lib
lib64

# Installer logs
pip-log.txt

# Unit test / coverage reports
.coverage
.tox
nosetests.xml

# Translations
*.mo

# Mr Developer
.mr.developer.cfg
.project
.pydevproject

# Coq files from tests
*.vo
*.vos
*.vok
*.d
.*.d
.coqdeps.d
*.glob
/tmp*.v
.*.aux
/bug_*.v

.coq-native

/examples/check.log
/examples/example_*_log.log
/examples/example_*_result.log
/examples/example_*_make.log
/examples/example_*_output.v
/examples/example_*/bug_*.v
/examples/example_*/generated_*.v
/examples/example_*/Makefile*.coq
/examples/example_*/Makefile*.coq.conf
/examples/example_*/*/bug_*.v
/examples/example_02/example_02_log.log
/examples/example_02/example_02_output.v
/examples/example_04/A_abs.v
/examples/example_04/B_abs.v
/examples/example_09/bug_09.v.require-bak
/examples/example_23/bug.v
/examples/example_24/outputs
/examples/example_*/tmp*.v
/examples/example_*/*/tmp*.v
/examples/example_*/*/*/tmp*.v
back to top