| Commit | Date | Author | Summary |
| 342dfff74a | 2025-10-10 21:53:09 +0200 | kabdelhak | [NB] do not create when-equations for noEvent asserts (#14489) |
| 986b5404fc | 2025-10-10 20:49:32 +0200 | kabdelhak | [NB] update strong component and tearing util functions (#14486) |
| e44e122dd2 | 2025-10-10 16:29:02 +0200 | phannebohm | Fix hash for empty lists (#14488) |
| b07dcda94e | 2025-10-10 15:23:00 +0200 | Adeel Asghar | Add OMSens settings documentation (#14487) |
| e271e1b107 | 2025-10-10 14:29:04 +0200 | kabdelhak | [NB] fix regression. children need to have binding as start (#14484) |
| 0f78e65920 | 2025-10-10 13:49:35 +0200 | kabdelhak | [NB] fix hashlist for empty lists (#14478) |
| 91e770c8a9 | 2025-10-10 13:48:29 +0200 | Adeel Asghar | Updated OMSens install instructions (#14482) |
| a82bd86baf | 2025-10-10 12:54:22 +0200 | Adeel Asghar | Sensitivity optimization settings (#14471) |
| e787e9319d | 2025-10-10 12:47:03 +0200 | Andreas | Changing macro CHECK_OVERRIDE to function (#14481) |
| 09a78e63bf | 2025-10-10 11:40:45 +0200 | Per Östlund | Type crefs involving name nodes better (#14473) |