.gitignore

*.vo
*.vok
*.vos
*.glob
*.aux
.lia.cache
.coqdeps.d
core.make
core.make.conf
.core.make.d
*_build
*.merlin
Edsger/parser.ml
Edsger/parser.mli
result

# coq files generated by Edsger in integration-tests
integration-tests/*/*/CertiKOS.v
integration-tests/*/*/CoqMakefile.conf
integration-tests/*/*/DataTypeOps.v
integration-tests/*/*/DataTypeProofs.v
integration-tests/*/*/DataTypes.v
integration-tests/*/*/EdsgerIdents.v
integration-tests/*/*/LSim*.v
integration-tests/*/*/LSrc*.v
integration-tests/*/*/Layer*.v
integration-tests/*/*/Makefile
integration-tests/*/*/Makefile.conf
integration-tests/*/*/Obj*Code.v
integration-tests/*/*/Obj*CodeProofs.v
integration-tests/*/*/ObjSim*.v
integration-tests/*/*/Symbols.v
integration-tests/*/*/extraction
integration-tests/*/*/_CoqProject
integration-tests/*/_CoqProject
integration-tests/*/*.log

# Docs
docs/*.pdf
docs/*.html
docs/coqdoc/*
!docs/coqdoc/custom-coqdoc.css
!docs/coqdoc/custom-coqdoc-css-licence

# Unit tests
unittests/node_modules
unittests/build/
amm_with_addresses.ds
unittests/contracts/erc20Token0.ds
unittests/contracts/erc20Token1.ds
unittests/contracts/liquidityToken.ds
unittests/test_output.log

# Integration tests
integration-tests/*/_CoqProject
integration-tests/test_summary.log
integration-tests/*/*.log
!integration-tests/*/expected_summary.log
integration-tests/*/*/_CoqProject
integration-tests/*/*/*.v