.gitignore

# vim
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]
[._]sw[a-p]

# emacs
*~
\#*\#
/.emacs.desktop
/.emacs.desktop.lock
*.elc
auto-save-list
tramp
.\#*

# Coq
.*.aux
.*.d
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
*.v.timing
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
Makefile.coq
Makefile.coq.conf

# Generated ml files
*.mlg.d
*.cmt
PerformanceExperiments/sandbox_plugin.ml

# Generated .v files for perf
*_Sanity.v
*_SuperFast.v
*_Fast.v
*_Medium.v
*_Slow.v
*_VerySlow.v
*_Sanity.log
*_SuperFast.log
*_Fast.log
*_Medium.log
*_Slow.log
*_VerySlow.log

# Generated files
src/_CoqProject
PerformanceExperiments/_CoqProject
PerformanceExperiments/.coq-version
PerformanceExperiments/.coq-version-compilation-date
PerformanceExperiments/.coq-version-config
PerformanceExperiments/.coq-version-ocaml-config
PerformanceExperiments/.coq-version-ocaml-version
PerformanceExperiments/.coq-version-short
PerformanceExperiments/.coq-version-short-date
PerformanceExperiments/.machine
PerformanceExperiments/.machine-extended
PerformanceExperiments/*.txt
PerformanceExperiments/**/*.txt
PerformanceExperiments/perf.csv

# LaTeX
## Misc Files
*~
*\#
.\#*
*.pdf
*.atfi
*.swp

## Core latex/pdflatex auxiliary files:
*.aux
*.lof
/*.log
*.lot
*.fls
*.out
*.toc
*.fmt
*.fot
*.cb
*.cb2
.*.lb

## Intermediate documents:
*.dvi
*.xdv
*-converted-to.*
# these rules might exclude image files for figures etc.
# *.ps
# *.eps
# *.pdf

## Generated if empty string is given at "Please type another file name for output:"
.pdf

## Bibliography auxiliary files (bibtex/biblatex/biber):
*.bbl
*.bcf
*.blg
*-blx.aux
*-blx.bib
*.run.xml

## Build tool auxiliary files:
*.fdb_latexmk
*.synctex
*.synctex(busy)
*.synctex.gz
*.synctex.gz(busy)
*.pdfsync

## Auxiliary and intermediate files from other packages:
# algorithms
*.alg
*.loa

# achemso
acs-*.bib

# amsthm
*.thm

# beamer
*.nav
*.pre
*.snm
*.vrb

# changes
*.soc

# cprotect
*.cpt

# elsarticle (documentclass of Elsevier journals)
*.spl

# endnotes
*.ent

# fixme
*.lox

# feynmf/feynmp
*.mf
*.mp
*.t[1-9]
*.t[1-9][0-9]
*.tfm

#(r)(e)ledmac/(r)(e)ledpar
*.end
*.?end
*.[1-9]
*.[1-9][0-9]
*.[1-9][0-9][0-9]
*.[1-9]R
*.[1-9][0-9]R
*.[1-9][0-9][0-9]R
*.eledsec[1-9]
*.eledsec[1-9]R
*.eledsec[1-9][0-9]
*.eledsec[1-9][0-9]R
*.eledsec[1-9][0-9][0-9]
*.eledsec[1-9][0-9][0-9]R

# glossaries
*.acn
*.acr
*.glg
*.glo
*.gls
*.glsdefs

# gnuplottex
*-gnuplottex-*

# gregoriotex
*.gaux
*.gtex

# htlatex
*.4ct
*.4tc
*.idv
*.lg
*.trc
*.xref

# hyperref
*.brf

# knitr
*-concordance.tex
# TODO Comment the next line if you want to keep your tikz graphics files
*.tikz
*-tikzDictionary

# listings
*.lol

# makeidx
*.idx
*.ilg
*.ind
*.ist

# minitoc
*.maf
*.mlf
*.mlt
*.mtc[0-9]*
*.slf[0-9]*
*.slt[0-9]*
*.stc[0-9]*

# minted
_minted*
*.pyg

# morewrites
*.mw

# nomencl
*.nlg
*.nlo
*.nls

# pax
*.pax

# pdfpcnotes
*.pdfpc

# sagetex
*.sagetex.sage
*.sagetex.py
*.sagetex.scmd

# scrwfile
*.wrt

# sympy
*.sout
*.sympy
sympy-plots-for-*.tex/

# pdfcomment
*.upa
*.upb

# pythontex
*.pytxcode
pythontex-files-*/

# thmtools
*.loe

# TikZ & PGF
*.dpth
*.md5
*.auxlock

# todonotes
*.tdo

# easy-todo
*.lod

# xmpincl
*.xmpi

# xindy
*.xdy

# xypic precompiled matrices
*.xyc

# endfloat
*.ttt
*.fff

# Latexian
TSWLatexianTemp*

## Editors:
# WinEdt
*.bak
*.sav

# Texpad
.texpadtmp

# Kile
*.backup

# KBibTeX
*~[0-9]*

# auto folder when using emacs and auctex
./auto/*
*.el

# expex forward references with \gathertags
*-tags.tex

# standalone packages
*.sta

# generated if using elsarticle.cls
*.spl

# misc generated files
*.md5
*-figure*.dep
*.pgf-plot.gnuplot
*.pgf-plot.table
*-regression.table
*-parameters.dat
PerformanceExperiments/Ltac2Compat/Array.v
PerformanceExperiments/Ltac2Compat/Constr.v
PerformanceExperiments/Ltac2Compat/Init.v
PerformanceExperiments/Reify/reify_plugin.ml4
PerformanceExperiments/Reify/reify_plugin.mlg
PerformanceExperiments/Reify/reify_plugin.ml
PerformanceExperiments/Reify/OCamlReify.v
PerformanceExperiments/Sandbox.v
PerformanceExperiments/sandbox_plugin.ml4
PerformanceExperiments/sandbox_plugin.mlg
plots/generated/
plots/*.log
plots/*.svg
plots/*.txt
doc-build/*.pdf
doc-build/*.txt
doc-build/*.csv
doc-build/*.svg
doc-build/*/*.pdf
doc-build/*/*.txt
doc-build/*/*.csv
doc-build/*/*.svg
native_compute_profile_*.data

PerformanceExperiments/*.gnuplot
PerformanceExperiments/*.txt-fits.dat
PerformanceExperiments/fit.log