RonaldJudin

Implement delayed widening

4

This implements standard widening delay in-domain as suggested by https://github.com/goblint/analyzer/pull/1442#issuecomment-2092763639 and https://github.com/goblint/analyzer/pull/1442#issuecomment-2092998075. The two separate options and analysis lifters allow different delays to be used for locally and globally. Moreover,...

Implement lookahead widening

2

Lookahead widening from https://link.springer.com/chapter/10.1007/11817963_41 ### TODO - [x] Add option. - [x] Implement `threadenter`. - [x] Add @sim642's tests: https://github.com/goblint/analyzer/compare/master...ronald. - [x] Merge `master`. - [ ] Decide what to...