mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
50 lines
827 B
Plaintext
50 lines
827 B
Plaintext
*~
|
|
*.pyc
|
|
.z3-trace
|
|
# OCaml generated files
|
|
*.a
|
|
*.cma
|
|
*.cmi
|
|
*.cmxa
|
|
# Emacs temp files
|
|
\#*\#
|
|
# Directories with generated code and documentation
|
|
build/*
|
|
build-dist/*
|
|
dist/*
|
|
doc/html/*
|
|
# GTAGS generated files
|
|
src/GPATH
|
|
src/GRTAGS
|
|
src/GSYMS
|
|
src/GTAGS
|
|
src/HTML/*
|
|
# CSCOPE files
|
|
src/cscope.in.out
|
|
src/cscope.out
|
|
src/cscope.po.out
|
|
ncsope.out
|
|
# CEDET files
|
|
.cproject
|
|
.project
|
|
# Commonly used directories for code
|
|
bld_dbg/*
|
|
bld_rel/*
|
|
# Auto generated files.
|
|
config.log
|
|
config.status
|
|
configure
|
|
install_tactic.cpp
|
|
mem_initializer.cpp
|
|
scripts/config-debug.mk
|
|
scripts/config-release.mk
|
|
src/api/api_commands.cpp
|
|
src/api/api_log_macros.h
|
|
src/api/api_log_macros.cpp
|
|
src/api/dll/api_dll.def
|
|
src/api/dotnet/Enumerations.cs
|
|
src/api/dotnet/Native.cs
|
|
src/api/python/z3consts.py
|
|
src/api/python/z3core.py
|
|
src/ast/pattern/database.h
|
|
src/util/version.h |