Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Tue, 17 Dec 2024 06:49:35 UTC |
login
Information for RPM
why3-examples-1.7.1-2.fc40.noarch.rpm
ID
1264447
Name
why3-examples
Version
1.7.1
Release
2.fc40
Epoch
Arch
noarch
Summary
Example inputs
Description
Example source code with why3 annotations.
Build Time
2024-03-26 16:25:48 GMT
Size
4.04 MB
SIGMD5
b1d79a50fe43d96958e14786e936d667
License
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildroot
f40-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
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
Copyright © 2006-2016 Red Hat, Inc.