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
[Eva] Reworks garbled mix origins.
David Bühler authored 
Origins no longer have a lattice structure.
A unique id is associated to each created origin. When multiple origins can
be associated to a value, we keep the oldest origin (according to their ids).
2dabda2c
History
user avatar 2dabda2c
History
Name Last commit Last update
..
alloca_h.res.oracle
argz_c.res.oracle
assert_h.res.oracle
coverage.res.oracle
ctype.res.oracle
err_h.res.oracle
fc_builtin_c.res.oracle
fc_builtins_in_ghost.res.oracle
fc_libc.0.res.oracle
fc_libc.1.res.oracle
fc_libc.2.res.oracle
fc_libc.3.res.oracle
fc_libc.4.res.oracle
fc_libc.6.res.oracle
fc_libc_sav.res
fpclassify.res.oracle
glob_c.res.oracle
inttypes_h.0.res.oracle
inttypes_h.1.res.oracle
inttypes_h.2.res.oracle
inttypes_h.3.res.oracle
inttypes_h.4.res.oracle
inttypes_h.5.res.oracle
inttypes_h.6.res.oracle
inttypes_h.7.res.oracle
inttypes_h2.res.oracle
libgen_h.res.oracle
limits_h.0.res.oracle
limits_h.1.res.oracle
limits_h.2.res.oracle
limits_h.3.res.oracle
limits_h.4.res.oracle
limits_h.5.res.oracle
limits_h.6.res.oracle
limits_h.7.res.oracle
limits_h.8.res.oracle
limits_h.9.res.oracle
locale_h.res.oracle
math_h.0.res.oracle
math_h.1.res.oracle
math_h.2.res.oracle
memchr_off.res.oracle
more_gcc_builtins.res.oracle
netdb_c.res.oracle
netinet_in_h.res.oracle
poll.res.oracle
pthread_h.res.oracle
pwd_c.res.oracle
pwd_h.res.oracle
search_h.res.oracle
signal_h.res.oracle
socket.0.res.oracle
socket.1.res.oracle
socket_h.res.oracle
spawn_h.res.oracle
stdatomic_c.res.oracle
stdbool_as_cpp.res.oracle
stdint_h.res.oracle
stdio_c.res.oracle
stdio_h.res.oracle
stdlib_c.0.res.oracle
stdlib_c.1.res.oracle
stdlib_c.2.res.oracle
stdlib_c_env.res.oracle
stdlib_h.0.res.oracle
stdlib_h.1.res.oracle
stdnoreturn_h.res.oracle
string_c.res.oracle
string_c_generic.res.oracle
string_c_strchr.res.oracle
string_c_strstr.res.oracle
string_h.res.oracle
strings_h.res.oracle
sys_file_h.res.oracle
sys_select.res.oracle
sys_sendfile_h.res.oracle
sys_socket_h.res.oracle
sys_stat_h.res.oracle
sys_time_h.res.oracle
sys_times.res.oracle
sys_types.res.oracle
sys_uio_h.res.oracle
sys_utsname_h.res.oracle
sys_wait_h.res.oracle
termios.res.oracle
time_c.res.oracle
time_h.res.oracle
time_misc.res.oracle
unistd_c.res.oracle
unistd_h.0.res.oracle
unistd_h.1.res.oracle
wchar_c_h.0.res.oracle
wchar_c_h.1.res.oracle
wchar_h.res.oracle
wctype_h.res.oracle