Tue, 28 Jan 2025 01:48:27 UTC | login

Information for RPM why3-examples-1.8.0-1.fc42.noarch.rpm

ID1489679
Namewhy3-examples
Version1.8.0
Release1.fc42
Epoch
Archnoarch
SummaryExample inputs
DescriptionExample source code with why3 annotations.
Build Time2025-01-12 21:09:35 GMT
Size4.27 MB
127f68cf62434da2e47bffe39e8fcf50
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf42-build-866045-173661
Provides
why3-examples = 1.8.0-1.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
why3 = 1.8.0-1.fc42
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 2214 >>>
Name ascending sort Size
/usr/share/doc/why3-examples0.00 B
/usr/share/doc/why3-examples/examples0.00 B
/usr/share/doc/why3-examples/examples/TODO457.00 B
/usr/share/doc/why3-examples/examples/WP_revisited0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics50.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5.mlw20.86 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_while_rule_1.v14.15 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_SemOp_steps_non_neg_1.v8.88 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_eval_type_term_1.v15.92 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_3.v20.85 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_3.v20.80 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_1.v21.49 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_3.v22.55 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_5.v22.29 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_soundness_1.v21.18 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3session.xml29.68 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz12.92 KB
/usr/share/doc/why3-examples/examples/WP_revisited/formula0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/formula.why1.01 KB
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3session.xml870.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3shapes.gz149.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n.why5.75 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_1.v5.88 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_if_rule_1.v6.62 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_many_steps_seq_1.v5.23 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_progress_1.v3.88 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_steps_non_neg_1.v3.91 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_while_rule_1.v7.32 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3session.xml3.08 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3shapes.gz1.01 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp20.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/wp2.mlw12.16 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3session.xml10.74 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3shapes.gz4.71 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_if_rule_1.v10.65 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_while_rule_1.v11.87 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_while_rule_ext_1.v12.14 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_Imp_eval_change_free_1.v6.79 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_Imp_many_steps_seq_1.v11.27 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_compute_writes_2.v14.11 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_wp_1.v16.29 KB
/usr/share/doc/why3-examples/examples/add_list0.00 B
/usr/share/doc/why3-examples/examples/add_list.mlw1.75 KB
/usr/share/doc/why3-examples/examples/add_list/why3session.xml1.04 KB
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gz597.00 B
/usr/share/doc/why3-examples/examples/add_list_vc_sp0.00 B
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw1.79 KB
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml1.04 KB
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz642.00 B
Component of No Buildroots