mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
33 lines
747 B
Plaintext
33 lines
747 B
Plaintext
-text
|
|
configure binary
|
|
fsf_build.sh binary
|
|
src/config.sh.in binary
|
|
* no-precommit-check
|
|
/examples/in_progress/ export-ignore
|
|
/examples/hoare_logic/draft/ export-ignore
|
|
/tests/ export-ignore
|
|
/bench/encoding/ export-ignore
|
|
/misc/ export-ignore
|
|
/ROADMAP export-ignore
|
|
/DEVELOPER.readme export-ignore
|
|
/opam/ export-ignore
|
|
.gitattributes export-ignore
|
|
.gitignore export-ignore
|
|
|
|
/.dockerignore export-ignore
|
|
/.gitlab-ci.yml export-ignore
|
|
/.mailmap export-ignore
|
|
/.ocp-indent export-ignore
|
|
/check.sh export-ignore
|
|
|
|
/bench/encoding/ export-ignore
|
|
/bench/copy_oracles.sh export-ignore
|
|
/examples_in_progress/ export-ignore
|
|
/misc/ export-ignore
|
|
/opam/ export-ignore
|
|
/tests/ export-ignore
|
|
|
|
why3session.xml merge=ours
|
|
why3shapes.gz merge=ours
|
|
*.png diff=image
|