Repository navigation

SVCOMP'23 updates - #38

Merged

peterschrammel merged 16 commits into

Nov 19, 2025

Merged

SVCOMP'23 updates#38
peterschrammel merged 16 commits into
masterfrom
sv-comp23

Commits on Oct 22, 2022
- Make unsupported case notModelled instead of using assume
  peterschrammel
  committed
  a4e9328
- Add missing cast
  peterschrammel
  committed
  de1bd66
- Make unsupported case notModelled instead of using assume
  peterschrammel
  committed
  5f2018b
- Update to models-library@4d20c50
  peterschrammel
  committed
  0cdb1bb
- Add java.util.Objects
  peterschrammel
  committed
  33c3c6a
- A partial solution for Class object singletons
  peterschrammel
  committed
  38a1e86
- Add java.net.URLDecoder
  peterschrammel
  committed
  f43c631
- Add java.util.BitSet
  peterschrammel
  committed
  a166069
- Class.forName is not sufficiently modelled
  peterschrammel
  committed
  75beb6b
- Various cleanups
  peterschrammel
  committed
  d44a551
- Add java.util.Collection and Iterator
  peterschrammel
  committed
  d798268
- Add java.util.List, AbstractList, ArrayList and LinkedList
  peterschrammel
  committed
  88c0f3c
- Add java.util.Enumeration
  peterschrammel
  committed
  89024e8
- Add java.util.Map and HashMap
  peterschrammel
  committed
  1cb7d67
- Add java.util.Set and AbstractSet
  peterschrammel
  committed
  9f9ddfd
- Add java.net.URLEncoder
  peterschrammel
  committed
  0ac3897