.dockerignore

**/.*.aux
**/.*.d
**/*.a
**/*.cma
**/*.cmi
**/*.cmo
**/*.cmx
**/*.cmt 
**/*.cmti
**/*.cmxa
**/*.cmxs
**/*.glob
**/*.ml.d
**/*.ml4.d
**/*.mlg.d
**/*.mli.d
**/*.mllib.d
**/*.mlpack.d
**/*.native
**/*.o
**/*.v.d
**/*.vio
**/*.vo
**/*.vok
**/*.vos
**/.coq-native
**/.csdp.cache
**/.lia.cache
**/.nia.cache
**/.nlia.cache
**/.nra.cache
**/csdp.cache
**/lia.cache
**/nia.cache
**/nlia.cache
**/nra.cache
**/native_compute_profile_*.data
**/*.annot
**/*.conflicts
# generated timing files
**/*.timing.diff
**/*.v.after-timing
**/*.v.before-timing
**/*.v.timing
**/time-of-build-after.log
**/time-of-build-before.log
**/time-of-build-both.log
**/time-of-build-pretty.log
**/*.stdout

**/*.v.d
**/polcomp
**/polcert

# Coq Makefile
**/Makefile.coq
**/Makefile.coq.conf
**/_CoqProject
!**/flocq-3.4.3/_CoqProject
**/.depend
# extraction
**/extraction/*
!**/extraction/extraction.v

# doc
**/doc/html

# binary
**/writer/writer
**/ocaml/opt

**/writer/*.scop
**/reader/*.scop

**/*.output

**/.vscode

# Emacs saves
**/*~
# Executables and configuration
ccomp
ccomp.byte
ccomp.prof
clightgen
clightgen.byte
tools/ndfun
tools/modorder
Makefile.config
.merlin
_CoqProject
compile.pl
# Generated files
.depend
.depend.extr
compcert.ini
polcert.ini
compcert.config
polcert.config
x86/ConstpropOp.v
x86/SelectOp.v
x86/SelectLong.v
powerpc/ConstpropOp.v
powerpc/SelectOp.v
powerpc/SelectLong.v
arm/ConstpropOp.v
arm/SelectOp.v
arm/SelectLong.v
riscV/ConstpropOp.v
riscV/SelectOp.v
riscV/SelectLong.v
aarch64/ConstpropOp.v
aarch64/SelectOp.v
aarch64/SelectLong.v
backend/SelectDiv.v
backend/SplitLong.v
cparser/Parser.v
cparser/Lexer.ml
cparser/pre_parser.ml
cparser/pre_parser.mli
cparser/pre_parser_messages.ml
cparser/pre_parser.automaton
cparser/pre_parser.messages
cparser/pre_parser.conflicts
cparser/handcrafted.messages.bak
cparser/handcrafted.messages.raw
cparser/deLexer
cparser/tests/generated/*.c
cparser/tests/generated/*.err
lib/Readconfig.ml
lib/Tokenize.ml
lib/Responsefile.ml
lib/OpenScopLexer.ml
lib/OpenScopParser.automaton
lib/OpenScopParser.ml
lib/OpenScopParser.mli
driver/Version.ml
# Documentation
doc/coq2html
doc/coq2html.ml
doc/html
doc/html/
# MacOS metadata
**/.DS_Store
# Coq caches
**/.lia.cache
**/.nia.cache
**/.nra.cache
**/.csdp.cache

**/log.txt

**/*.scop
**/.outfilename
**/.regtile
**/.srcfilename
**/*.pluto.c
**/*.cloog
**/result.txt

**/PolyLexer.ml
**/PolyLexer.mli
**/PolyParser.ml
**/PolyParser.mli
**/*.automaton
**/PLPLexer.ml
**/PLPParser.ml
**/PLPParser.mli

VPL/*~

VPL/coq/_CoqProject
VPL/coq/build.mk
VPL/coq/uninstall_me.sh
VPL/coq/html

VPL/ocaml/_build/*
VPL/ocaml/_tags
VPL/ocaml/setup.ml
VPL/ocaml/myocamlbuild.ml
VPL/ocaml/setup.data
VPL/ocaml/setup.log
VPL/ocaml/opam/*
VPL/ocaml/src/META
VPL/ocaml/src/*lib
VPL/ocaml/src/*pack
VPL/ocaml/Makefile
VPL/ocaml/configure
VPL/ocaml/src/Wrapper.ml
VPL/ocaml/_oasis
VPL/test/All_t.native

VPL/test/*.native
VPL/test/_build/*
VPL/test/coq_extracted/*

**/.outfilename
**/.regtile
**/.srcfilename
**/*.pluto.c
**/*.pluto.cloog
**/*.beforescheduling.scop
**/*.afterscheduling.scop
**/.depend.extr.test
**/*.pluto.*
**/*.cpol
**/*.scop
**/.beforescheduling
**/.afterscheduling
!tests/readscop/scops/.afterscheduling
!tests/readscop/scops/.beforescheduling

VPL/ocaml/src/extracted/*
!**/.gitignore