mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
46 lines
1.7 KiB
Plaintext
46 lines
1.7 KiB
Plaintext
.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
|