changeset 75647 | 34cd1d210b92 |
parent 75642 | bb048086468a |
child 75652 | c4a1088d0081 |
child 76054 | a4b47c684445 |
--- a/NEWS Fri Jul 01 20:47:16 2022 +0200 +++ b/NEWS Mon Jul 04 07:57:22 2022 +0000 @@ -37,6 +37,10 @@ * Theory Char_ord: streamlined logical specifications. Minor INCOMPATIBILITY. +* New Theory Code_Abstract_Char implements characters by target language +integers, sacrificing pattern patching in exchange for dramatically +increased performance for comparisions. + * Rule split_of_bool_asm is not split any longer, analogously to split_if_asm. INCOMPATIBILITY.