frama-c-24.0-2.fc36 in Fedora Rawhide
↵ Return to the main page of frama-c
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-12-27 | Jerry James <loganjerry at gmail dot com> - 24.0-2 | - Rebuild for ocaml-ppxlib 0.24.0 |
| 2021-12-07 | Jerry James <loganjerry at gmail dot com> - 24.0-1 | - Version 24.0 - Drop upstreamed fix for OCaml 4.13 |
| 2021-11-30 | Jerry James <loganjerry at gmail dot com> - 23.1-5 | - Rebuild for coq 8.14.1 and ocaml-sexplib0 0.15.0 |
| 2021-10-21 | Jerry James <loganjerry at gmail dot com> - 23.1-4 | - Rebuild for coq 8.14.0 and ocaml-zmq 5.1.4 - Add -coq8.14 patch - Drop XEmacs support |
| 2021-10-05 | Richard W.M. Jones <rjones at redhat dot com> - 23.1-3 | - OCaml 4.13.1 build |
| 2021-10-04 | Richard W.M. Jones <rjones at redhat dot com> - 23.1-2 | - Try to build on s390x with OCaml 4.13 |
| 2021-08-11 | Jerry James <loganjerry at gmail dot com> - 23.1-1 | - Version 23.1 |
| 2021-07-30 | Jerry James <loganjerry at gmail dot com> - 23.0-3 | - Rebuild for changed ocamlx(Dynlink) |
| 2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 23.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-07-14 | Jerry James <loganjerry at gmail dot com> - 23.0-1 | - Update to Vanadium 23.0 |
Dependencies
- alt-ergo
- cairo
- flamegraph
- fontconfig
- freetype
- gcc
- gdk-pixbuf2
- glib2
- glibc >= 2.34.9000-34.fc36
- gmp
- graphviz
- gtk3
- gtksourceview3
- hicolor-icon-theme
- ltl2ba
- ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
- ocaml-apron = 7dacd0123b8f32aff40c3c703acd7fe8
- ocaml-apron-devel = 7dacd0123b8f32aff40c3c703acd7fe8
- ocaml-biniou = 0b2f128af16737054304c69c4599cab8
- ocaml-biniou-devel = 0b2f128af16737054304c69c4599cab8
- ocaml-cairo = 0d5695bc4791ad81411fa192c7d47921
- ocaml-cairo-devel = 0d5695bc4791ad81411fa192c7d47921
- ocaml-easy-format = 9da191fce7e2d732f837f45ed8536b8c
- ocaml-easy-format-devel = 9da191fce7e2d732f837f45ed8536b8c
- ocaml-findlib = 3c8ffbeda463844d3beb2381e756e5d4
- ocaml-findlib-devel = 3c8ffbeda463844d3beb2381e756e5d4
- ocaml-lablgtk = 7e0f074ca28d1e263a8e48e968d29dc9
- ocaml-lablgtk-devel = 7e0f074ca28d1e263a8e48e968d29dc9
- ocaml-lablgtk3 = 7e0f074ca28d1e263a8e48e968d29dc9
- ocaml-lablgtk3-devel = 7e0f074ca28d1e263a8e48e968d29dc9
- ocaml-lablgtk3-sourceview3 = edd5d89ff792961bbf30fbdfa049d6b3
- ocaml-lablgtk3-sourceview3-devel = edd5d89ff792961bbf30fbdfa049d6b3
- ocaml-menhirlib = 1baecff96d965299f42180900607c97b
- ocaml-menhirlib-devel = 1baecff96d965299f42180900607c97b
- ocaml-mlgmpidl = fc070cfccb6e9b184e3963586ef15750
- ocaml-mlgmpidl-devel = fc070cfccb6e9b184e3963586ef15750
- ocaml-mlmpfr = 3667de5ecc7d14da2ef34b1b0628a1ca
- ocaml-mlmpfr-devel = 3667de5ecc7d14da2ef34b1b0628a1ca
- ocaml-num = 2810cdef87811739c860656c04d2809e
- ocaml-num-devel = 2810cdef87811739c860656c04d2809e
- ocaml-ocamlgraph = 47701c19ffda713d7e6adbdcc3c64c56
- ocaml-ocamlgraph-devel = 47701c19ffda713d7e6adbdcc3c64c56
- ocaml-parsexp = 6431b960b38129925fd06702f84672bb
- ocaml-parsexp-devel = 6431b960b38129925fd06702f84672bb
- ocaml-ppx-deriving = 2352dbe150661f45806f236c25887be6
- ocaml-ppx-deriving-devel = 2352dbe150661f45806f236c25887be6
- ocaml-ppx-deriving-yojson = 5ad551e6cb5a1f1d21dbaecef2216836
- ocaml-ppx-deriving-yojson-devel = 5ad551e6cb5a1f1d21dbaecef2216836
- ocaml-re = 5044deb7dcb851a0fea615c5933795a7
- ocaml-re-devel = 5044deb7dcb851a0fea615c5933795a7
- ocaml-result = dd187676a26ae4c3f01713a6822e2a87
- ocaml-result-devel = dd187676a26ae4c3f01713a6822e2a87
- ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7
- ocaml-seq = f5af16a45a811fff04c088fda58a1ba2
- ocaml-seq-devel = f5af16a45a811fff04c088fda58a1ba2
- ocaml-sexplib = eda61b5314dc428580dc7a87b6505882
- ocaml-sexplib-devel = eda61b5314dc428580dc7a87b6505882
- ocaml-sexplib0 = 8452a50dbbe37666dc6597ba4325e320
- ocaml-sexplib0-devel = 8452a50dbbe37666dc6597ba4325e320
- ocaml-why3 = c592037039583b47cba40fe5b7c460f9
- ocaml-why3-devel = c592037039583b47cba40fe5b7c460f9
- ocaml-yojson = 8cb5aaef47cb21eae1ef2b3c2104b9a6
- ocaml-yojson-devel = 8cb5aaef47cb21eae1ef2b3c2104b9a6
- ocaml-zarith = 28893fe4e203824f596139a85cea8961
- ocaml-zarith-devel = 28893fe4e203824f596139a85cea8961
- ocaml-zmq = 6ac660e1d0c805da3ebb5339090d715c
- ocaml-zmq-devel = 6ac660e1d0c805da3ebb5339090d715c
- pango
- why3 = 7e0f074ca28d1e263a8e48e968d29dc9
Provides
- application()
- application(com.frama-c.frama-c-gui.desktop)
- frama-c
- frama-c(x86-64)
- metainfo()
- metainfo(com.frama-c.frama-c-gui.metainfo.xml)
- ocaml(Abstract_interp)
- ocaml(Abstract_memory)
- ocaml(Abstract_offset)
- ocaml(Acsl_extension)
- ocaml(Alarms)
- ocaml(Allocates)
- ocaml(Alpha)
- ocaml(Analyses_manager)
- ocaml(Annotations)
- ocaml(Aorai)
- ocaml(Asm_contracts)
- ocaml(Ast)
- ocaml(Ast_info)
- ocaml(Bag)
- ocaml(Base)
- ocaml(Binary_cache)
- ocaml(Bit_utils)
- ocaml(Bitvector)
- ocaml(Book_manager)
- ocaml(Boot)
- ocaml(Bottom)
- ocaml(Cabs)
- ocaml(Cabs2cil)
- ocaml(Cabs_debug)
- ocaml(Cabshelper)
- ocaml(Cabsvisit)
- ocaml(Callgraph)
- ocaml(Cfg)
- ocaml(Cil)
- ocaml(CilE)
- ocaml(Cil_builder)
- ocaml(Cil_builtins)
- ocaml(Cil_const)
- ocaml(Cil_datatype)
- ocaml(Cil_descriptive_printer)
- ocaml(Cil_printer)
- ocaml(Cil_state_builder)
- ocaml(Cil_types)
- ocaml(Cil_types_debug)
- ocaml(Cilconfig)
- ocaml(Clexer)
- ocaml(Clone)
- ocaml(Cmdline)
- ocaml(Command)
- ocaml(Constant_Propagation)
- ocaml(Contract_special_float)
- ocaml(Cparser)
- ocaml(Cprint)
- ocaml(Cvalue)
- ocaml(Dataflow2)
- ocaml(Dataflows)
- ocaml(Datatype)
- ocaml(Db)
- ocaml(Descr)
- ocaml(Description)
- ocaml(Design)
- ocaml(Destructors)
- ocaml(Dgraph_helper)
- ocaml(Dive)
- ocaml(Dominators)
- ocaml(Dotgraph)
- ocaml(Dump_config)
- ocaml(Dynamic)
- ocaml(E_ACSL)
- ocaml(Emitter)
- ocaml(Errorloc)
- ocaml(Escape)
- ocaml(Eva)
- ocaml(Eva_info)
- ocaml(Eva_lattice_type)
- ocaml(Exn_flow)
- ocaml(Extlib)
- ocaml(FCHashtbl)
- ocaml(Fc_config)
- ocaml(Fc_float)
- ocaml(File)
- ocaml(File_manager)
- ocaml(Filecheck)
- ocaml(Filepath)
- ocaml(Filetree)
- ocaml(Filter)
- ocaml(Float_interval)
- ocaml(Float_interval_sig)
- ocaml(Float_sig)
- ocaml(Floating_point)
- ocaml(Frama_c_init)
- ocaml(From)
- ocaml(Frontc)
- ocaml(Function_Froms)
- ocaml(Fval)
- ocaml(GSourceView)
- ocaml(Ghost_accesses)
- ocaml(Ghost_cfg)
- ocaml(Globals)
- ocaml(Gtk_compat)
- ocaml(Gtk_form)
- ocaml(Gtk_helper)
- ocaml(Gui_parameters)
- ocaml(Gui_printers)
- ocaml(Help_manager)
- ocaml(History)
- ocaml(Hook)
- ocaml(Hptmap)
- ocaml(Hptmap_sig)
- ocaml(Hptset)
- ocaml(Impact)
- ocaml(Indexer)
- ocaml(Infer_annotations)
- ocaml(Inline)
- ocaml(Inout)
- ocaml(Inout_type)
- ocaml(Instantiate)
- ocaml(Int_Base)
- ocaml(Int_Intervals)
- ocaml(Int_Intervals_sig)
- ocaml(Int_interval)
- ocaml(Int_set)
- ocaml(Int_val)
- ocaml(Integer)
- ocaml(Interpreted_automata)
- ocaml(Ival)
- ocaml(Journal)
- ocaml(Json)
- ocaml(Json_compilation_database)
- ocaml(Kernel)
- ocaml(Kernel_function)
- ocaml(Lattice_messages)
- ocaml(Lattice_type)
- ocaml(Launcher)
- ocaml(Lexerhack)
- ocaml(Lmap)
- ocaml(Lmap_bitwise)
- ocaml(Lmap_sig)
- ocaml(Locations)
- ocaml(Log)
- ocaml(Logic_builtin)
- ocaml(Logic_const)
- ocaml(Logic_env)
- ocaml(Logic_interp)
- ocaml(Logic_lexer)
- ocaml(Logic_parser)
- ocaml(Logic_preprocess)
- ocaml(Logic_print)
- ocaml(Logic_ptree)
- ocaml(Logic_typing)
- ocaml(Logic_utils)
- ocaml(Loop)
- ocaml(LoopAnalysis)
- ocaml(Machdeps)
- ocaml(Map_lattice)
- ocaml(Markdown)
- ocaml(Markdown_report)
- ocaml(Menu_manager)
- ocaml(Mergecil)
- ocaml(Messages)
- ocaml(Metrics)
- ocaml(Multidim)
- ocaml(Nonterm)
- ocaml(Obfuscator)
- ocaml(Occurrence)
- ocaml(Offsetmap)
- ocaml(Offsetmap_bitwise_sig)
- ocaml(Offsetmap_lattice_with_isotropy)
- ocaml(Offsetmap_sig)
- ocaml(Oneret)
- ocaml(Ordered_stmt)
- ocaml(Origin)
- ocaml(Parameter_builder)
- ocaml(Parameter_category)
- ocaml(Parameter_customize)
- ocaml(Parameter_sig)
- ocaml(Parameter_state)
- ocaml(Pdg)
- ocaml(PdgIndex)
- ocaml(PdgMarks)
- ocaml(PdgTypes)
- ocaml(Plugin)
- ocaml(Postdominators)
- ocaml(Precise_locs)
- ocaml(Pretty_source)
- ocaml(Pretty_utils)
- ocaml(Print_api)
- ocaml(Printer)
- ocaml(Printer_api)
- ocaml(Printer_builder)
- ocaml(Printer_tag)
- ocaml(Project)
- ocaml(Project_manager)
- ocaml(Project_skeleton)
- ocaml(Property)
- ocaml(Property_navigator)
- ocaml(Property_status)
- ocaml(Ptests_config)
- ocaml(Qed)
- ocaml(Qstack)
- ocaml(Rangemap)
- ocaml(Reduc)
- ocaml(Report)
- ocaml(Rgmap)
- ocaml(Rich_text)
- ocaml(Rmtmps)
- ocaml(RteGen)
- ocaml(Sanitizer)
- ocaml(Scope)
- ocaml(Security_slicing)
- ocaml(Server)
- ocaml(Service_graph)
- ocaml(Slicing)
- ocaml(Source_manager)
- ocaml(Source_viewer)
- ocaml(Sparecode)
- ocaml(Special_hooks)
- ocaml(State)
- ocaml(State_builder)
- ocaml(State_dependency_graph)
- ocaml(State_selection)
- ocaml(State_topological)
- ocaml(Statuses_by_call)
- ocaml(Stmts_graph)
- ocaml(Structural_descr)
- ocaml(Studia)
- ocaml(Substitute_const_globals)
- ocaml(Task)
- ocaml(Tr_offset)
- ocaml(Transitioning)
- ocaml(Translate_lightweight)
- ocaml(Type)
- ocaml(Typed_parameter)
- ocaml(Undefined_sequence)
- ocaml(Unicode)
- ocaml(Unmarshal)
- ocaml(Unmarshal_z)
- ocaml(Unroll_loops)
- ocaml(Users)
- ocaml(Utf8_logic)
- ocaml(Value_types)
- ocaml(Variadic)
- ocaml(Vector)
- ocaml(Visitor)
- ocaml(Visitor_behavior)
- ocaml(Warning_manager)
- ocaml(Wbox)
- ocaml(Wfile)
- ocaml(Widen_type)
- ocaml(Widget)
- ocaml(Wp)
- ocaml(Wpalette)
- ocaml(Wpane)
- ocaml(Wtable)
- ocaml(Wtext)
- ocaml(Wto)
- ocaml(Wto_statement)
- ocaml(Wutil)
- ocaml(Wutil_once)
- ocamlx(Abstract_interp)
- ocamlx(Abstract_memory)
- ocamlx(Abstract_offset)
- ocamlx(Acsl_extension)
- ocamlx(Alarms)
- ocamlx(Allocates)
- ocamlx(Alpha)
- ocamlx(Annotations)
- ocamlx(Aorai)
- ocamlx(Asm_contracts)
- ocamlx(Ast)
- ocamlx(Ast_info)
- ocamlx(Bag)
- ocamlx(Base)
- ocamlx(Binary_cache)
- ocamlx(Bit_utils)
- ocamlx(Bitvector)
- ocamlx(Bottom)
- ocamlx(Cabs2cil)
- ocamlx(Cabs_debug)
- ocamlx(Cabshelper)
- ocamlx(Cabsvisit)
- ocamlx(Callgraph)
- ocamlx(Cfg)
- ocamlx(Cil)
- ocamlx(CilE)
- ocamlx(Cil_builder)
- ocamlx(Cil_builtins)
- ocamlx(Cil_const)
- ocamlx(Cil_datatype)
- ocamlx(Cil_descriptive_printer)
- ocamlx(Cil_printer)
- ocamlx(Cil_state_builder)
- ocamlx(Cil_types_debug)
- ocamlx(Cilconfig)
- ocamlx(Clexer)
- ocamlx(Clone)
- ocamlx(Cmdline)
- ocamlx(Command)
- ocamlx(Constant_Propagation)
- ocamlx(Contract_special_float)
- ocamlx(Cparser)
- ocamlx(Cprint)
- ocamlx(Cvalue)
- ocamlx(Dataflow2)
- ocamlx(Dataflows)
- ocamlx(Datatype)
- ocamlx(Db)
- ocamlx(Descr)
- ocamlx(Description)
- ocamlx(Destructors)
- ocamlx(Dive)
- ocamlx(Dominators)
- ocamlx(Dotgraph)
- ocamlx(Dump_config)
- ocamlx(Dynamic)
- ocamlx(E_ACSL)
- ocamlx(Emitter)
- ocamlx(Errorloc)
- ocamlx(Escape)
- ocamlx(Eva)
- ocamlx(Eva_info)
- ocamlx(Exn_flow)
- ocamlx(Extlib)
- ocamlx(FCHashtbl)
- ocamlx(Fc_config)
- ocamlx(Fc_float)
- ocamlx(File)
- ocamlx(Filecheck)
- ocamlx(Filepath)
- ocamlx(Filter)
- ocamlx(Float_interval)
- ocamlx(Floating_point)
- ocamlx(Frama_c_init)
- ocamlx(From)
- ocamlx(Frontc)
- ocamlx(Function_Froms)
- ocamlx(Fval)
- ocamlx(Ghost_accesses)
- ocamlx(Ghost_cfg)
- ocamlx(Globals)
- ocamlx(Hook)
- ocamlx(Hptmap)
- ocamlx(Hptset)
- ocamlx(Impact)
- ocamlx(Indexer)
- ocamlx(Infer_annotations)
- ocamlx(Inline)
- ocamlx(Inout)
- ocamlx(Inout_type)
- ocamlx(Instantiate)
- ocamlx(Int_Base)
- ocamlx(Int_Intervals)
- ocamlx(Int_interval)
- ocamlx(Int_set)
- ocamlx(Int_val)
- ocamlx(Integer)
- ocamlx(Interpreted_automata)
- ocamlx(Ival)
- ocamlx(Journal)
- ocamlx(Json)
- ocamlx(Json_compilation_database)
- ocamlx(Kernel)
- ocamlx(Kernel_function)
- ocamlx(Lattice_messages)
- ocamlx(Lexerhack)
- ocamlx(Lmap)
- ocamlx(Lmap_bitwise)
- ocamlx(Locations)
- ocamlx(Log)
- ocamlx(Logic_builtin)
- ocamlx(Logic_const)
- ocamlx(Logic_env)
- ocamlx(Logic_interp)
- ocamlx(Logic_lexer)
- ocamlx(Logic_parser)
- ocamlx(Logic_preprocess)
- ocamlx(Logic_print)
- ocamlx(Logic_typing)
- ocamlx(Logic_utils)
- ocamlx(Loop)
- ocamlx(LoopAnalysis)
- ocamlx(Machdeps)
- ocamlx(Map_lattice)
- ocamlx(Markdown)
- ocamlx(Markdown_report)
- ocamlx(Mergecil)
- ocamlx(Messages)
- ocamlx(Metrics)
- ocamlx(Multidim)
- ocamlx(Nonterm)
- ocamlx(Obfuscator)
- ocamlx(Occurrence)
- ocamlx(Offsetmap)
- ocamlx(Oneret)
- ocamlx(Ordered_stmt)
- ocamlx(Origin)
- ocamlx(Parameter_builder)
- ocamlx(Parameter_category)
- ocamlx(Parameter_customize)
- ocamlx(Parameter_state)
- ocamlx(Pdg)
- ocamlx(PdgIndex)
- ocamlx(PdgMarks)
- ocamlx(PdgTypes)
- ocamlx(Plugin)
- ocamlx(Postdominators)
- ocamlx(Precise_locs)
- ocamlx(Pretty_utils)
- ocamlx(Print_api)
- ocamlx(Printer)
- ocamlx(Printer_builder)
- ocamlx(Printer_tag)
- ocamlx(Project)
- ocamlx(Project_skeleton)
- ocamlx(Property)
- ocamlx(Property_status)
- ocamlx(Qed)
- ocamlx(Qstack)
- ocamlx(Rangemap)
- ocamlx(Reduc)
- ocamlx(Report)
- ocamlx(Rgmap)
- ocamlx(Rich_text)
- ocamlx(Rmtmps)
- ocamlx(RteGen)
- ocamlx(Sanitizer)
- ocamlx(Scope)
- ocamlx(Security_slicing)
- ocamlx(Server)
- ocamlx(Service_graph)
- ocamlx(Slicing)
- ocamlx(Sparecode)
- ocamlx(Special_hooks)
- ocamlx(State)
- ocamlx(State_builder)
- ocamlx(State_dependency_graph)
- ocamlx(State_selection)
- ocamlx(State_topological)
- ocamlx(Statuses_by_call)
- ocamlx(Stmts_graph)
- ocamlx(Structural_descr)
- ocamlx(Studia)
- ocamlx(Substitute_const_globals)
- ocamlx(Task)
- ocamlx(Tr_offset)
- ocamlx(Transitioning)
- ocamlx(Translate_lightweight)
- ocamlx(Type)
- ocamlx(Typed_parameter)
- ocamlx(Undefined_sequence)
- ocamlx(Unicode)
- ocamlx(Unmarshal)
- ocamlx(Unmarshal_z)
- ocamlx(Unroll_loops)
- ocamlx(Users)
- ocamlx(Utf8_logic)
- ocamlx(Value_types)
- ocamlx(Variadic)
- ocamlx(Vector)
- ocamlx(Visitor)
- ocamlx(Visitor_behavior)
- ocamlx(Widen_type)
- ocamlx(Wp)
- ocamlx(Wto)
- ocamlx(Wto_statement)
Files
- usr/
- bin/
- e-acsl-gcc.sh
- frama-c
- frama-c-config
- frama-c-gui
- frama-c-script
- ptests
- lib/
- .build-id/
- 0b/
- e4286c4e2f6b515a8294f7cd0f34c8dfd90aa4
- 0f/
- e8eb3246c2219641b4791c55d04041b4edb2b5
- 11/
- 2a19777f3e1c73bd45f6baeaa17b0112f547ab
- 612a4e4658924df7bac8cebb2183e5968ff9e6
- 13/
- 73ce4518cbe5f34d65496f56c990b13925bad3
- 19/
- 5ce0810cdd8ab93badc64950f6f31e0d4e540e
- 1d/
- eb635495eaaa022a2911ac6d38979f19fdea87
- 24/
- db7992892679ab22c119ebcd5a6338aff52d78
- 2c/
- c4cbf58bac07186cbdb551e580318b5e3a4f51
- 31/
- 905407dc9ea480f5c1d9d1963e27e137da738d
- 32/
- 6845288718e80ec66c5b3071132567d70b1c6e
- edbf2070be873e61297a069371b241b1d41839
- 33/
- 1c25c2b2b619c6ac17601f5c06fea0baf7b26b
- 34/
- 083e3a9f8ec8be319d153c6c4f4a64197a3156
- 3a/
- 77b1b3962b27f89333f0e8ecfe30c6f642e9d0
- 44/
- 5dcda767ac56723a3317eab78fb67add848916
- 46/
- 1c7f665f2ecb1e94c54a4b7b8f1ad4b053fd81
- ece0666459c0462ad641831111cdd61c1a3996
- 4e/
- abad585501c7a676250a9f20864a092803065c
- 51/
- 3c053c4ea253e2d8bd1c51238be211e093166d
- 52/
- e2521a3f1a499b22d8f7cc5645df2498a22118
- 54/
- 36790aefcae30d5b8731eaad9bd620186a581c
- 56/
- 40fc454d8cea6d334fee8756e36f9b077174cc
- 57/
- 22d7e97058b61cf12de52dfeb16cb66c0f3dca
- 5d/
- eda8fe6e0e3a835eb81644bad0aa583e8e9ff9
- 5f/
- ee82f0fdde89ec2b27b593f01a26dd66c8730b
- 61/
- 2c65719a6ba847e2258959f045ee065a891ebb
- 63/
- cf844537bbd126952b15cba6fd19f09c7a52a2
- 67/
- 270c5c5929e1b979c14063c13602a53493216d
- 70/
- 66ebeef612bca7ed5b34d097dba18b15d055a1
- 7f/
- ebdc64ed8f6027152906700ae08ce6d214ba04
- 8a/
- 066a12ad30c829599a4efc29fdec7640c3fce1
- 91/
- 4149eeefb81c86cf8d460098ceb640c12b284c
- a0/
- 4df6386d4ef37a0a58228fa1d9abc92ed2ae3b
- a3/
- aa2830a90335e33f6733ca963282ad1f8b1604
- ac/
- 8c37fdb04a7750bd6b19def6ec5599417b8477
- b0/
- 39f10cad13cbd28b32c115c380bce3d4767950
- b1/
- ac744f7e2561fd60728c2dd0ac84d32e2f60e4
- c6/
- 670998f6caf3e4865cf5133f5d595469780eb9
- cb/
- 06e405d8087a6cdcf2f4962e2ff33fa4be2e9d
- d0/
- 372999a1a71ca084f50d46f95b966570dd8181
- d8/
- be7779dae6fb4e8faf5d42c1d527485d498ed9
- e7a7fdf513f512e50cff791685320b0b99e913
- de/
- 1add70a86dbbbadaa47f767529f00f12224190
- e5/
- 008575c45037baaf5c2facb228c2c81f290f4e
- f7/
- 62ec3e149abefec5fb9a890fc679b3e3499308
- fb/
- 01fb4e48c198279ca66fd33f6e1499354b1ac5
- 0b/
- .build-id/
- lib64/
- frama-c/
- FCHashtbl.cmi
- GSourceView.cmi
- META.frama-c
- abstract_interp.cmi
- abstract_memory.cmi
- abstract_offset.cmi
- acsl_extension.cmi
- alarms.cmi
- allocates.cmi
- alpha.cmi
- analyses_manager.cmi
- annotations.cmi
- asm_contracts.cmi
- ast.cmi
- ast_info.cmi
- bag.cmi
- base.cmi
- binary_cache.cmi
- bit_utils.cmi
- bitvector.cmi
- book_manager.cmi
- boot.cmi
- bottom.cmi
- cabs.cmi
- cabs2cil.cmi
- cabs_debug.cmi
- cabshelper.cmi
- cabsvisit.cmi
- cfg.cmi
- cil.cmi
- cilE.cmi
- cil_builder.cmi
- cil_builtins.cmi
- cil_const.cmi
- cil_datatype.cmi
- cil_descriptive_printer.cmi
- cil_printer.cmi
- cil_state_builder.cmi
- cil_types.cmi
- cil_types_debug.cmi
- cilconfig.cmi
- clexer.cmi
- clone.cmi
- cmdline.cmi
- command.cmi
- contract_special_float.cmi
- cparser.cmi
- cprint.cmi
- cvalue.cmi
- dataflow2.cmi
- dataflows.cmi
- datatype.cmi
- db.cmi
- descr.cmi
- description.cmi
- design.cmi
- destructors.cmi
- dgraph_helper.cmi
- dllframa-c.so
- dominators.cmi
- dotgraph.cmi
- dump_config.cmi
- dynamic.cmi
- e-acsl/
- libeacsl-dlmalloc.a
- emitter.cmi
- errorloc.cmi
- escape.cmi
- eva_lattice_type.cmi
- exn_flow.cmi
- extlib.cmi
- fc_config.cmi
- fc_float.cmi
- file.cmi
- file_manager.cmi
- filecheck.cmi
- filepath.cmi
- filetree.cmi
- filter.cmi
- float_interval.cmi
- float_interval_sig.cmi
- float_sig.cmi
- floating_point.cmi
- frama-c.a
- frama-c.cma
- frama-c.cmxa
- frama_c_init.cmi
- frontc.cmi
- function_Froms.cmi
- fval.cmi
- ghost_accesses.cmi
- ghost_cfg.cmi
- globals.cmi
- gtk_compat.cmi
- gtk_form.cmi
- gtk_helper.cmi
- gui_parameters.cmi
- gui_printers.cmi
- help_manager.cmi
- history.cmi
- hook.cmi
- hptmap.cmi
- hptmap_sig.cmi
- hptset.cmi
- indexer.cmi
- infer_annotations.cmi
- inline.cmi
- inout_type.cmi
- int_Base.cmi
- int_Intervals.cmi
- int_Intervals_sig.cmi
- int_interval.cmi
- int_set.cmi
- int_val.cmi
- integer.cmi
- interpreted_automata.cmi
- ival.cmi
- journal.cmi
- json.cmi
- json_compilation_database.cmi
- kernel.cmi
- kernel_function.cmi
- lattice_messages.cmi
- lattice_type.cmi
- launcher.cmi
- lexerhack.cmi
- libframa-c.a
- lmap.cmi
- lmap_bitwise.cmi
- lmap_sig.cmi
- locations.cmi
- log.cmi
- logic_builtin.cmi
- logic_const.cmi
- logic_env.cmi
- logic_interp.cmi
- logic_lexer.cmi
- logic_parser.cmi
- logic_preprocess.cmi
- logic_print.cmi
- logic_ptree.cmi
- logic_typing.cmi
- logic_utils.cmi
- loop.cmi
- machdeps.cmi
- map_lattice.cmi
- markdown.cmi
- menu_manager.cmi
- mergecil.cmi
- messages.cmi
- multidim.cmi
- offsetmap.cmi
- offsetmap_bitwise_sig.cmi
- offsetmap_lattice_with_isotropy.cmi
- offsetmap_sig.cmi
- oneret.cmi
- opam
- ordered_stmt.cmi
- origin.cmi
- parameter_builder.cmi
- parameter_category.cmi
- parameter_customize.cmi
- parameter_sig.cmi
- parameter_state.cmi
- pdgIndex.cmi
- pdgMarks.cmi
- pdgTypes.cmi
- plugin.cmi
- plugins/
- Aorai.cmi
- Callgraph.cmi
- Constant_Propagation.cmi
- Dive.cmi
- E_ACSL.cmi
- Eva.cmi
- From.cmi
- Impact.cmi
- Inout.cmi
- Instantiate.cmi
- LoopAnalysis.cmi
- META.frama-c-aorai
- META.frama-c-callgraph
- META.frama-c-constant_propagation
- META.frama-c-dive
- META.frama-c-e_acsl
- META.frama-c-eva
- META.frama-c-from
- META.frama-c-impact
- META.frama-c-inout
- META.frama-c-instantiate
- META.frama-c-loopanalysis
- META.frama-c-markdown_report
- META.frama-c-metrics
- META.frama-c-nonterm
- META.frama-c-obfuscator
- META.frama-c-occurrence
- META.frama-c-pdg
- META.frama-c-postdominators
- META.frama-c-print_api
- META.frama-c-qed
- META.frama-c-reduc
- META.frama-c-report
- META.frama-c-rtegen
- META.frama-c-scope
- META.frama-c-security_slicing
- META.frama-c-server
- META.frama-c-slicing
- META.frama-c-sparecode
- META.frama-c-studia
- META.frama-c-users
- META.frama-c-variadic
- META.frama-c-wp
- Markdown_report.cmi
- Metrics.cmi
- Nonterm.cmi
- Obfuscator.cmi
- Occurrence.cmi
- Pdg.cmi
- Postdominators.cmi
- Print_api.cmi
- Qed.cmi
- Reduc.cmi
- Report.cmi
- RteGen.cmi
- Scope.cmi
- Security_slicing.cmi
- Server.cmi
- Slicing.cmi
- Sparecode.cmi
- Studia.cmi
- Users.cmi
- Variadic.cmi
- Wp.cmi
- gui/
- Eva.cmi
- Eva.cmo
- Eva.cmxs
- From.cmi
- From.cmo
- From.cmxs
- Impact.cmi
- Impact.cmo
- Impact.cmxs
- Metrics.cmi
- Metrics.cmo
- Metrics.cmxs
- Occurrence.cmi
- Occurrence.cmo
- Occurrence.cmxs
- Scope.cmi
- Scope.cmo
- Scope.cmxs
- Security_slicing.cmi
- Security_slicing.cmo
- Security_slicing.cmxs
- Slicing.cmi
- Slicing.cmo
- Slicing.cmxs
- Studia.cmi
- Studia.cmo
- Studia.cmxs
- Wp.cmi
- Wp.cmo
- Wp.cmxs
- top/
- Aorai.cmo
- Aorai.cmx
- Aorai.cmxs
- Callgraph.cmo
- Callgraph.cmx
- Callgraph.cmxs
- Constant_Propagation.cmo
- Constant_Propagation.cmx
- Constant_Propagation.cmxs
- Dive.cmo
- Dive.cmx
- Dive.cmxs
- E_ACSL.cmo
- E_ACSL.cmx
- E_ACSL.cmxs
- Eva.cmo
- Eva.cmx
- Eva.cmxs
- From.cmo
- From.cmx
- From.cmxs
- Impact.cmo
- Impact.cmx
- Impact.cmxs
- Inout.cmo
- Inout.cmx
- Inout.cmxs
- Instantiate.cmo
- Instantiate.cmx
- Instantiate.cmxs
- LoopAnalysis.cmo
- LoopAnalysis.cmx
- LoopAnalysis.cmxs
- Markdown_report.cmo
- Markdown_report.cmx
- Markdown_report.cmxs
- Metrics.cmo
- Metrics.cmx
- Metrics.cmxs
- Nonterm.cmo
- Nonterm.cmx
- Nonterm.cmxs
- Obfuscator.cmo
- Obfuscator.cmx
- Obfuscator.cmxs
- Occurrence.cmo
- Occurrence.cmx
- Occurrence.cmxs
- Pdg.cmo
- Pdg.cmx
- Pdg.cmxs
- Postdominators.cmo
- Postdominators.cmx
- Postdominators.cmxs
- Print_api.cmo
- Print_api.cmx
- Print_api.cmxs
- Qed.cmo
- Qed.cmx
- Qed.cmxs
- Reduc.cmo
- Reduc.cmx
- Reduc.cmxs
- Report.cmo
- Report.cmx
- Report.cmxs
- RteGen.cmo
- RteGen.cmx
- RteGen.cmxs
- Scope.cmo
- Scope.cmx
- Scope.cmxs
- Security_slicing.cmo
- Security_slicing.cmx
- Security_slicing.cmxs
- Server.cmo
- Server.cmx
- Server.cmxs
- Slicing.cmo
- Slicing.cmx
- Slicing.cmxs
- Sparecode.cmo
- Sparecode.cmx
- Sparecode.cmxs
- Studia.cmo
- Studia.cmx
- Studia.cmxs
- Users.cmo
- Users.cmx
- Users.cmxs
- Variadic.cmo
- Variadic.cmx
- Variadic.cmxs
- Wp.cmo
- Wp.cmx
- Wp.cmxs
- eva_info.cmi
- eva_info.cmo
- eva_info.cmxs
- precise_locs.cmi
- pretty_source.cmi
- pretty_utils.cmi
- printer.cmi
- printer_api.cmi
- printer_builder.cmi
- printer_tag.cmi
- project.cmi
- project_manager.cmi
- project_skeleton.cmi
- property.cmi
- property_navigator.cmi
- property_status.cmi
- ptests_config.cmi
- qstack.cmi
- rangemap.cmi
- rgmap.cmi
- rich_text.cmi
- rmtmps.cmi
- sanitizer.cmi
- service_graph.cmi
- source_manager.cmi
- source_viewer.cmi
- special_hooks.cmi
- state.cmi
- state_builder.cmi
- state_dependency_graph.cmi
- state_selection.cmi
- state_topological.cmi
- statuses_by_call.cmi
- stmts_graph.cmi
- structural_descr.cmi
- substitute_const_globals.cmi
- task.cmi
- tr_offset.cmi
- transitioning.cmi
- translate_lightweight.cmi
- type.cmi
- typed_parameter.cmi
- undefined_sequence.cmi
- unicode.cmi
- unmarshal.cmi
- unmarshal_z.cmi
- unroll_loops.cmi
- utf8_logic.cmi
- value_types.cmi
- vector.cmi
- visitor.cmi
- visitor_behavior.cmi
- warning_manager.cmi
- wbox.cmi
- wfile.cmi
- widen_type.cmi
- widget.cmi
- wpalette.cmi
- wpane.cmi
- wtable.cmi
- wtext.cmi
- wto.cmi
- wto_statement.cmi
- wutil.cmi
- wutil_once.cmi
- frama-c/
- share/
- applications/
- com.frama-c.frama-c-gui.desktop
- bash-completion/
- completions/
- frama-c
- completions/
- doc/
- frama-c/
- VERSION
- frama-c/
- frama-c/
- Makefile.common
- Makefile.config
- Makefile.dynamic
- Makefile.dynamic_config
- Makefile.generic
- Makefile.plugin.template
- Markdown_report/
- acsl.xml
- _frama-c
- analysis-scripts/
- README.md
- analysis.mk
- benchmark_database.py
- clone.sh
- cmd-dep.sh
- concat-csv.sh
- creduce.sh
- epilogue.mk
- fc_stubs.c
- find_fun.py
- flamegraph.pl
- frama_c_results.py
- function_finder.py
- git_utils.py
- list_files.py
- list_functions.ml
- make_template.py
- make_wrapper.py
- normalize_jcdb.py
- parse-coverage.sh
- prologue.mk
- results_display.py
- script_for_creduce_fatal.sh
- script_for_creduce_non_fatal.sh
- summary.py
- template.mk
- compliance/
- c11_functions.json
- c11_headers.json
- glibc_functions.json
- nonstandard_identifiers.json
- posix_identifiers.json
- doc/
- code/
- docgen.ml
- intro_kernel_plugin.txt
- intro_plugin.txt
- intro_plugin_default.txt
- style.css
- toc_head.htm
- toc_tail.htm
- code/
- e-acsl/
- contrib/
- libdlmalloc/
- dlmalloc.c
- libdlmalloc/
- e_acsl.h
- e_acsl_rtl.c
- instrumentation_model/
- e_acsl_assert.c
- e_acsl_assert.h
- e_acsl_assert_data.h
- e_acsl_assert_data_api.c
- e_acsl_assert_data_api.h
- e_acsl_contract.c
- e_acsl_contract.h
- e_acsl_temporal.c
- e_acsl_temporal.h
- e_acsl_temporal_timestamp.h
- internals/
- e_acsl_alias.h
- e_acsl_bits.c
- e_acsl_bits.h
- e_acsl_config.h
- e_acsl_debug.c
- e_acsl_debug.h
- e_acsl_malloc.c
- e_acsl_malloc.h
- e_acsl_private_assert.c
- e_acsl_private_assert.h
- e_acsl_rtl_io.c
- e_acsl_rtl_io.h
- e_acsl_rtl_string.c
- e_acsl_rtl_string.h
- e_acsl_shexec.c
- e_acsl_shexec.h
- e_acsl_trace.c
- e_acsl_trace.h
- libc_replacements/
- e_acsl_stdio.c
- e_acsl_stdio.h
- e_acsl_string.c
- e_acsl_string.h
- numerical_model/
- e_acsl_floating_point.c
- e_acsl_floating_point.h
- e_acsl_gmp_api.h
- observation_model/
- bittree_model/
- e_acsl_bittree.c
- e_acsl_bittree.h
- e_acsl_bittree_observation_model.c
- e_acsl_bittree_omodel_debug.c
- e_acsl_bittree_timestamp_retrieval.c
- e_acsl_heap.c
- e_acsl_heap.h
- e_acsl_observation_model.c
- e_acsl_observation_model.h
- internals/
- e_acsl_heap_tracking.c
- e_acsl_heap_tracking.h
- e_acsl_omodel_debug.h
- e_acsl_safe_locations.c
- e_acsl_safe_locations.h
- e_acsl_timestamp_retrieval.h
- segment_model/
- e_acsl_segment_observation_model.c
- e_acsl_segment_omodel_debug.c
- e_acsl_segment_timestamp_retrieval.c
- e_acsl_segment_tracking.c
- e_acsl_segment_tracking.h
- e_acsl_shadow_layout.c
- e_acsl_shadow_layout.h
- bittree_model/
- contrib/
- frama-c.ico
- frama-c.png
- frama-c.rc
- libc/
- __fc_alloc_axiomatic.h
- __fc_builtin.c
- __fc_builtin.h
- __fc_define_blkcnt_t.h
- __fc_define_blksize_t.h
- __fc_define_clockid_t.h
- __fc_define_dev_t.h
- __fc_define_eof.h
- __fc_define_fd_set_t.h
- __fc_define_fds.h
- __fc_define_file.h
- __fc_define_fpos_t.h
- __fc_define_fs_cnt.h
- __fc_define_id_t.h
- __fc_define_ino_t.h
- __fc_define_intptr_t.h
- __fc_define_iovec.h
- __fc_define_key_t.h
- __fc_define_max_open_files.h
- __fc_define_mode_t.h
- __fc_define_nlink_t.h
- __fc_define_null.h
- __fc_define_off_t.h
- __fc_define_pid_t.h
- __fc_define_pthread_types.h
- __fc_define_sa_family_t.h
- __fc_define_seek_macros.h
- __fc_define_sigset_t.h
- __fc_define_size_t.h
- __fc_define_sockaddr.h
- __fc_define_ssize_t.h
- __fc_define_stat.h
- __fc_define_suseconds_t.h
- __fc_define_time_t.h
- __fc_define_timer_t.h
- __fc_define_timespec.h
- __fc_define_timeval.h
- __fc_define_uid_and_gid.h
- __fc_define_useconds_t.h
- __fc_define_wchar_t.h
- __fc_define_wint_t.h
- __fc_gcc_builtins.h
- __fc_inet.h
- __fc_integer.h
- __fc_libc.h
- __fc_machdep.h
- __fc_machdep_linux_shared.h
- __fc_runtime.c
- __fc_select.h
- __fc_string_axiomatic.h
- alloca.h
- argz.c
- argz.h
- arpa/
- inet.h
- assert.c
- assert.h
- byteswap.h
- complex.h
- ctype.c
- ctype.h
- dirent.h
- dlfcn.h
- endian.h
- errno.c
- errno.h
- fcntl.h
- features.h
- fenv.c
- fenv.h
- float.h
- fnmatch.h
- ftw.h
- getopt.c
- getopt.h
- glob.c
- glob.h
- grp.h
- iconv.h
- ifaddrs.h
- inttypes.c
- inttypes.h
- iso646.h
- libgen.h
- limits.h
- locale.c
- locale.h
- malloc.h
- math.c
- math.h
- memory.h
- net/
- if.h
- netdb.c
- netdb.h
- netinet/
- in.c
- in.h
- ip.h
- tcp.h
- nl_types.h
- poll.h
- pthread.h
- pwd.h
- regex.h
- resolv.h
- sched.h
- semaphore.h
- setjmp.h
- signal.c
- signal.h
- stdarg.h
- stdatomic.c
- stdatomic.h
- stdbool.h
- stddef.h
- stdint.h
- stdio.c
- stdio.h
- stdlib.c
- stdlib.h
- string.c
- string.h
- strings.h
- stropts.h
- sys/
- file.h
- ioctl.h
- ipc.h
- mman.h
- param.h
- random.h
- resource.h
- select.h
- sendfile.h
- shm.h
- signal.h
- socket.h
- stat.h
- statvfs.h
- time.h
- times.h
- timex.h
- types.h
- uio.h
- un.h
- utsname.h
- vfs.h
- wait.h
- syslog.h
- termios.h
- tgmath.h
- time.c
- time.h
- unistd.c
- unistd.h
- utime.h
- utmp.h
- utmpx.h
- wchar.c
- wchar.h
- wctype.h
- libc.c
- machdep.c
- switch-off.png
- switch-on.png
- theme/
- colorblind/
- considered_valid.png
- fold.png
- inconsistent.png
- invalid_but_dead.png
- invalid_under_hyp.png
- never_tried.png
- surely_invalid.png
- surely_valid.png
- unfold.png
- unknown.png
- unknown_but_dead.png
- valid_but_dead.png
- valid_under_hyp.png
- default/
- considered_valid.png
- fold.png
- inconsistent.png
- invalid_but_dead.png
- invalid_under_hyp.png
- never_tried.png
- surely_invalid.png
- surely_valid.png
- unfold.png
- unknown.png
- unknown_but_dead.png
- valid_but_dead.png
- valid_under_hyp.png
- flat/
- considered_valid.png
- fold.png
- inconsistent.png
- invalid_but_dead.png
- invalid_under_hyp.png
- never_tried.png
- surely_invalid.png
- surely_valid.png
- unfold.png
- unknown.png
- unknown_but_dead.png
- valid_but_dead.png
- valid_under_hyp.png
- colorblind/
- unmark.png
- wp/
- coqwp/
- ArcTrigo.v
- ArcTrigo.vo
- Bits.v
- Bits.vo
- BuiltIn.v
- BuiltIn.vo
- Cbits.v
- Cbits.vo
- Cfloat.v
- Cfloat.vo
- Cint.v
- Cint.vo
- Cmath.v
- Cmath.vo
- ExpLog.v
- ExpLog.vo
- HighOrd.v
- HighOrd.vo
- Memory.v
- Memory.vo
- Qed.v
- Qed.vo
- Qedlib.v
- Qedlib.vo
- Square.v
- Square.vo
- Vlist.v
- Vlist.vo
- Vset.v
- Vset.vo
- Zbits.v
- Zbits.vo
- bool/
- Bool.v
- Bool.vo
- int/
- Abs.v
- Abs.vo
- ComputerDivision.v
- ComputerDivision.vo
- ComputerOfEuclideanDivision.v
- ComputerOfEuclideanDivision.vo
- EuclideanDivision.v
- EuclideanDivision.vo
- Exponentiation.v
- Exponentiation.vo
- Int.v
- Int.vo
- MinMax.v
- MinMax.vo
- Power.v
- Power.vo
- map/
- Const.v
- Const.vo
- Map.v
- Map.vo
- real/
- Abs.v
- Abs.vo
- ExpLog.v
- ExpLog.vo
- FromInt.v
- FromInt.vo
- MinMax.v
- MinMax.vo
- PowerReal.v
- PowerReal.vo
- Real.v
- Real.vo
- RealInfix.v
- RealInfix.vo
- Square.v
- Square.vo
- Trigonometry.v
- Trigonometry.vo
- ergo/
- ArcTrigo.mlw
- Cbits.mlw
- Cfloat.mlw
- Cint.mlw
- Cmath.mlw
- ExpLog.mlw
- Memory.mlw
- Qed.mlw
- Square.mlw
- Vlist.mlw
- Vset.mlw
- bool.Bool.mlw
- int.Abs.mlw
- int.ComputerDivision.mlw
- int.ComputerOfEuclideanDivision.mlw
- int.Int.mlw
- int.MinMax.mlw
- map.Const.mlw
- map.Map.mlw
- real.Abs.mlw
- real.ExpLog.mlw
- real.FromInt.mlw
- real.Hyperbolic.mlw
- real.MinMax.mlw
- real.Polar.mlw
- real.PowerReal.mlw
- real.Real.mlw
- real.RealInfix.mlw
- real.Square.mlw
- real.Trigonometry.mlw
- real.Truncate.mlw
- why3/
- frama_c_wp/
- cbits.mlw
- cfloat.mlw
- cint.mlw
- cmath.mlw
- memory.mlw
- qed.mlw
- vlist.mlw
- vset.mlw
- frama_c_wp/
- wp.driver
- coqwp/
- icons/
- hicolor/
- 128x128/
- apps/
- frama-c.png
- apps/
- 22x22/
- apps/
- frama-c.png
- apps/
- 24x24/
- apps/
- frama-c.png
- apps/
- 256x256/
- apps/
- frama-c.png
- apps/
- 32x32/
- apps/
- frama-c.png
- apps/
- 48x48/
- apps/
- frama-c.png
- apps/
- 64x64/
- apps/
- frama-c.png
- apps/
- 96x96/
- apps/
- frama-c.png
- apps/
- 128x128/
- hicolor/
- licenses/
- frama-c/
- CDDL-1.0
- LGPLv2
- LGPLv2.1
- Q_MODIFIED_LICENSE
- frama-c/
- man/
- man1/
- e-acsl-gcc.sh.1.gz
- frama-c-gui.1.gz
- frama-c.1.gz
- man1/
- metainfo/
- com.frama-c.frama-c-gui.metainfo.xml
- applications/
- bin/
Sources on Pagure