Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Click here to visit the old openkoji buildsystem (Archived)
Information for RPM
why3-examples-1.7.2-9.fc41.noarch.rpm
ID
450721
Build
why3-1.7.2-9.fc41
Name
why3-examples
Version
1.7.2
Release
9.fc41
Epoch
Arch
noarch
Draft
False
Summary
Example inputs
Description
Example source code with why3 annotations.
Build Time
2025-01-06 06:59:45 GMT
Size
4.03 MB
SIGMD5
57c8c51af91f800c1ad0590be0225489
License
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
VCS
git:https://gitlab.inria.fr/why3/why3.git
Buildroot
f41-build-3152051-40566
Provides
why3-examples = 1.7.2-9.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-9.fc41
Recommends
No Recommends
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Page:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
1 through 50 of 2062
>>>
Name
Size
/usr/share/doc/why3-examples
0.00 B
/usr/share/doc/why3-examples/examples
0.00 B
/usr/share/doc/why3-examples/examples/TODO
457.00 B
/usr/share/doc/why3-examples/examples/WP_revisited
0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5
0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5.mlw
20.87 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_while_rule_1.v
14.15 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_SemOp_steps_non_neg_1.v
8.88 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_eval_type_term_1.v
15.92 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_3.v
20.85 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_3.v
20.80 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_1.v
21.49 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_3.v
22.55 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_5.v
22.29 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_soundness_1.v
21.18 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3session.xml
29.67 KB
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz
12.93 KB
/usr/share/doc/why3-examples/examples/WP_revisited/formula
0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/formula.why
1.01 KB
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3session.xml
870.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3shapes.gz
149.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n
0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n.why
5.75 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_1.v
5.88 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_if_rule_1.v
6.62 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_many_steps_seq_1.v
4.81 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_progress_1.v
3.88 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_steps_non_neg_1.v
3.91 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_while_rule_1.v
7.32 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3session.xml
3.08 KB
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3shapes.gz
1.01 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2
0.00 B
/usr/share/doc/why3-examples/examples/WP_revisited/wp2.mlw
12.16 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3session.xml
10.74 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3shapes.gz
4.72 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_if_rule_1.v
10.65 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_while_rule_1.v
11.87 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_HoareLogic_while_rule_ext_1.v
12.14 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_Imp_eval_change_free_1.v
6.79 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_Imp_many_steps_seq_1.v
10.37 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_compute_writes_2.v
14.10 KB
/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_wp_1.v
16.28 KB
/usr/share/doc/why3-examples/examples/add_list
0.00 B
/usr/share/doc/why3-examples/examples/add_list.mlw
1.75 KB
/usr/share/doc/why3-examples/examples/add_list/why3session.xml
1.04 KB
/usr/share/doc/why3-examples/examples/add_list/why3shapes.gz
597.00 B
/usr/share/doc/why3-examples/examples/add_list_vc_sp
0.00 B
/usr/share/doc/why3-examples/examples/add_list_vc_sp.mlw
1.79 KB
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3session.xml
1.04 KB
/usr/share/doc/why3-examples/examples/add_list_vc_sp/why3shapes.gz
644.00 B
Component of
No Buildroots
