why3-examples rpm build for : Fedora 30. For other distributions click why3-examples.
| Name : why3-examples
| |
| Version : 1.1.1
| Vendor : Fedora Project
|
| Release : 2.fc30
| Date : 2019-02-03 12:48:39
|
| Group : Unspecified
| Source RPM : why3-1.1.1-2.fc30.src.rpm
|
| Size : 11.68 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/linux/releases/30/Everything/armhfp/os/Packages/w |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
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 1509 files more in these RPM.
