Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Compare
user avatar
make headers self-contained
Kostyantyn Vorobyov authored
c684bb67
History
user avatar c684bb67
History
Name Last commit Last update
..
addrOf.err.oracle
addrOf.res.oracle
alias.err.oracle
alias.res.oracle
base_addr.err.oracle
base_addr.res.oracle
block_length.err.oracle
block_length.res.oracle
block_valid.err.oracle
block_valid.res.oracle
bypassed_var.err.oracle
bypassed_var.res.oracle
call.err.oracle
call.res.oracle
compound_initializers.err.oracle
compound_initializers.res.oracle
ctype_macros.err.oracle
ctype_macros.res.oracle
decl_in_switch.err.oracle
decl_in_switch.res.oracle
early_exit.err.oracle
early_exit.res.oracle
errno.err.oracle
errno.res.oracle
false.err.oracle
false.res.oracle
freeable.err.oracle
freeable.res.oracle
function_contract.err.oracle
function_contract.res.oracle
gen_addrOf.c
gen_alias.c
gen_base_addr.c
gen_block_length.c
gen_block_valid.c
gen_bypassed_var.c
gen_call.c
gen_compound_initializers.c
gen_ctype_macros.c
gen_decl_in_switch.c
gen_early_exit.c
gen_errno.c
gen_false.c
gen_freeable.c
gen_function_contract.c
gen_ghost.c
gen_goto.c
gen_hidden_malloc.c
gen_init.c
gen_init_function.c
gen_initialized.c
gen_invariant.c
gen_labeled_stmt.c
gen_lazy.c
gen_linear_search.c
gen_literal_string.c
gen_local_goto.c
gen_local_init.c
gen_localvar.c
gen_loop.c
gen_mainargs.c
gen_memalign.c
gen_memsize.c
gen_nested_code_annot.c
gen_null.c
gen_offset.c
gen_other_constants.c
gen_ptr.c
gen_ptr_init.c
gen_result.c
gen_sizeof.c
gen_stdout.c
gen_stmt_contract.c
gen_true.c
gen_typedef.c
gen_valid.c
gen_valid_alias.c
gen_valid_in_contract.c
gen_vector.c
ghost.err.oracle
ghost.res.oracle
goto.err.oracle
goto.res.oracle
hidden_malloc.err.oracle
hidden_malloc.res.oracle
init.err.oracle
init.res.oracle
init_function.err.oracle
init_function.res.oracle
initialized.err.oracle
initialized.res.oracle
invariant.err.oracle
invariant.res.oracle
labeled_stmt.err.oracle
labeled_stmt.res.oracle
lazy.err.oracle
lazy.res.oracle
linear_search.err.oracle
linear_search.res.oracle
literal_string.err.oracle