Packages / Fedora 43 / Unspecified / why3-examples

Package: why3-examples (1.8.2-1.fc43)

Example inputs

Example source code with why3 annotations.

Other Packages Related to why3-examples:

dep: [why3] (= 1.8.2-1.fc43)
Software verification platform

Download why3-examples

Architecture	Package size	Installed size	Files	Package
noarch	4.5 MiB	17 MiB	list of files	Download

Шляхи файлів пакета (2,214)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

/usr/share/doc/why3-examples
/usr/share/doc/why3-examples/examples
/usr/share/doc/why3-examples/examples/add_list
/usr/share/doc/why3-examples/examples/add_list.mlw
/usr/share/doc/why3-examples/examples/add_list_vc_sp
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz
/usr/share/doc/why3-examples/examples/add_list/why3session.xml
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo63
/usr/share/doc/why3-examples/examples/algo63.mlw
/usr/share/doc/why3-examples/examples/algo63/why3session.xml
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo64
/usr/share/doc/why3-examples/examples/algo64.mlw
/usr/share/doc/why3-examples/examples/algo64/why3session.xml
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo65
/usr/share/doc/why3-examples/examples/algo65.mlw
/usr/share/doc/why3-examples/examples/algo65/why3session.xml
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gz
/usr/share/doc/why3-examples/examples/all_distinct
/usr/share/doc/why3-examples/examples/all_distinct.mlw
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xml
/usr/share/doc/why3-examples/examples/all_distinct/why3shapes.gz
/usr/share/doc/why3-examples/examples/amortization
/usr/share/doc/why3-examples/examples/amortization.mlw
/usr/share/doc/why3-examples/examples/amortization/why3session.xml
/usr/share/doc/why3-examples/examples/amortization/why3shapes.gz
/usr/share/doc/why3-examples/examples/anagrammi
/usr/share/doc/why3-examples/examples/anagrammi.mlw
/usr/share/doc/why3-examples/examples/anagrammi/why3session.xml
/usr/share/doc/why3-examples/examples/anagrammi/why3shapes.gz
/usr/share/doc/why3-examples/examples/arm
/usr/share/doc/why3-examples/examples/arm.mlw
/usr/share/doc/why3-examples/examples/arm/why3session.xml
/usr/share/doc/why3-examples/examples/arm/why3shapes.gz
/usr/share/doc/why3-examples/examples/array_most_frequent
/usr/share/doc/why3-examples/examples/array_most_frequent.mlw
/usr/share/doc/why3-examples/examples/array_most_frequent/why3session.xml
/usr/share/doc/why3-examples/examples/array_most_frequent/why3shapes.gz
/usr/share/doc/why3-examples/examples/array_of_list
/usr/share/doc/why3-examples/examples/array_of_list.mlw
/usr/share/doc/why3-examples/examples/array_of_list/why3session.xml
/usr/share/doc/why3-examples/examples/array_of_list/why3shapes.gz
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs.mlw
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3session.xml
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl
/usr/share/doc/why3-examples/examples/avl/avl
/usr/share/doc/why3-examples/examples/avl/avl.mlw
/usr/share/doc/why3-examples/examples/avl/avl/why3session.xml
/usr/share/doc/why3-examples/examples/avl/avl/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/key_type
/usr/share/doc/why3-examples/examples/avl/key_type.mlw
/usr/share/doc/why3-examples/examples/avl/key_type/why3session.xml
/usr/share/doc/why3-examples/examples/avl/key_type/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/monoid
/usr/share/doc/why3-examples/examples/avl/monoid.mlw
/usr/share/doc/why3-examples/examples/avl/monoid/why3session.xml
/usr/share/doc/why3-examples/examples/avl/monoid/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/preorder
/usr/share/doc/why3-examples/examples/avl/preorder.mlw
/usr/share/doc/why3-examples/examples/avl/preorder/why3session.xml
/usr/share/doc/why3-examples/examples/avl/preorder/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/priority_queue
/usr/share/doc/why3-examples/examples/avl/priority_queue.mlw
/usr/share/doc/why3-examples/examples/avl/priority_queue/why3session.xml
/usr/share/doc/why3-examples/examples/avl/priority_queue/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/ral
/usr/share/doc/why3-examples/examples/avl/ral.mlw
/usr/share/doc/why3-examples/examples/avl/ral/why3session.xml
/usr/share/doc/why3-examples/examples/avl/ral/why3shapes.gz
/usr/share/doc/why3-examples/examples/avl/tables
/usr/share/doc/why3-examples/examples/avl/tables.mlw
/usr/share/doc/why3-examples/examples/avl/tables/why3session.xml
/usr/share/doc/why3-examples/examples/avl/tables/why3shapes.gz
/usr/share/doc/why3-examples/examples/bag
/usr/share/doc/why3-examples/examples/bag.mlw
/usr/share/doc/why3-examples/examples/bag/why3session.xml
/usr/share/doc/why3-examples/examples/bag/why3shapes.gz
/usr/share/doc/why3-examples/examples/balance
/usr/share/doc/why3-examples/examples/balance.mlw
/usr/share/doc/why3-examples/examples/balance/why3session.xml
/usr/share/doc/why3-examples/examples/balance/why3shapes.gz
/usr/share/doc/why3-examples/examples/bellman_ford
/usr/share/doc/why3-examples/examples/bellman_ford.mlw
/usr/share/doc/why3-examples/examples/bellman_ford/why3session.xml
/usr/share/doc/why3-examples/examples/bellman_ford/why3shapes.gz
/usr/share/doc/why3-examples/examples/bench.sh
/usr/share/doc/why3-examples/examples/bignum
/usr/share/doc/why3-examples/examples/bignum.mlw
/usr/share/doc/why3-examples/examples/bignum/why3session.xml
/usr/share/doc/why3-examples/examples/bignum/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_multiplication
/usr/share/doc/why3-examples/examples/binary_multiplication.mlw
/usr/share/doc/why3-examples/examples/binary_multiplication/why3session.xml
/usr/share/doc/why3-examples/examples/binary_multiplication/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_search
/usr/share/doc/why3-examples/examples/binary_search.mlw
/usr/share/doc/why3-examples/examples/binary_search_vc_sp
/usr/share/doc/why3-examples/examples/binary_search_vc_sp.mlw
/usr/share/doc/why3-examples/examples/binary_search_vc_sp/why3session.xml
/usr/share/doc/why3-examples/examples/binary_search_vc_sp/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_search/why3session.xml
/usr/share/doc/why3-examples/examples/binary_search/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_sort
/usr/share/doc/why3-examples/examples/binary_sort.mlw
/usr/share/doc/why3-examples/examples/binary_sort/why3session.xml
/usr/share/doc/why3-examples/examples/binary_sort/why3shapes.gz
/usr/share/doc/why3-examples/examples/binary_sqrt
/usr/share/doc/why3-examples/examples/binary_sqrt.mlw
/usr/share/doc/why3-examples/examples/binary_sqrt/why3session.xml
/usr/share/doc/why3-examples/examples/binary_sqrt/why3shapes.gz
/usr/share/doc/why3-examples/examples/binomial
/usr/share/doc/why3-examples/examples/binomial_heap
/usr/share/doc/why3-examples/examples/binomial_heap.mlw
/usr/share/doc/why3-examples/examples/binomial_heap/why3session.xml
/usr/share/doc/why3-examples/examples/binomial_heap/why3shapes.gz
/usr/share/doc/why3-examples/examples/binomial.mlw
/usr/share/doc/why3-examples/examples/binomial/why3session.xml
/usr/share/doc/why3-examples/examples/binomial/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitcount
/usr/share/doc/why3-examples/examples/bitcount.mlw
/usr/share/doc/why3-examples/examples/bitcount/why3session.xml
/usr/share/doc/why3-examples/examples/bitcount/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvector_examples
/usr/share/doc/why3-examples/examples/bitvector_examples.mlw
/usr/share/doc/why3-examples/examples/bitvector_examples/why3session.xml
/usr/share/doc/why3-examples/examples/bitvector_examples/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors
/usr/share/doc/why3-examples/examples/bitvectors/bitvector
/usr/share/doc/why3-examples/examples/bitvectors/bitvector.why
/usr/share/doc/why3-examples/examples/bitvectors/bitvector/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/bitvector/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/double
/usr/share/doc/why3-examples/examples/bitvectors/double/double_TestDouble_exp_one_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/double_of_int_DoubleOfInt_exp_const_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/double_of_int_DoubleOfInt_from_int2c_to_nat_sub_neg_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/double_of_int_DoubleOfInt_from_int2c_to_nat_sub_pos_1.v
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int.why
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/double_of_int/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/double.why
/usr/share/doc/why3-examples/examples/bitvectors/double/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/double/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor.why
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/neg_as_xor/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitvectors/power2
/usr/share/doc/why3-examples/examples/bitvectors/power2.why
/usr/share/doc/why3-examples/examples/bitvectors/power2/why3session.xml
/usr/share/doc/why3-examples/examples/bitvectors/power2/why3shapes.gz
/usr/share/doc/why3-examples/examples/bitwalker
/usr/share/doc/why3-examples/examples/bitwalker.mlw
/usr/share/doc/why3-examples/examples/bitwalker/why3session.xml
/usr/share/doc/why3-examples/examples/bitwalker/why3shapes.gz
/usr/share/doc/why3-examples/examples/braun_trees
/usr/share/doc/why3-examples/examples/braun_trees.mlw
/usr/share/doc/why3-examples/examples/braun_trees/why3session.xml
/usr/share/doc/why3-examples/examples/braun_trees/why3shapes.gz
/usr/share/doc/why3-examples/examples/bresenham
/usr/share/doc/why3-examples/examples/bresenham/bresenham_M_closest_1.v
/usr/share/doc/why3-examples/examples/bresenham.mlw
/usr/share/doc/why3-examples/examples/bresenham/why3session.xml
/usr/share/doc/why3-examples/examples/bresenham/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts
/usr/share/doc/why3-examples/examples/bts/101_eprover_eliminate_range_literal.mlw
/usr/share/doc/why3-examples/examples/bts/114_infix
/usr/share/doc/why3-examples/examples/bts/114_infix.mlw
/usr/share/doc/why3-examples/examples/bts/114_infix/why3session.xml
/usr/share/doc/why3-examples/examples/bts/114_infix/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/116_array_access
/usr/share/doc/why3-examples/examples/bts/116_array_access.mlw
/usr/share/doc/why3-examples/examples/bts/116_array_access/why3session.xml
/usr/share/doc/why3-examples/examples/bts/116_array_access/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/12445.mlw
/usr/share/doc/why3-examples/examples/bts/12475
/usr/share/doc/why3-examples/examples/bts/12475.why
/usr/share/doc/why3-examples/examples/bts/12475/why3session.xml
/usr/share/doc/why3-examples/examples/bts/12475/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/126_apply
/usr/share/doc/why3-examples/examples/bts/126_apply.mlw
/usr/share/doc/why3-examples/examples/bts/126_apply/why3session.xml
/usr/share/doc/why3-examples/examples/bts/126_apply/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/12934
/usr/share/doc/why3-examples/examples/bts/12934/12934_BTS12934_t_1.v
/usr/share/doc/why3-examples/examples/bts/12934.why
/usr/share/doc/why3-examples/examples/bts/12934/why3session.xml
/usr/share/doc/why3-examples/examples/bts/12934/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13002.why
/usr/share/doc/why3-examples/examples/bts/130_extraction.mlw
/usr/share/doc/why3-examples/examples/bts/13375
/usr/share/doc/why3-examples/examples/bts/13375.mlw
/usr/share/doc/why3-examples/examples/bts/13375/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13375/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13515.mlw
/usr/share/doc/why3-examples/examples/bts/138
/usr/share/doc/why3-examples/examples/bts/13849
/usr/share/doc/why3-examples/examples/bts/13849/13849_T_x_2.v
/usr/share/doc/why3-examples/examples/bts/13849.why
/usr/share/doc/why3-examples/examples/bts/13849/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13849/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13853
/usr/share/doc/why3-examples/examples/bts/13853a.mlw
/usr/share/doc/why3-examples/examples/bts/13853b.mlw
/usr/share/doc/why3-examples/examples/bts/13853.mlw
/usr/share/doc/why3-examples/examples/bts/13853/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13853/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/13854
/usr/share/doc/why3-examples/examples/bts/13854/13854_T_g_1.v
/usr/share/doc/why3-examples/examples/bts/13854/13854_T_x_1.v
/usr/share/doc/why3-examples/examples/bts/13854.why
/usr/share/doc/why3-examples/examples/bts/13854/why3session.xml
/usr/share/doc/why3-examples/examples/bts/13854/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/138.mlw
/usr/share/doc/why3-examples/examples/bts/138/why3session.xml
/usr/share/doc/why3-examples/examples/bts/138/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/14097.mlw
/usr/share/doc/why3-examples/examples/bts/16972
/usr/share/doc/why3-examples/examples/bts/16972.mlw
/usr/share/doc/why3-examples/examples/bts/16972/why3session.xml
/usr/share/doc/why3-examples/examples/bts/16972/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/16_subst
/usr/share/doc/why3-examples/examples/bts/16_subst.mlw
/usr/share/doc/why3-examples/examples/bts/16_subst/why3session.xml
/usr/share/doc/why3-examples/examples/bts/16_subst/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/17137.mlw
/usr/share/doc/why3-examples/examples/bts/17184.mlw
/usr/share/doc/why3-examples/examples/bts/185_apply
/usr/share/doc/why3-examples/examples/bts/185_apply_let
/usr/share/doc/why3-examples/examples/bts/185_apply_let.mlw
/usr/share/doc/why3-examples/examples/bts/185_apply_let/why3session.xml
/usr/share/doc/why3-examples/examples/bts/185_apply_let/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/185_apply.mlw
/usr/share/doc/why3-examples/examples/bts/185_apply/why3session.xml
/usr/share/doc/why3-examples/examples/bts/185_apply/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/18953.why
/usr/share/doc/why3-examples/examples/bts/19_apply_with
/usr/share/doc/why3-examples/examples/bts/19_apply_with.mlw
/usr/share/doc/why3-examples/examples/bts/19_apply_with/why3session.xml
/usr/share/doc/why3-examples/examples/bts/19_apply_with/why3shapes.gz
/usr/share/doc/why3-examples/examples/bts/20445
/usr/share/doc/why3-examples/examples/bts/20445.mlw
/usr/share/doc/why3-examples/examples/bts/20445/why3session.xml
/usr/share/doc/why3-examples/examples/bts/20445/why3shapes.gz

Field source: Fedora 43 Everything x86_64

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 43 у браузері Зібрати образ, що містить why3-examples

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.8.2-1.fc43	43 / everything	noarch	Fedora 43 · Everything · x86_64	4.5 MiB	17 MiB	Packages/w/why3-examples-1.8.2-1.fc43.noarch.rpm
1.8.2-1.fc43	43 / everything	noarch	Fedora 43 · Everything · aarch64	4.5 MiB	17 MiB	Packages/w/why3-examples-1.8.2-1.fc43.noarch.rpm

Field source: Fedora 43 Everything x86_64

Відомі вразливості

У відстежуваних джерелах немає відповідних повідомлень.

Остання синхронізація: Oct 29, 2026, 8:12:57 PM UTC

[Каталог CVE]

Контрольні суми

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

1.8.2-1.fc43 / noarchСпостережено Sep 1, 2026sha256 6438237fe575…94d563cfКонтрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 6438237fe57588bf1fb436b0bf1249e00ca3c697969f0aee6f26b51f94d563cf

Перевірити завантаження

printf '%s  %s\n' '6438237fe57588bf1fb436b0bf1249e00ca3c697969f0aee6f26b51f94d563cf' 'why3-examples-1.8.2-1.fc43.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything x86_64

1.8.2-1.fc43 / noarchСпостережено Sep 1, 2026sha256 6438237fe575…94d563cfКонтрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 6438237fe57588bf1fb436b0bf1249e00ca3c697969f0aee6f26b51f94d563cf

Перевірити завантаження

printf '%s  %s\n' '6438237fe57588bf1fb436b0bf1249e00ca3c697969f0aee6f26b51f94d563cf' 'why3-examples-1.8.2-1.fc43.noarch.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything aarch64

Джерела

Fedora 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified
Доказ підпису
43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified
Доказ підпису
43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable