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
Merge branch 'varasse/experiments' into 'master'
Aymeric Varasse authored 
Add more models, specifications and tests

See merge request laiser/caisar!134
e52bc49b
History
user avatar e52bc49b
History
Name Last commit Last update
..
add_assigns.res.oracle
array_size_specifier_unification.res.oracle
audit-out.json
audit.res.oracle
behavior_names.res.oracle
booleans.res.oracle
bts0451.res.oracle
bts0452.res.oracle
bts0489.res.oracle
bts0525-2.res.oracle
bts0525.res.oracle
bts0541.res.oracle
bts0990_link.res.oracle
bts1135_ulevel.res.oracle
bts1201.res.oracle
bts1347.res.oracle
bug0277.res.oracle
bug_0209.res.oracle
callsite.res.oracle
change_main.res.oracle
char_ampamp.res.oracle
cli_string_multiple_map.res.oracle
copy_kf.res.oracle
copy_machdep.res.oracle
cpp-extra-args-per-file1.res.oracle
custom_machdep.res.oracle
debug_category.0.res.oracle
debug_category.1.res.oracle
debug_category.10.res.oracle
debug_category.11.res.oracle
debug_category.12.res.oracle
debug_category.13.res.oracle
debug_category.14.res.oracle
debug_category.15.res.oracle
debug_category.16.res.oracle
debug_category.2.res.oracle
debug_category.3.res.oracle
debug_category.4.res.oracle
debug_category.5.res.oracle
debug_category.6.res.oracle
debug_category.7.res.oracle
debug_category.8.res.oracle
debug_category.9.res.oracle
ensures.res.oracle
exception.0.res.oracle
exception.1.res.oracle
fam_with_init.res.oracle
filepath.res.oracle
find_enclosing_loop.res.oracle
function_ptr_alignof.res.oracle
function_ptr_lvalue_1.res.oracle
function_ptr_lvalue_2.res.oracle
function_ptr_sizeof.res.oracle
global_decl_loc.res.oracle
global_decl_loc2.res.oracle
init_from_cil.res.oracle
interpreted_automata_dataflow.res.oracle
interpreted_automata_dataflow_backward.dot
interpreted_automata_dataflow_forward.dot
issue109.res.oracle
issue_191.res.oracle
justcopy.res.oracle
keep_entry_point.res.oracle
log-file-feedback.txt
log-file-kernel-results.txt
log-file-kernel-warnings.txt
log-file-value-all.txt
log-file-value-default.txt
log_selfrec.res.oracle
log_twice.res.oracle
long_ident.res.oracle
m12_2.res.oracle
mergestruct2.res.oracle
mergestruct3.0.res.oracle
mergestruct3.1.res.oracle
my_visitor.0.res.oracle
my_visitor.1.res.oracle
my_visitor_sav.err
my_visitor_sav.res
obfuscate.res.oracle
permissive.res.oracle
plugin-log-all.txt
pp_bin_hex.res.oracle
pp_int.res.oracle
pragma-pack.0.res.oracle
pragma-pack.1.res.oracle
pragma-pack.2.res.oracle
pragma_pack_zero.0.res.oracle
pragma_pack_zero.1.res.oracle
print_machdep.res.oracle
remove_status_hyps.res.oracle
save_comments.res.oracle
static.res.oracle
stdint.0.res.oracle
stdint.1.res.oracle
stdint.2.res.oracle
test_datatype.res.oracle
ulevel.res.oracle
version.res.oracle
vis_queueInstr.res.oracle