Sat, 19 Oct 2019 23:19:00 UTC

Information for RPM frama-c-doc-19.0-2.fc31.noarch.rpm

ID18547035
Nameframa-c-doc
Version19.0
Release2.fc31
Epoch
Archnoarch
SummaryLarge documentation files for frama-c
DescriptionLarge documentation files for frama-c.
Build Time2019-08-02 18:27:20 GMT
Size10713826
696ea0b3367723b4f8cbccb47ed204aa
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf31-build-17123347-1229325
Provides
frama-c-doc = 19.0-2.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
frama-c = 19.0-2.fc31
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 5384 >>>
Name ascending sort Size
/usr/share/doc/frama-c-doc0
/usr/share/doc/frama-c-doc/acsl-implementation-19.0-Potassium.pdf1340440
/usr/share/doc/frama-c-doc/aorai-manual-19.0-Potassium.pdf523410
/usr/share/doc/frama-c-doc/e-acsl-manual-19.0-Potassium.pdf948911
/usr/share/doc/frama-c-doc/eva-manual-19.0-Potassium.pdf1864497
/usr/share/doc/frama-c-doc/frama-c-api0
/usr/share/doc/frama-c-doc/frama-c-api/aorai0
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai.html16761
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai.txt534
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_dataflow.html17119
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.AbstractInterpretation.html17508
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.AddingOperationNameAndStatusInSpecification.html17568
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.AutomataSimplification.html17478
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Axiomatization.html17492
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Buchi.html18872
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.ConsiderAcceptance.html17500
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Deterministic.html18055
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Dot.html17410
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.DotSeparatedLabels.html17467
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Ltl_File.html18757
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Output_C_File.html18924
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Output_Spec.html17402
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Test.html17873
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.To_Buchi.html18896
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.Ya.html18875
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_option.html21894
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_register.html21006
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_utils.html34667
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_visitors.change_formals-c.html17923
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_visitors.change_result-c.html17523
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_visitors.html26440
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_visitors.visit_adding_code_for_synchronisation-c.html18370
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Aorai_visitors.visit_adding_pre_post_from_buch-c.html19174
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Bool3.html18204
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Data_for_aorai.Aorai_state.html17654
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Data_for_aorai.Aorai_typed_trans.html17730
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Data_for_aorai.html20950
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.Hashtbl.Key.html17262
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.Hashtbl.Make.html18082
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.Map.Key.html17222
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.Map.Make.html18038
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.S_with_collections.Hashtbl.html18375
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.S_with_collections.Map.html18058
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Datatype.S_with_collections.Set.html16922
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Logic_simplification.html21100
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Ltl_output.html16842
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Ltlast.html27546
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Ltllexer.html18815
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Ltlparser.html25698
/usr/share/doc/frama-c-doc/frama-c-api/aorai/Path_analysis.html20038
Component of No Buildroots