|
|
 |
|
|
why3-examples rpm build for : Fedora 33. For other distributions click why3-examples.
| Name : why3-examples
| | | Version : 1.3.3
| Vendor : Fedora Project
| | Release : 4.fc33
| Date : 2021-01-03 18:23:38
| | Group : Unspecified
| Source RPM : why3-1.3.3-4.fc33.src.rpm
| | Size : 16.59 MB
| | | Packager : Fedora Project
| | | Summary : Example inputs
| Description :
Example source code with why3 annotations.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/33/Everything/ppc64le/Packages/w |
Content of RPM
Changelog
Provides
Requires
Provides :
why3-examples
Requires :
Content of RPM :
/usr/share/doc/why3-examples
/usr/share/doc/why3-examples/examples
/usr/share/doc/why3-examples/examples/TODO
/usr/share/doc/why3-examples/examples/WP_revisited
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5.mlw
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_while_rule_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_SemOp_steps_non_neg_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_eval_type_term_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_3.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_3.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_3.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_5.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_soundness_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3session.xml
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz
/usr/share/doc/why3-examples/examples/WP_revisited/formula
/usr/share/doc/why3-examples/examples/WP_revisited/formula.why
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3session.xml
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3shapes.gz
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n.why
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_if_rule_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_many_steps_seq_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_progress_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_steps_non_neg_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_while_rule_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3session.xml
There is 1728 files more in these RPM.
|
|
|
