Sat, 30 Nov 2024 04:17:48 UTC | login

Information for RPM why3-examples-1.7.2-7.fc41.noarch.rpm

ID1363295
Namewhy3-examples
Version1.7.2
Release7.fc41
Epoch
Archnoarch
SummaryExample inputs
DescriptionExample source code with why3 annotations.
Build Time2024-07-25 11:15:38 GMT
Size4.03 MB
11fbbb4d32bc61d47fcbe693ade28e0c
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf41-build-821301-152509
Provides
why3-examples = 1.7.2-7.fc41
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.2-7.fc41
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