Marcelina Kościelnicka a1a0abf52a equiv_induct: Fix up assumption for $equiv cells in -undef mode. ... Before this fix, equiv_induct only assumed that one of the following is true: - defined value of A is equal to defined value of B - A is undefined This lets through valuations where A is defined, B is undefined, and the defined (meaningless) value of B happens to match the defined value of A. Instead, tighten this up to OR of the following: - defined value of A is equal to defined value of B, and B is not undefined - A is undefined		2020-07-27 18:36:13 +02:00
..
equiv_add.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_induct.cc	equiv_induct: Fix up assumption for $equiv cells in -undef mode.	2020-07-27 18:36:13 +02:00
equiv_make.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_mark.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_miter.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_opt.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_purge.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_remove.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_simple.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_status.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
equiv_struct.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
Makefile.inc	equiv_opt: new command, for verifying optimization passes.	2018-12-07 17:20:34 +00:00