.gitattributes

.vscode/* no-precommit-check
README.md no-precommit-check
benchmark_script/* no-precommit-check
benchmark_script/*/* no-precommit-check
design_case_studies/*/*/* no-precommit-check
design_case_studies/*/* no-precommit-check
docs/lrm/code/*/*/* no-precommit-check
docs/lrm/code/*/*/*/* no-precommit-check
docs/lrm/source/* no-precommit-check
docs/case_study/* no-precommit-check
docs/case_study/*/* no-precommit-check
docs/case_study/*/*/* no-precommit-check
docs/case_study/*/*/*/* no-precommit-check
docs/case_study/*/*/*/*/* no-precommit-check
docs/flow/*/* no-precommit-check
docs/flow/*/*/* no-precommit-check
libs/containers/ada/*/*/* no-precommit-check
libs/containers/ada/*/* no-precommit-check
libs/containers/ada/* no-precommit-check
testsuite/gnatprove/tests/*/* no-precommit-check
testsuite/gnatprove/tests/*/*/* no-precommit-check
testsuite/gnatprove/tests/*/*/*/* no-precommit-check
testsuite/gnatprove/tests/*/*/*/*/* no-precommit-check
testsuite/gnatprove/diff-update-expected-outputs no-precommit-check
testsuite/alt-ergo/tests/*/* no-precommit-check
testsuite/gnatmerge/tests/*/* no-precommit-check
testsuite/gnatmerge/tests/*/*/* no-precommit-check
testsuite/gnatmerge/tests/*/*/*/* no-precommit-check
testsuite/gnatmerge/tests/*/*/*/*/* no-precommit-check
docs/ug/gnatprove_by_example/examples/* no-precommit-check
docs/ug/examples/*/*/* no-precommit-check
docs/ug/examples/*/* no-precommit-check
docs/ug/loop_patterns/*/* no-precommit-check
docs/ug/linear_search/*/* no-precommit-check
docs/ug/lemmas/* no-precommit-check
docs/ug/* no-precommit-check
docs/guidance/* no-precommit-check
docs/booklet/* no-precommit-check
trace_units_script/* no-precommit-check
include/*.adb no-precommit-check

why3session.xml -diff
*.ads diff=ada
*.adb diff=ada
*.docx diff=docx