Commits

Breadcrumbs

History for

onrebranch

User selector

All users

Datepicker

All time

Commit History

Commits on May 10, 2022

• Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests

  Show description for dac8d66
  slavapestov

  committed
  dac8d66

  Copy full SHA for dac8d66

Commits on Mar 22, 2022

• RequirementMachine: Refactor shouldSplitConcreteEquivalenceClasses() and splitConcreteEquivalenceClasses() a bit

  Show description for 466d6a9
  slavapestov

  committed
  466d6a9

  Copy full SHA for 466d6a9

Commits on Mar 2, 2022

• Enable -requirement-machine-abstract-signatures=on in a couple of tests

  Show description for 73faf4f
  slavapestov

  committed
  73faf4f

  Copy full SHA for 73faf4f

Commits on Apr 4, 2021

• GSB: The combination of a superclass and conformance requirement might force a type to be concrete

  Show description for bcee54b
  slavapestov

  committed
  bcee54b

  Copy full SHA for bcee54b

Loading