Tue, 17 Dec 2024 06:49:35 UTC | login

Information for RPM why3-examples-1.7.1-2.fc40.noarch.rpm

ID1264447
Namewhy3-examples
Version1.7.1
Release2.fc40
Epoch
Archnoarch
SummaryExample inputs
DescriptionExample source code with why3 annotations.
Build Time2024-03-26 16:25:48 GMT
Size4.04 MB
b1d79a50fe43d96958e14786e936d667
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildrootf40-build-797900-141532
Provides
why3-examples = 1.7.1-2.fc40
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.7.1-2.fc40
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 2062 >>>
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.87 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.67 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz12.93 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.v4.81 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.72 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.v10.37 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_compute_writes_2.v14.10 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_wp_1.v16.28 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.gz644.00 B
Component of No Buildroots