\.pyc$
driver/.cache/v/cache/lastfailed$
experiments/issue[0-9]*/data/
experiments/issue[0-9]*/venv.*/
experiments/issue[0-9]*/.*.-microbenchmark/\.obj/
experiments/issue[0-9]*/.*.-microbenchmark/benchmark$
experiments/issue[0-9]*/.*.-microbenchmark/Makefile\.depend$
misc/autodoc/downward-xmlrpc\.secret$
misc/.tox/
builds/
src/CMakeLists.txt.user$
# Default ignored files
src/translate/.idea
driver/__pycache__
*src/translate/output
*output.sas

experiments/severin-invariant-comparison/data
