Fedora 41 updates for aarch64 : / usr /share /doc /apron-devel /apron

• APRON-Global-Datatypes.html
• APRON-Guidelines.html
• APRON-PPL-standard-options.html
• APRON-PPLite-standard-options.html
• APRON-Rationale-and-Functionalities.html
• Abstract-values-and-operations-of-level-0.html
• Abstract-values-and-operations-of-level-1.html
• Access-to-generators-of-level-1.html
• Access-to-linear-constraints-of-level-1.html
• Access-to-linear-expressions-of-level-0.html
• Access-to-linear-expressions-of-level-1.html
• Accessors-for-abstract-values-of-level-0.html
• Accessors-for-abstract-values-of-level-1.html
• Additional-functions-on-abstract-values-of-level-0.html
• Additional-functions-on-abstract-values-of-level-1.html
• Allocating-APRON-PPL-managers.html
• Allocating-APRON-PPLite-managers.html
• Allocating-Box-managers.html
• Allocating-NewPolka-managers-and-setting-specific-options.html
• Allocating-abstract-values-of-level-0.html
• Allocating-abstract-values-of-level-1.html
• Allocating-generators-of-level-0.html
• Allocating-generators-of-level-1.html
• Allocating-linear-constraints-of-level-0.html
• Allocating-linear-constraints-of-level-1.html
• Allocating-linear-expressions-of-level-0.html
• Allocating-linear-expressions-of-level-1.html
• Allocating-managers-and-setting-options.html
• Allocating-pkgrid-managers.html
• Array-of-intervals.html
• Arrays-of-generators-of-level-0.html
• Arrays-of-generators-of-level-1.html
• Arrays-of-linear-constraints-of-level-0.html
• Arrays-of-linear-constraints-of-level-1.html
• Arrays-of-tree-constraints-of-level-1.html
• Assignement-and-Substitutions.html
• Assignements-and-Substitutions-of-abstract-values-of-level-0.html
• Assignements-and-Substitutions-of-abstract-values-of-level-1.html
• Assigning-coefficients.html
• Assigning-intervals.html
• Assigning-scalars.html
• Box.html
• C-Headers-and-Libraries.html
• C-Naming-conventions.html
• C-Programming-Guidelines.html
• Change-and-permutation-of-dimensions-of-abstract-values-of-level-0.html
• Change-of-dimensions-and-permutations-of-generators-of-level-0.html
• Change-of-dimensions-and-permutations-of-generators-of-level-1.html
• Change-of-dimensions-and-permutations-of-linear-constraints-of-level-0.html
• Change-of-dimensions-and-permutations-of-linear-constraints-of-level-1.html
• Change-of-dimensions-and-permutations-of-linear-expressions-of-level-0.html
• Change-of-dimensions-and-permutations-of-linear-expressions-of-level-1.html
• Change-of-environments-of-abstract-values-of-level-1.html
• Coefficients.html
• Comparing-coefficients.html
• Comparing-intervals.html
• Comparing-scalars.html
• Compatibility-with-threads.html
• Constructors-for-abstract-values-of-level-0.html
• Constructors-for-abstract-values-of-level-1.html
• Constructors.html
• Constructors_002fDestructors-for-tree-constraints-of-level-1.html
• Constructors_002fDestructors-for-tree-expressions-of-level-1.html
• Control-of-internal-representation-of-abstract-values-of-level-0.html
• Control-of-internal-representation-of-abstract-values-of-level-1.html
• Control-of-internal-representation.html
• Converting-scalars.html
• Copying.html
• Datatypes-for-tree-constraints-of-level-1.html
• Datatypes-for-tree-expressions-of-level-1.html
• Dimensions-and-related-operations.html
• Dimensions.html
• Dynamic-typing-w_002er_002et_002e-environments.html
• Environments.html
• Examples.html
• Existential-quantification-of-abstract-values-of-level-0.html
• Existential-quantification-of-abstract-values-of-level-1.html
• Expansion-and-Folding-of-dimensions-in-abstract-values-of-level-0.html
• Expansion-and-Folding-of-dimensions-in-abstract-values-of-level-1.html
• Extraction-of-properties-of-abstract-values-of-level-0.html
• Extraction-of-properties-of-abstract-values-of-level-1.html
• Functionalities-of-the-interface-at-level-0.html
• Functionalities-of-the-interface-at-level-1.html
• Functions-for-implementors.html
• Functions-related-to-managers.html
• General-choices.html
• Generators-of-level-0.html
• Generators-of-level-1.html
• Initializing-coefficients.html
• Initializing-intervals.html
• Initializing-scalars.html
• Installing-APRON.html
• Interface-levels.html
• Interruptions.html
• Intervals.html
• Introduction-to-APRON.html
• Lattice-operations.html
• Level-0-of-the-interface.html
• Level-1-of-the-interface.html
• Linear-constraints-of-level-0.html
• Linear-constraints-of-level-1.html
• Linear-expressions-of-level-0.html
• Linear-expressions-of-level-1.html
• MakingLibrary.html
• Manager-options.html
• Managers-and-Abstract-Domains.html
• Managers.html
• Manipulating-changes-of-dimensions.html
• Manipulating-permutations-of-dimensions.html
• Meet-and-Join-of-abstract-values-of-level-0.html
• Meet-and-Join-of-abstract-values-of-level-1.html
• Memory-management.html
• NewPolka-standard-options.html
• NewPolka.html
• Number-representation.html
• OCaml-Programming-Guidelines.html
• Oct.html
• Operations-on-dimensions.html
• Operations-on-environments.html
• Operations-on-tree-constraints-of-level-1.html
• Operations-on-tree-expressions-of-level-1.html
• Operations-on-variables-in-abstract-values.html
• Other-datatypes.html
• Other-functions-on-linear-expressions-of-level-0.html
• Other-operations-on-coefficients.html
• Other-operations-on-intervals.html
• Other-operations-on-scalars.html
• Other-operations.html
• PPL.html
• PPLite.html
• Printing-abstract-values-of-level-0.html
• Printing-abstract-values-of-level-1.html
• Printing.html
• Programming-language.html
• Programming-style.html
• Property-extraction.html
• Representation-of-an-abstract-value.html
• Scalars-_0026-Intervals-_0026-Coefficients.html
• Scalars.html
• Semantics-and-Representation-of-an-abstract-value.html
• Semantics-of-an-abstract-value.html
• Sequel-of-the-small-example.html
• Serialization-of-abstract-values-of-level-0.html
• Serialization-of-abstract-values-of-level-1.html
• Serializaton_002fDeserialization.html
• Tests-on-abstract-values-of-level-0.html
• Tests-on-abstract-values-of-level-1.html
• Tests-on-linear-constraints-of-level-0.html
• Tests-on-linear-constraints-of-level-1.html
• Tests-on-linear-expressions-of-level-0.html
• Tests-on-linear-expressions-of-level-1.html
• Tests-on-tree-expressions-of-level-1.html
• Tests.html
• Topological-closure-of-abstract-values-of-level-0.html
• Topological-closure-of-abstract-values-of-level-1.html
• Tree-constraints-of-level-0.html
• Tree-constraints-of-level-1.html
• Tree-expressions-of-level-0.html
• Tree-expressions-of-level-1.html
• Typing-issue-in-C.html
• Use-of-APRON-PPL.html
• Use-of-APRON-PPLite.html
• Use-of-Box.html
• Use-of-NewPolka.html
• Use-of-pkgrid.html
• Variables-and-Environments.html
• Variables-and-related-operations.html
• Widening-of-abstract-values-of-level-0.html
• Widening-of-abstract-values-of-level-1.html
• ap_005ffunopt_005ft.html
• example1.c
• index.html
• mlexample1.ml
• mlexample2.ml
• mlexample3.ml
• oct_doc.html
• pkgrid.html

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Feb 19 11:15:04 2025