All pull requests

Pull requests

• Add the axiomatic collection models as an in-repo maven module

  #47·tautschnig opened Jul 29, 2026Collaborator·

  ·

• LinkedHashMap + LinkedHashSet models: insertion/access order over HashMap/HashSet

  #46·tautschnig opened Jul 29, 2026Collaborator·

  ·

• HashSet model: deterministic Object[]-backed set

  #45·tautschnig opened Jul 29, 2026Collaborator·

  ·

• Add verification micro-benchmarks

  #44·tautschnig opened Jul 29, 2026Collaborator·

  ·
  3

• Class: don't route internal callers through the notModelled forName

  #43·tautschnig opened Jul 29, 2026Collaborator·

  ·
  2

• Iterator infrastructure for collection models: snapshot iterators + generic-element annotation

  #42·tautschnig opened Jul 28, 2026Collaborator·

  ·
  6

• OptionalInt model: deterministic of/empty/isPresent/isEmpty/getAsInt

  #41·tautschnig opened Jul 28, 2026Collaborator·

  ·
  5

• regex: model Pattern/Matcher for JBMC's intercepted regex machinery

  #40·tautschnig opened Jul 28, 2026Collaborator·

  ·
  3